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 5 years ago
- ☆11Feb 6, 2024Updated 2 years ago
- ☆18Jun 3, 2022Updated 4 years ago
- a sketch of what a zkvm could look like☆26Apr 19, 2021Updated 5 years ago
- ☆15Sep 20, 2025Updated last year
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- MPC with ESP32 hardware devices, using Arduino C++☆12Jan 14, 2025Updated last year
- ☆11Jul 21, 2023Updated 3 years ago
- Implementation of the Kademlia protocol created to gain understanding of distributed hash tables.☆10Aug 16, 2023Updated 3 years ago
- NuBLS is pure Rust implementation of BLS signatures with nifty threshold protocols☆19Nov 10, 2020Updated 5 years ago
- Formalizing Polynomial Commitment Schemes in the Interactive Theorem Prover Isabelle.☆10Jul 30, 2026Updated 3 months ago
- ☆27Oct 18, 2022Updated 4 years ago
- fft impl for ff::Field☆17May 9, 2024Updated 2 years ago
- ☆10Nov 21, 2022Updated 3 years ago
- Describe elliptic curves☆35May 10, 2021Updated 5 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆12Sep 6, 2020Updated 6 years ago
- sha256(sha256(preimage)) in zk☆15May 12, 2021Updated 5 years ago
- Benchmarks of all public available SNARK/STARK keccak circuits☆13Oct 1, 2023Updated 3 years ago
- LegoGroth16 implementation on top of Zexe☆25Dec 3, 2021Updated 4 years ago
- zkp data market☆18Nov 19, 2021Updated 4 years ago
- zkInterface is a protocol for the interoperability of zero-knowledge frameworks.☆128Jun 13, 2023Updated 3 years ago
- Prototype implementations of various Collaborative zkSNARKs.☆134Jun 3, 2025Updated last year
- An implementation of the Rinocchio protocol (SNARK for Ring Arithmetic) over SEAL FHE ring elements☆42Dec 4, 2023Updated 2 years ago
- ProtoGalaxy folding scheme PoC implementation https://eprint.iacr.org/2023/1106.pdf☆42Sep 14, 2023Updated 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Proof of concept implementation of Sigmabus https://eprint.iacr.org/2023/1406☆10Dec 20, 2023Updated 2 years ago
- Vector Commitments with Constant-Sized, Updatable Proofs and Linear-Sized Public Parameters☆12Jun 3, 2021Updated 5 years ago
- Simple implementation of KZG commitments in C☆35Jan 18, 2023Updated 3 years ago
- Pinocchio-based adaptive zk-SNARK and distributed computation☆18Dec 7, 2017Updated 8 years ago
- A threshold cryptography library in Rust☆117Oct 19, 2026Updated 2 weeks ago
- C crypto library☆25Aug 2, 2023Updated 3 years ago
- Fawkes-Crypto - zkSNARKs framework☆21Feb 6, 2024Updated 2 years ago
- Cryptographic library written in JavaScript. Created at UZH as a part of an E-Voting project.☆14Jan 24, 2023Updated 3 years ago
- ☆10Jan 11, 2022Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A TLA+ formalization of the algorithm described in "Paxos Made Simple"☆21Jan 28, 2025Updated last year
- Pairing-friendly elliptic curve library☆24Aug 15, 2024Updated 2 years ago
- Polymath: Groth16 Is Not The Limit☆31Feb 6, 2025Updated last year
- ☆14Sep 28, 2020Updated 6 years ago
- Starky implementation of Bls12-381☆13May 16, 2024Updated 2 years ago
- preliminary, high-level eth2-client benchmarks☆16Oct 20, 2020Updated 6 years ago
- A collection of technical notes from the Geometry research team.☆46Apr 17, 2023Updated 3 years ago