Cryptography Educational Foundations

Implementation of the HotStuff-2 consensus protocol.

Monorepo of halo2 crates

A Framework of Lattice-based Zero-knowledge Arguments in Rust

Tutorial for writing constraints in the `arkworks` framework

Master Zero-Knowledge Virtual Machine (zkVM) by recreating zkVM system from scratch. 从0到1构建零知识证明虚拟机.

Pocket Flow: Codebase to Tutorial

Libraries for finite field, elliptic curve, and polynomial arithmetic

Practical implementation of the BitVM2 protocol

Tutorial and example code for using libsnark

Nova: High-speed recursive zero-knowledge arguments from folding schemes

A Plonkish folding framework for Incrementally Verifiable Computation (IVC).

Illustrate the principle of go-ethereum. 图解以太坊原理.

zkMIPS 0.3: an open-source, simple, stable, and universal zero-knowledge virtual machine on MIPS32r2 ISA

Illustrate the principle and source code of halo2. 图解halo2

A Rust Implementation of the PLONK ZKP System and Extensions

Master Zero-Knowledge Proof (ZKP) by recreating ZKP system from scratch. 从0到1构建零知识证明系统.

Mini-Git in Rust. 用Rust实现的简易Git

Onboarding developers to zkSync

Zcash - Financial Privacy in Rust 🦓

The proof systems used by Mina

零知识证明入门教程。Comprehensive Zero-Knowledge Proofs Tutorial. #zk #WIP

List of halo2-related resources

Wordle, but with ZK proofs!

Include halo2 example circuits

Verifiable Random Draw

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