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
- MPC with ESP32 hardware devices, using Arduino C++☆12Jan 14, 2025Updated last year
- 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.
- ☆15Sep 20, 2025Updated 10 months 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 2 years ago
- ☆11Jul 21, 2023Updated 3 years ago
- Formalizing Polynomial Commitment Schemes in the Interactive Theorem Prover Isabelle.☆10Jun 21, 2026Updated last month
- Benchmarks of all public available SNARK/STARK keccak circuits☆13Oct 1, 2023Updated 2 years ago
- Describe elliptic curves☆35May 10, 2021Updated 5 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 5 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- 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☆40Dec 4, 2023Updated 2 years ago
- ProtoGalaxy folding scheme PoC implementation https://eprint.iacr.org/2023/1106.pdf☆42Sep 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
- Proof of concept implementation of Sigmabus https://eprint.iacr.org/2023/1406☆10Dec 20, 2023Updated 2 years ago
- zkp data market☆18Nov 19, 2021Updated 4 years ago
- A TLA+ formalization of the algorithm described in "Paxos Made Simple"☆21Jan 28, 2025Updated last year
- zkInterface is a protocol for the interoperability of zero-knowledge frameworks.☆128Jun 13, 2023Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- snarkpack for arkwork☆22Jun 11, 2023Updated 3 years ago
- C crypto library☆25Aug 2, 2023Updated 2 years ago
- sha256(sha256(preimage)) in zk☆15May 12, 2021Updated 5 years ago
- Simple implementation of KZG commitments in C☆35Jan 18, 2023Updated 3 years ago
- ☆27Oct 18, 2022Updated 3 years ago
- Fawkes-Crypto - zkSNARKs framework☆21Feb 6, 2024Updated 2 years ago
- ☆10Jan 11, 2022Updated 4 years ago
- Prototype implementations of various Collaborative zkSNARKs.☆133Jun 3, 2025Updated last year
- Polymath: Groth16 Is Not The Limit☆31Feb 6, 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.
- Pairing-friendly elliptic curve library☆24Aug 15, 2024Updated last year
- Cryptographic library written in JavaScript. Created at UZH as a part of an E-Voting project.☆14Jan 24, 2023Updated 3 years ago
- preliminary, high-level eth2-client benchmarks☆16Oct 20, 2020Updated 5 years ago
- Library for programming zk-SNARKs directly in Python☆194Jun 9, 2024Updated 2 years ago
- Starky implementation of Bls12-381☆13May 16, 2024Updated 2 years ago
- PVSS & Scrape in rust☆11Jul 14, 2026Updated last week
- powdr application running Ethereum tests via revm☆18Jun 24, 2024Updated 2 years ago