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
Sorting:
- C++ codebase for highly composable zkSNARKs with commit-and-prove capabilities.☆39Updated 4 years ago
- ☆30Updated 7 months ago
- ☆11Updated last year
- An implementation of the Rinocchio protocol (SNARK for Ring Arithmetic) over SEAL FHE ring elements☆37Updated last year
- 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]☆32Updated 6 months ago
- A ZKP-augmented fork of the OpenFHE library☆17Updated 10 months ago
- Rust library for efficient, succinct and modular set membership and non-membership proofs☆58Updated 4 years ago
- Libra zero knowledge proof system☆51Updated 2 years ago
- ☆36Updated 2 months ago
- ☆22Updated 4 months ago
- Proof-of-concept implementation of scalable collaborative zk-SNARKs with fully distributed proof generation.☆47Updated last month
- Implementation of the Groth16 zk-SNARK proving system☆21Updated 6 years ago
- Batch verification proposal for the zkSNARK verification with the same(!) circuit☆24Updated 5 years ago
- Implementation of the ZKB++ proof system☆19Updated 5 years ago
- ☆10Updated last year
- A prototype implementation of the zksaas protocol for distributed zkSNARK generation☆26Updated last year
- Let's go https://eprint.iacr.org/2022/1763.pdf☆59Updated last year
- Fast and simple constant-time hashing to the BLS12-381 elliptic curve☆43Updated 5 years ago
- Testudo: Spartan + Groth16☆52Updated last year
- Elliptic curve search experiments☆35Updated 2 years ago
- A zk-SNARK for randomized algorithms + linear-size universal circuits☆18Updated 4 years ago
- Rust library for building IQC: cryptography based on class groups of imaginary quadratic orders☆64Updated 2 years ago
- Sage implementation of the isogeny-and-pairing based VDF☆24Updated 4 years ago
- ☆40Updated 2 years ago
- C++ implementation of VSS using LWE encryption and proofs☆15Updated 3 years ago
- Crescent adds privacy to existing credentials with zero-knowledge☆25Updated this week
- A framework to run Fully Homomorphic Encryption computations (especially using the SEAL library) on Trusted Execution Environments, with …☆43Updated 2 years ago
- Algorand's reference implementation of bls signature scheme☆51Updated 2 years ago
- An elastic proof system based on arkworks☆82Updated last year