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 9 months ago
- An elastic proof system based on arkworks☆85Updated last year
- Libra zero knowledge proof system☆54Updated 2 years ago
- Simple implementation of KZG commitments in C☆36Updated 2 years ago
- Elliptic curve search experiments☆35Updated 2 years ago
- ☆11Updated 2 years ago
- LegoGroth16 implementation on top of Zexe☆24Updated 3 years ago
- A prototype implementation of the zksaas protocol for distributed zkSNARK generation☆27Updated last year
- ☆40Updated 2 years ago
- A zk-SNARK for randomized algorithms + linear-size universal circuits (https://eprint.iacr.org/2020/278)☆18Updated 4 years ago
- ☆42Updated 3 years ago
- Implementation of the ZKB++ proof system☆19Updated 6 years ago
- An implementation of the Rinocchio protocol (SNARK for Ring Arithmetic) over SEAL FHE ring elements☆38Updated last year
- elliptic curve construction tool☆17Updated 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
- Benchmarks of all public available SNARK/STARK keccak circuits☆13Updated last year
- Argument systems for inner pairing products☆43Updated last year
- Testudo: Spartan + Groth16☆52Updated last year
- DPC with Universal Setup☆46Updated 2 years ago
- A Rust library for building R1CS gadgets☆91Updated 3 years ago
- gkr-mimc is a POC-grad gnark gadget to accelerate the proving time of Mimc computation☆25Updated last year
- lattice-based zkSNARKs over libsnark [ISW21]☆34Updated 11 months ago
- A rusty implementation of the Caulk+ lookup algorithm.☆12Updated 2 years ago
- Implementation of the Groth16 zk-SNARK proving system☆21Updated 7 years ago
- ☆31Updated 3 years ago
- Proof-of-concept implementation of the papers on scalable collaborative zk-SNARKs (coZK) with applications to private proof delegation.☆53Updated last month
- Fast and simple constant-time hashing to the BLS12-381 elliptic curve☆44Updated 5 years ago
- A Rust library for proof-carrying disclosures☆21Updated last year
- ☆32Updated 11 months ago