TrustworthyComputing / Zilch
Zilch: A Framework for Developing Zero-Knowledge Proofs for Any Application
☆54Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for Zilch
- fast zksnark prover☆119Updated 11 months ago
- Reef: A zkSNARK system for proving that a committed document matches a regex☆64Updated 5 months ago
- Reference implementation in Python of Poseidon and optimized Poseidon (Neptune) hash functions☆76Updated last year
- A Rust library for building R1CS gadgets☆89Updated 3 years ago
- Baby SNARK (do do dodo dodo)☆230Updated 6 months ago
- ZPrize 2022 - All qualified entries☆52Updated last year
- Prototype implementations of various Collaborative zkSNARKs.☆111Updated 8 months ago
- Geth-in-SGX provides an example of running go-ethereum in SGX☆72Updated 8 months ago
- Threshold BLS signatures in Rust☆71Updated 3 years ago
- Recursive SNARKs based on Plonk and Halo☆112Updated 3 years ago
- ☆57Updated 2 years ago
- The official repository hosting the ZKProof Community Reference & Proposals documents.☆102Updated 2 years ago
- ☆60Updated last year
- Libra zero knowledge proof system☆48Updated last year
- ☆41Updated 11 months ago
- Critical vulnerabilities. Using zero to attack zero-knowledge proof (ZKP) PLONK C++ and ECDSA, $15000 award☆64Updated last year
- Implementation of Plonk by Hand in rust☆61Updated 8 months ago
- Implements hermez network zk-Snarks circuits☆56Updated last year
- zkInterface is a protocol for the interoperability of zero-knowledge frameworks.☆125Updated last year
- ☆192Updated 11 months ago
- C++ library for IOP-based zkSNARKs☆149Updated 10 months ago
- A Cairo VM prover implemented using Winterfell☆156Updated 2 years ago
- Benchmarking framework for general purpose zero-knowledge proofs languages and libraries☆99Updated 7 months ago
- A repo for our research papers☆206Updated last month
- Lowering client-side proving cost for private ZK signatures in circom☆106Updated last year
- Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust.☆238Updated 3 weeks ago
- Circom circuits used by the iden3 core protocol.☆82Updated 3 months ago
- A curated list of awesome things related to plonk proof system☆229Updated 3 months ago
- Verifiable and confidential computation based on ZKP and FHE, powered by risc0 zkVM.☆79Updated last year
- Go implementation of the Groth16 zkSNARK Prover and Verifier compatible with Circom☆39Updated 7 months ago