zksnarks topic
awesome-zkp-starter-pack
A curated collection of links for zero-knowledge proof cryptography used in blockchains
bulletproofs
Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup
protocols
A zkRollup DEX & Payment Protocol
ZoKrates
A toolbox for zkSNARKs on Ethereum
snarkOS
A Decentralized Operating System for ZK Applications
leo
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
welcome
👋 Welcome to Provable! Zero-Knowledge is Finally Here 🚀
sdk
A Software Development Kit (SDK) for Zero-Knowledge Transactions
Spartan
Spartan: High-speed zkSNARKs without trusted setup
proof-systems
The proof systems used by Mina