toonsegers / verifiable_mpc
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
- C++ codebase for highly composable zkSNARKs with commit-and-prove capabilities.☆38Updated 4 years ago
- ☆22Updated 2 months ago
- Python3 implementation of Bulletproofs - non-interactive zero-knowledge proof protocol with very short proofs and without a trusted setup…☆26Updated 2 years ago
- Libra zero knowledge proof system☆48Updated last year
- A zk-SNARK for randomized algorithms + linear-size universal circuits☆17Updated 4 years ago
- Batch verification proposal for the zkSNARK verification with the same(!) circuit☆24Updated 5 years ago
- ☆28Updated this week
- lattice-based zkSNARKs over libsnark [ISW21]☆31Updated 4 months ago
- An implementation of the Rinocchio protocol (SNARK for Ring Arithmetic) over SEAL FHE ring elements☆37Updated last year
- Rust library for efficient, succinct and modular set membership and non-membership proofs☆57Updated 3 years ago
- LegoGroth16 implementation on top of Zexe☆23Updated 3 years ago
- Let's go https://eprint.iacr.org/2022/1763.pdf☆58Updated last year
- Simple implementation of KZG commitments in C☆33Updated 2 years ago
- Aggregatable Distributed Key Generation☆46Updated 2 years ago
- Implementation of the ZKB++ proof system☆20Updated 5 years ago
- ☆39Updated 2 years ago
- C++ implementation of VSS using LWE encryption and proofs☆15Updated 3 years ago
- A prototype implementation of the zksaas protocol for distributed zkSNARK generation☆24Updated last year
- gkr-mimc is a POC-grad gnark gadget to accelerate the proving time of Mimc computation☆22Updated 7 months ago
- Decentralised Voting Scheme☆15Updated 3 years ago
- Elliptic curve search experiments☆35Updated last year
- ☆26Updated 11 months ago
- ☆48Updated last year
- An elastic proof system based on arkworks☆80Updated last year
- ☆28Updated 4 months ago
- Implementation of the Groth16 zk-SNARK proving system☆22Updated 6 years ago
- A ZKP-augmented fork of the OpenFHE library☆15Updated 7 months ago
- Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo☆20Updated 2 years ago
- ☆39Updated last year
- Notes for the R1CS programming workshop at ZK0x04☆30Updated 5 years ago