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.
☆24Updated 9 months ago
Related projects ⓘ
Alternatives and complementary repositories for verifiable_mpc
- C++ codebase for highly composable zkSNARKs with commit-and-prove capabilities.☆37Updated 4 years ago
- C++ implementation of VSS using LWE encryption and proofs☆15Updated 3 years ago
- Python3 implementation of Bulletproofs - non-interactive zero-knowledge proof protocol with very short proofs and without a trusted setup…☆26Updated last year
- Libra zero knowledge proof system☆48Updated last year
- lattice-based zkSNARKs over libsnark [ISW21]☆29Updated last month
- Implementation of the ZKB++ proof system☆20Updated 5 years ago
- An implementation of the Rinocchio protocol (SNARK for Ring Arithmetic) over SEAL FHE ring elements☆34Updated 11 months ago
- Fast and simple constant-time hashing to the BLS12-381 elliptic curve☆43Updated 4 years ago
- Batch verification proposal for the zkSNARK verification with the same(!) circuit☆24Updated 5 years ago
- ☆22Updated 9 months ago
- Sage implementation of the isogeny-and-pairing based VDF☆24Updated 3 years ago
- Algorand's reference implementation of bls signature scheme☆50Updated last year
- Arithmatic circuits convertible to R1CS based on Bulletproofs☆84Updated last year
- Rust library for efficient, succinct and modular set membership and non-membership proofs☆57Updated 3 years ago
- ☆23Updated 2 months ago
- Rust library for building IQC: cryptography based on class groups of imaginary quadratic orders☆63Updated last year
- Elliptic curve search experiments☆35Updated last year
- Implementation of the Groth16 zk-SNARK proving system☆22Updated 6 years ago
- Proof-of-concept implementation of scalable collaborative zk-SNARKs with fully distributed proof generation.☆42Updated 2 weeks ago
- ☆17Updated last month
- A zk-SNARK for randomized algorithms + linear-size universal circuits☆17Updated 3 years ago
- ☆57Updated 2 years ago
- A prototype implementation of the zksaas protocol for distributed zkSNARK generation☆23Updated last year
- ☆42Updated 3 years ago
- A Rust library for building R1CS gadgets☆89Updated 3 years ago
- Prototype implementations of various Collaborative zkSNARKs.☆111Updated 8 months ago
- Multiprecision arithmetic & RSA accumulators, within SNARKs☆52Updated 5 months ago
- gkr-mimc is a POC-grad gnark gadget to accelerate the proving time of Mimc computation☆21Updated 5 months ago
- Efficient and Interactive Zero-Knowledge Proofs☆81Updated 9 months ago
- ☆37Updated 2 years ago