zero-knowledge topic
bulletproofs
Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup
zkp
Experimental zero-knowledge proof compiler in Rust macros
solcrypto
Solidity crypto libraries, ring signatures, proof of knowledge, packed signatures etc. with matching Python implementations for secp256k1 and (alt)BN-256
semaphore
A zero-knowledge protocol for anonymous interactions.
protocols
A zkRollup DEX & Payment Protocol
darkfi
Anonymous. Uncensored. Sovereign.
zkp-ecdsa
Proves knowledge of an ECDSA-P256 signature under one of many public keys that are stored in a list.
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