A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).
The Nexus zkVM: The zero-knowledge virtual machine
#区块链#零知识证明入门教程。Comprehensive Zero-Knowledge Proofs Tutorial. #zk #WIP
A toolbox for zkSNARKs on Ethereum
The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡
gnark-crypto provides elliptic curve and pairing-based cryptography on BN, BLS12, BLS24 and BW6 curves. It also provides various algorithms (algebra, crypto) of particular interest to zero knowledge p...
Interfaces and implementations of cryptographic primitives, along with R1CS constraints for them
Rings is a structured peer-to-peer network implementation using WebRTC, Chord DHT, and full WebAssembly (WASM) support.
STARK - SNARK recursive zero knowledge proofs, combinaison of the Winterfell library and the Circom language
zero knowledge for those with zero knowledge
Benchmarking framework for general purpose zero-knowledge proofs languages and libraries
Formally Verified Arguments of Knowledge in Lean
Benchmarks of popular zkVMs including Jolt
