TrustworthyComputing / ZilchLinks
Zilch: A Framework for Developing Zero-Knowledge Proofs for Any Application
☆68Updated 3 years ago
Alternatives and similar repositories for Zilch
Users that are interested in Zilch are comparing it to the libraries listed below
Sorting:
- ☆72Updated 3 years ago
- Recursive SNARKs based on Plonk and Halo☆116Updated 4 years ago
- The official repository hosting the ZKProof Community Reference & Proposals documents.☆110Updated 3 years ago
- C++ library for IOP-based zkSNARKs☆176Updated 2 years ago
- A Rust library for building R1CS gadgets☆93Updated 4 years ago
- Zero-Knowledge Swiss Knife☆97Updated 3 years ago
- Reference implementation in Python of Poseidon and optimized Poseidon (Neptune) hash functions☆88Updated 2 years ago
- zkInterface is a protocol for the interoperability of zero-knowledge frameworks.☆128Updated 2 years ago
- A high-level framework for developing efficient zk-SNARK circuits (https://akosba.github.io/papers/xjsnark.pdf)☆194Updated 3 years ago
- A framework to run Fully Homomorphic Encryption computations (especially using the SEAL library) on Trusted Execution Environments, with …☆50Updated 3 years ago
- Arithmatic circuits convertible to R1CS based on Bulletproofs☆91Updated 3 years ago
- ☆47Updated 2 years ago
- A collection of Paillier cryptosystem zero knowledge proofs☆120Updated 2 years ago
- An elastic proof system based on arkworks☆85Updated 2 years ago
- Oblivious key-value store based on Circuit ORAM☆34Updated 10 months ago
- A programming language and compiler which enable automatic compilation of intuitive data privacy specifications to NIZK-enabled private s…☆88Updated 2 years ago
- Reef: A zkSNARK system for proving that a committed document matches a regex☆76Updated 2 months ago
- ED25519 implementation in Circom☆119Updated 2 years ago
- Libra zero knowledge proof system☆55Updated 2 years ago
- On O(1) Labs' reference machine, this SNARK prover is 3x faster than libsnark!☆98Updated 2 years ago
- Baby SNARK (do do dodo dodo)☆241Updated last year
- Multiprecision arithmetic & RSA accumulators, within SNARKs☆55Updated last year
- ZKSQL: Verifiable and Efficient Query Evaluation with Zero-Knowledge Proofs☆41Updated last year
- Rust crypto library for data privacy tools☆123Updated 4 months ago
- Go core implementation of the iden3 system☆94Updated 2 months ago
- ☆45Updated 9 months ago
- Proves knowledge of an ECDSA-P256 signature under one of many public keys that are stored in a list.☆222Updated 2 weeks ago
- Ethereum-based Distributed Key Generation Protocol☆57Updated 3 years ago
- Crypto application code for the zkSNARKs toolbox ZoKrates☆53Updated last year
- Solidity-compatible BLS signatures, threshold encryption, distributed key generation library in modern C++. Actively maintained and used …☆155Updated this week