jancarlsson / snarklibLinks
a C++ template library for zero knowledge proofs
☆49Updated 10 years ago
Alternatives and similar repositories for snarklib
Users that are interested in snarklib are comparing it to the libraries listed below
Sorting:
- a C++ embedded domain specific language for zero knowledge proofs☆59Updated 9 years ago
- Pay for the solution to a sudoku puzzle with a zero-knowledge contingent payment☆104Updated 8 years ago
- zk-SNARK parameter multi-party computation protocol☆177Updated 6 years ago
- ☆60Updated 8 years ago
- Personal fork of -zkp. Has some old mimblewimble stuff but mostly I just PR everything upstream now.☆85Updated last year
- Random Beacon Simulator☆123Updated 8 years ago
- ZKPDL & cashlib: A language-based system for zero-knowledge proofs and electronic cash (e-cash).☆54Updated 9 years ago
- Research and implementation for non-interactive blockchain proofs of proofs of work☆51Updated 3 years ago
- A system for verifying outsourced computations, and applying SNARKs. Simplified release of the main Pepper codebase.☆127Updated 3 years ago
- Baby ZoE - first step towards Zerocash over Ethereum☆120Updated 9 years ago
- VDF competition instructions, and simple implementation☆86Updated 3 years ago
- ☆21Updated 8 years ago
- Aggregate and Multi Signatures based on BGLS over BN256 and BLS12-381☆62Updated 3 years ago
- Learning how to bulletproofs☆38Updated 7 years ago
- ☆79Updated 9 years ago
- A system for verifying outsourced computations. This repo always contains the latest release of the Pepper system.☆65Updated 6 years ago
- Braided Blockchain☆28Updated 9 years ago
- ☆70Updated 4 years ago
- libsnark: a C++ library for zkSNARK proofs☆114Updated 3 years ago
- ☆118Updated 4 years ago
- A highly performant merkle set data structure. To be ported to C later.☆75Updated 8 years ago
- Zcash "Sapling" cryptography☆87Updated last month
- Library for generating non-interactive zero knowledge proofs without trusted setup (Bulletproofs)☆184Updated 3 years ago
- Hyrax reference implementation: meta-repo with top-level makefile, etc☆36Updated 7 years ago
- Technical paper on the Borromean ring signature construction☆47Updated 8 years ago
- Fork of secp256k1-zkp for the Grin/MimbleWimble project☆33Updated 2 years ago
- ☆43Updated 7 years ago
- An independent reimplementation of (vn)TinyRAM☆38Updated 9 years ago
- An EVM code verification framework in Coq☆44Updated 9 years ago
- Zerocoin: C++ lib for anonymous extension to bitcoin☆177Updated 5 years ago