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
- ☆27Updated 2 years ago
- ☆22Updated 7 months ago
- ☆11Updated 2 years ago
- An elastic proof system based on arkworks☆84Updated last year
- Libra zero knowledge proof system☆53Updated 2 years ago
- Implementation of the ZKB++ proof system☆19Updated 6 years ago
- A rusty implementation of the Caulk+ lookup algorithm.☆12Updated 2 years ago
- LegoGroth16 implementation on top of Zexe☆24Updated 3 years ago
- Argument systems for inner pairing products☆42Updated last year
- C++ implementation of VSS using LWE encryption and proofs☆15Updated 3 years ago
- Elliptic curve search experiments☆35Updated 2 years ago
- Benchmarks of all public available SNARK/STARK keccak circuits☆13Updated last year
- Simple implementation of KZG commitments in C☆36Updated 2 years ago
- DPC with Universal Setup☆46Updated 2 years ago
- Implementation of the Groth16 zk-SNARK proving system☆21Updated 7 years ago
- fft impl for ff::Field☆16Updated last year
- ☆40Updated 2 years ago
- gkr-mimc is a POC-grad gnark gadget to accelerate the proving time of Mimc computation☆25Updated last year
- ☆32Updated 3 years ago
- Testudo: Spartan + Groth16☆52Updated last year
- ☆30Updated 2 years ago
- Describe elliptic curves☆35Updated 4 years ago
- An O(N\log{N}) time algorithm for computing all N proofs fast in the Pointproofs VC. Also, the O(N\log{N}) time Feist-Khovratovich algori…☆13Updated 4 years ago
- An implementation of the Rinocchio protocol (SNARK for Ring Arithmetic) over SEAL FHE ring elements☆38Updated last year
- ☆26Updated 5 months ago
- An implementation of the 'DiStefano: Decentralized Infrastructure for Sharing Trusted Encrypted Facts and Nothing More' protocol.☆34Updated 2 months ago
- Vectorized AVX-512 256-bit arithmetic library☆31Updated 10 months ago
- Implementations of proof-carrying data☆35Updated 3 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