illusiondevour's repositories
arithmetic-circuits
Arithmetic circuits for zero knowledge proof systems
Language:HaskellMIT000
bellman
Bellman zkSNARK library for community with Ethereum's BN256 support
Language:RustNOASSERTION000
bulletproofs-r1cs-gadgets
Arithmatic circuits convertible to R1CS based on Bulletproofs
Language:RustApache-2.0000
distaff
Zero-knowledge virtual machine written in Rust
Language:RustMIT000
jubjub
Implementation of the Jubjub elliptic curve group
Language:RustNOASSERTION000
pcd-from-multi-folding
Implementations of proof-carrying data from multi-folding schemes
Language:RustMIT000
snarklib
a C++ template library for zero knowledge proofs
Language:C++NOASSERTION000
Language:Python000
ZoKrates
A toolbox for zkSNARKs on Ethereum
Language:RustLGPL-3.0000