A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).
-
Updated
May 19, 2024
A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).
A toolbox for zkSNARKs on Ethereum
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 proof systems.
A Rust implementation of the Groth16 zkSNARK
Rings is a structured peer-to-peer network implementation using WebRTC, Chord DHT, and full WebAssembly (WASM) support.
The Nexus zkVM: The zero-knowledge virtual machine
Interfaces and implementations of cryptographic primitives, along with R1CS constraints for them
zero knowledge for those with zero knowledge
STARK - SNARK recursive zero knowledge proofs, combinaison of the Winterfell library and the Circom language
PoC of SNARK-driven Plasma with up to 500 tx/sec
Implementations of proof-carrying data
凩: A Next-Generation Composable Hybrid Smart Contract and (De)Centralized Merged Application Platform
Batch verification proposal for the zkSNARK verification with the same(!) circuit
A scheme that produces a zero-knowledge proof of correctness for an MPC computation. The scheme allows anyone, particularly someone external to the secure computation, to check the correctness of the output, while preserving the privacy properties of the MPC protocol.
Add a description, image, and links to the snark topic page so that developers can more easily learn about it.
To associate your repository with the snark topic, visit your repo's landing page and select "manage topics."