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
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆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
- ☆11Jul 21, 2023Updated 2 years ago
- Formalizing Polynomial Commitment Schemes in the Interactive Theorem Prover Isabelle.☆10Jan 24, 2026Updated 2 months 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
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- 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☆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
- zkp data market☆17Nov 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
- Deploy open-source AI quickly and easily - Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- 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 10 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
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- 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☆192Jun 9, 2024Updated last year
- PVSS & Scrape in rust☆11Apr 6, 2026Updated last week
- powdr application running Ethereum tests via revm☆18Jun 24, 2024Updated last year
- WebGPU MSM Implementation (BLS12-377 Curve) for ZPrize 2023☆14Nov 18, 2024Updated last year