doublejun12

CS-Notes

:books: 技术面试必备基础知识、Leetcode、计算机操作系统、计算机网络、系统设计

openai-translator

基于 ChatGPT API 的划词翻译浏览器插件和跨平台桌面端应用 - Browser extension and cross-platform desktop application for translation based on ChatGPT API.

awesome-zero-knowledge-proofs

A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).

AI-System

System for AI Education Resource.

ZoKrates

A toolbox for zkSNARKs on Ethereum

pianotrans

Simple GUI for ByteDance's Piano Transcription with Pedals

fduthesis

LaTeX thesis template for Fudan University

Nova

Nova: High-speed recursive arguments from folding schemes

ds3os

Dark Souls - Open Server

protocol-reading-list

marlin

A Rust library for the Marlin preprocessing zkSNARK

awesome-plonk

A curated list of awesome things related to plonk proof system

pysnark

Library for programming zk-SNARKs directly in Python

libiop

C++ library for IOP-based zkSNARKs

pazk

Python/Rust implementations and notes from Proofs Arguments and Zero Knowledge study group

zkp-mooc-lab

gemini

An elastic proof system based on arkworks

tcscode

Supplementary code for Introduction to Theoretical Computer Science book.

sumcheck

linear-time sumcheck protocol for multilinear polynomials and related addends

ccs-hack

a hack implementation of CCS generic arithmetization, won a prize at Zuzalu hackathon 2023 despite incompleteness

Awesome-MPL

Repository for collection of research papers on multi-party learning.

Orion

ldt

An `arkworks` library for low-degree testing

StraySouls

Enemy randomizer for DS3,Sekiro

sumcheck_multilinear

A python implementation of sumcheck GKR protocol. Reference: https://eprint.iacr.org/2019/317.pdf

PaperNote

“大家一边要参加应用项目开发，同时也要加强基础理论学习。请大家一定要抓紧时间”