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.☆39Updated 4 years ago
- ☆22Updated 6 months ago
- Libra zero knowledge proof system☆52Updated 2 years ago
- lattice-based zkSNARKs over libsnark [ISW21]☆32Updated 8 months ago
- Elliptic curve search experiments☆35Updated 2 years ago
- Python3 implementation of Bulletproofs - non-interactive zero-knowledge proof protocol with very short proofs and without a trusted setup…☆27Updated 2 years ago
- Implementation of the ZKB++ proof system☆19Updated 6 years ago
- Rust library for efficient, succinct and modular set membership and non-membership proofs☆58Updated 4 years ago
- C++ implementation of VSS using LWE encryption and proofs☆15Updated 3 years ago
- ☆11Updated last year
- A zk-SNARK for randomized algorithms + linear-size universal circuits (https://eprint.iacr.org/2020/278)☆18Updated 4 years ago
- Batch verification proposal for the zkSNARK verification with the same(!) circuit☆24Updated 6 years ago
- LegoGroth16 implementation on top of Zexe☆24Updated 3 years ago
- ☆42Updated 3 years ago
- Simple implementation of KZG commitments in C☆36Updated 2 years ago
- Fast and simple constant-time hashing to the BLS12-381 elliptic curve☆44Updated 5 years ago
- gkr-mimc is a POC-grad gnark gadget to accelerate the proving time of Mimc computation☆25Updated last year
- DPC with Universal Setup☆46Updated 2 years ago
- ElGamal encryption and related zero-knowledge proofs☆17Updated 4 months ago
- ☆40Updated 2 years ago
- An elastic proof system based on arkworks☆84Updated last year
- Let's go https://eprint.iacr.org/2022/1763.pdf☆61Updated 2 years ago
- elliptic curve construction tool☆17Updated 2 years ago
- Generator and supporting evidence for security of the Pluto/Eris half-pairing cycle of elliptic curves☆32Updated 4 years ago
- An implementation of the 'DiStefano: Decentralized Infrastructure for Sharing Trusted Encrypted Facts and Nothing More' protocol.☆31Updated last month
- Polymath: Groth16 Is Not The Limit☆29Updated 5 months ago
- ☆33Updated 9 months ago
- A Rust library for the Groth-Sahai non-interactive witness-indistinguishable and zero-knowledge proof system☆13Updated 2 months ago
- Crypto application code for the zkSNARKs toolbox ZoKrates☆54Updated last year
- Elliptic curve pairing in Python☆53Updated 4 years ago