toonsegers / verifiable_mpcLinks
A scheme that produces a zero-knowledge proof of correctness for an MPC computation. The scheme allows anyone, particularly someone external to the secure computation, to check the correctness of the output, while preserving the privacy properties of the MPC protocol.
☆26Updated last year
Alternatives and similar repositories for verifiable_mpc
Users that are interested in verifiable_mpc are comparing it to the libraries listed below
Sorting:
- C++ codebase for highly composable zkSNARKs with commit-and-prove capabilities.☆41Updated 5 years ago
- Elliptic curve search experiments☆35Updated 2 years ago
- ☆22Updated 11 months ago
- An elastic proof system based on arkworks☆85Updated last year
- LegoGroth16 implementation on top of Zexe☆24Updated 3 years ago
- ☆34Updated last year
- An O(N\log{N}) time algorithm for computing all N proofs fast in the Pointproofs VC. Also, the O(N\log{N}) time Feist-Khovratovich algori…☆13Updated 4 years ago
- Rust library for efficient, succinct and modular set membership and non-membership proofs☆58Updated 4 years ago
- Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo☆20Updated 3 years ago
- Libra zero knowledge proof system☆54Updated 2 years ago
- DPC with Universal Setup☆46Updated 2 years ago
- Simple implementation of KZG commitments in C☆36Updated 2 years ago
- A zk-SNARK for randomized algorithms + linear-size universal circuits (https://eprint.iacr.org/2020/278)☆18Updated 4 years ago
- Implementation of the ZKB++ proof system☆20Updated 6 years ago
- ☆11Updated 2 years ago
- ☆42Updated 4 years ago
- Argument systems for inner pairing products☆43Updated last year
- A prototype implementation of the zksaas protocol for distributed zkSNARK generation☆27Updated 2 years ago
- Benchmarks of all public available SNARK/STARK keccak circuits☆13Updated 2 years ago
- A rusty implementation of the Caulk+ lookup algorithm.☆12Updated 2 years ago
- Testudo: Spartan + Groth16☆53Updated last year
- ☆41Updated 3 years ago
- A Rust library for building R1CS gadgets☆91Updated 4 years ago
- Arithmatic circuits convertible to R1CS based on Bulletproofs☆91Updated 2 years ago
- Describe elliptic curves☆35Updated 4 years ago
- ☆47Updated 2 years ago
- Aggregatable Distributed Key Generation☆49Updated 3 years ago
- An implementation of the Rinocchio protocol (SNARK for Ring Arithmetic) over SEAL FHE ring elements☆38Updated last year
- ☆30Updated 2 years ago
- Batch verification proposal for the zkSNARK verification with the same(!) circuit☆24Updated 6 years ago