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.
☆26Feb 20, 2024Updated 2 years ago
Alternatives and similar repositories for verifiable_mpc
Users that are interested in verifiable_mpc are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆15Jul 8, 2021Updated 4 years ago
- ☆11Feb 6, 2024Updated 2 years ago
- a sketch of what a zkvm could look like☆26Apr 19, 2021Updated 4 years ago
- ☆15Sep 20, 2025Updated 6 months ago
- MPC with ESP32 hardware devices, using Arduino C++☆11Jan 14, 2025Updated last year
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆17Jun 3, 2022Updated 3 years ago
- Implementation of the Kademlia protocol created to gain understanding of distributed hash tables.☆10Aug 16, 2023Updated 2 years ago
- fft impl for ff::Field☆17May 9, 2024Updated last year
- Benchmarks of all public available SNARK/STARK keccak circuits☆13Oct 1, 2023Updated 2 years ago
- Formalizing Polynomial Commitment Schemes in the Interactive Theorem Prover Isabelle.☆10Jan 24, 2026Updated 2 months ago
- ☆11Jul 21, 2023Updated 2 years ago
- Describe elliptic curves☆35May 10, 2021Updated 4 years ago
- NuBLS is pure Rust implementation of BLS signatures with nifty threshold protocols☆19Nov 10, 2020Updated 5 years ago
- Vector Commitments with Constant-Sized, Updatable Proofs and Linear-Sized Public Parameters☆11Jun 3, 2021Updated 4 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- LegoGroth16 implementation on top of Zexe☆25Dec 3, 2021Updated 4 years ago
- An implementation of the Rinocchio protocol (SNARK for Ring Arithmetic) over SEAL FHE ring elements☆39Dec 4, 2023Updated 2 years ago
- Proof of concept implementation of Sigmabus https://eprint.iacr.org/2023/1406☆10Dec 20, 2023Updated 2 years ago
- ProtoGalaxy folding scheme PoC implementation https://eprint.iacr.org/2023/1106.pdf☆41Sep 14, 2023Updated 2 years ago
- Pinocchio-based adaptive zk-SNARK and distributed computation☆18Dec 7, 2017Updated 8 years ago
- ☆12Sep 6, 2020Updated 5 years ago
- zkp data market☆18Nov 19, 2021Updated 4 years ago
- snarkpack for arkwork☆22Jun 11, 2023Updated 2 years ago
- A TLA+ formalization of the algorithm described in "Paxos Made Simple"☆21Jan 28, 2025Updated last year
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- zkInterface is a protocol for the interoperability of zero-knowledge frameworks.☆128Jun 13, 2023Updated 2 years ago
- Fawkes-Crypto - zkSNARKs framework☆21Feb 6, 2024Updated 2 years ago
- ☆27Oct 18, 2022Updated 3 years ago
- Prototype implementations of various Collaborative zkSNARKs.☆132Jun 3, 2025Updated 9 months ago
- ☆10Jan 11, 2022Updated 4 years ago
- C crypto library☆25Aug 2, 2023Updated 2 years ago
- Polymath: Groth16 Is Not The Limit☆31Feb 6, 2025Updated last year
- Simple implementation of KZG commitments in C☆36Jan 18, 2023Updated 3 years ago
- Cryptographic library written in JavaScript. Created at UZH as a part of an E-Voting project.☆14Jan 24, 2023Updated 3 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Pairing-friendly elliptic curve library☆24Aug 15, 2024Updated last year
- preliminary, high-level eth2-client benchmarks☆16Oct 20, 2020Updated 5 years ago
- Starky implementation of Bls12-381☆13May 16, 2024Updated last year
- Library for programming zk-SNARKs directly in Python☆193Jun 9, 2024Updated last year
- PVSS & Scrape in rust☆11Aug 14, 2025Updated 7 months ago
- WebGPU MSM Implementation (BLS12-377 Curve) for ZPrize 2023☆14Nov 18, 2024Updated last year
- powdr application running Ethereum tests via revm☆17Jun 24, 2024Updated last year