TrustworthyComputing / Zilch
Zilch: A Framework for Developing Zero-Knowledge Proofs for Any Application
☆64Updated 3 years ago
Alternatives and similar repositories for Zilch:
Users that are interested in Zilch are comparing it to the libraries listed below
- ☆66Updated 2 years ago
- zkInterface is a protocol for the interoperability of zero-knowledge frameworks.☆130Updated last year
- The official repository hosting the ZKProof Community Reference & Proposals documents.☆104Updated 2 years ago
- A Rust library for building R1CS gadgets☆89Updated 3 years ago
- Recursive SNARKs based on Plonk and Halo☆116Updated 3 years ago
- Arithmatic circuits convertible to R1CS based on Bulletproofs☆89Updated 2 years ago
- C++ library for IOP-based zkSNARKs☆160Updated last year
- Reference implementation in Python of Poseidon and optimized Poseidon (Neptune) hash functions☆82Updated last year
- Libra zero knowledge proof system☆51Updated 2 years ago
- Zero-Knowledge Swiss Knife☆94Updated 2 years ago
- Rust crypto library for data privacy tools☆103Updated last week
- Prototype implementations of various Collaborative zkSNARKs.☆124Updated last year
- Baby SNARK (do do dodo dodo)☆233Updated 11 months ago
- A collection of Paillier cryptosystem zero knowledge proofs☆117Updated last year
- Crypto application code for the zkSNARKs toolbox ZoKrates☆54Updated last year
- A curated list of awesome things related to plonk proof system☆237Updated 8 months ago
- R1CS constraints for bits, fields, and elliptic curves☆156Updated last week
- ☆48Updated 2 years ago
- ☆197Updated last year
- A Plonkish folding framework for Incrementally Verifiable Computation (IVC).☆169Updated last month
- Implementation of the FROST protocol for threshold Ed25519 signing☆66Updated 11 months ago
- ☆115Updated 3 years ago
- The implementation of Pianist (a distributed variant of Plonk) based on gnark.☆36Updated last year
- ED25519 implementation in Circom☆114Updated last year
- fast zksnark prover☆120Updated last year
- Python-based system for zk-SNARK based verifiable computations and smart contracts☆81Updated 5 years ago
- An elastic proof system based on arkworks☆82Updated last year
- Secure Multi-Party Computation (MPC) with Go. This project implements secure two-party computation with Garbled circuit protocol.☆117Updated 6 months ago
- A Rust library for the Marlin preprocessing zkSNARK☆321Updated last year
- Reef: A zkSNARK system for proving that a committed document matches a regex☆73Updated 10 months ago