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
- Python3 implementation of Bulletproofs - non-interactive zero-knowledge proof protocol with very short proofs and without a trusted setup…☆27Updated 2 years ago
- lattice-based zkSNARKs over libsnark [ISW21]☆31Updated 5 months ago
- ☆32Updated last month
- ☆11Updated last year
- Libra zero knowledge proof system☆49Updated 2 years ago
- C++ codebase for highly composable zkSNARKs with commit-and-prove capabilities.☆38Updated 4 years ago
- ☆22Updated 3 months ago
- An implementation of the Rinocchio protocol (SNARK for Ring Arithmetic) over SEAL FHE ring elements☆37Updated last year
- A ZKP-augmented fork of the OpenFHE library☆17Updated 8 months ago
- Algorand's reference implementation of bls signature scheme☆51Updated last year
- Elliptic curve search experiments☆35Updated 2 years ago
- Implementation of the ZKB++ proof system☆19Updated 5 years ago
- A framework for SPDZ-style maliciously-secure MPC.☆51Updated 2 months ago
- Rust library for efficient, succinct and modular set membership and non-membership proofs☆58Updated 4 years ago
- A prototype implementation of the zksaas protocol for distributed zkSNARK generation☆25Updated last year
- C++ implementation of VSS using LWE encryption and proofs☆15Updated 3 years ago
- Proof-of-concept implementation of scalable collaborative zk-SNARKs with fully distributed proof generation.☆46Updated this week
- Fast and simple constant-time hashing to the BLS12-381 elliptic curve☆43Updated 5 years ago
- ☆40Updated 2 years ago
- Falcon signature and its ZKP extensions☆20Updated 2 years ago
- Implementation of the Groth16 zk-SNARK proving system☆21Updated 6 years ago
- Aggregatable Distributed Key Generation☆47Updated 2 years ago
- Describe elliptic curves☆35Updated 3 years ago
- Let's go https://eprint.iacr.org/2022/1763.pdf☆59Updated last year
- ☆26Updated last year
- ☆24Updated 2 years ago
- Rust library for building IQC: cryptography based on class groups of imaginary quadratic orders☆63Updated 2 years ago
- ☆23Updated last month
- Polymath: Groth16 Is Not The Limit☆29Updated last month
- Simple implementation of KZG commitments in C☆35Updated 2 years ago