pepper-project / pequin
A system for verifying outsourced computations, and applying SNARKs. Simplified release of the main Pepper codebase.
☆125Updated 3 years ago
Alternatives and similar repositories for pequin:
Users that are interested in pequin are comparing it to the libraries listed below
- ☆78Updated 5 years ago
- A system for verifying outsourced computations. This repo always contains the latest release of the Pepper system.☆62Updated 6 years ago
- zkInterface is a protocol for the interoperability of zero-knowledge frameworks.☆129Updated last year
- ☆115Updated 3 years ago
- A Java library for zk-SNARK circuits☆211Updated 2 years ago
- Privacy-preserving auditing for distributed ledgers☆66Updated 6 years ago
- A high-level framework for developing efficient zk-SNARK circuits☆185Updated 2 years ago
- ☆134Updated 4 years ago
- Robust MPC-based confidentiality layer for blockchains☆137Updated 3 years ago
- ZKPDL & cashlib: A language-based system for zero-knowledge proofs and electronic cash (e-cash).☆54Updated 9 years ago
- a C++ template library for zero knowledge proofs☆49Updated 9 years ago
- Town Crier: an Authenticated Data Feeds for Smart Contracts☆136Updated 3 years ago
- C++ library for IOP-based zkSNARKs☆160Updated last year
- C++ library for Finite Fields and Elliptic Curves☆155Updated 3 years ago
- libsnark: a C++ library for zkSNARK proofs☆115Updated 2 years ago
- Cryptographic accumulators in Rust.☆137Updated last month
- Communal zk-SNARK MPC for Public Parameters☆144Updated 3 years ago
- ☆59Updated 7 years ago
- Hyrax reference implementation: meta-repo with top-level makefile, etc☆36Updated 7 years ago
- zk-SNARK parameter multi-party computation protocol☆173Updated 5 years ago
- Aggregate and Multi Signatures based on BGLS over BN256 and BLS12-381☆63Updated 3 years ago
- Comprehensive Open Source Library for Secure Multiparty Computation☆183Updated last year
- Rust library for building IQC: cryptography based on class groups of imaginary quadratic orders☆63Updated 2 years ago
- Python-based system for zk-SNARK based verifiable computations and smart contracts☆81Updated 5 years ago
- Tutorial and example code for using libsnark☆192Updated 3 years ago
- Arithmatic circuits convertible to R1CS based on Bulletproofs☆88Updated 2 years ago
- Multiprecision arithmetic & RSA accumulators, within SNARKs☆53Updated 10 months ago
- Java library for distributed zero knowledge proof systems☆240Updated 3 years ago
- Personal fork of -zkp. Has some old mimblewimble stuff but mostly I just PR everything upstream now.☆84Updated 9 months ago
- Library for generating non-interactive zero knowledge proofs without trusted setup (Bulletproofs)☆178Updated 2 years ago