toonsegers / verifiable_mpcView external linksLinks
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 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:
- ☆15Jul 8, 2021Updated 4 years ago
- ☆11Feb 6, 2024Updated 2 years ago
- fft impl for ff::Field☆17May 9, 2024Updated last year
- ☆15Sep 20, 2025Updated 4 months ago
- a sketch of what a zkvm could look like☆26Apr 19, 2021Updated 4 years ago
- ☆11Jul 21, 2023Updated 2 years ago
- 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 weeks ago
- Comparison of leading error-correcting code implementations☆12Aug 19, 2022Updated 3 years ago
- Vector Commitments with Constant-Sized, Updatable Proofs and Linear-Sized Public Parameters☆11Jun 3, 2021Updated 4 years ago
- A TLA+ formalization of the algorithm described in "Paxos Made Simple"☆21Jan 28, 2025Updated last year
- ☆12Sep 6, 2020Updated 5 years ago
- ☆17Jun 3, 2022Updated 3 years ago
- Zero-related bugs in 4 BLS libs & standard draft,"splitting zero" attacks, $35000 award☆17Aug 20, 2021Updated 4 years ago
- Numerology: Optimized ECC arithmetic library for secp256k1 in Solidity☆13Nov 2, 2018Updated 7 years ago
- Algorand's reference implementation of bls signature scheme☆14Sep 7, 2020Updated 5 years ago
- Simple implementation of KZG commitments in C☆36Jan 18, 2023Updated 3 years ago
- Pairing-friendly elliptic curve library☆24Aug 15, 2024Updated last year
- C crypto library☆24Aug 2, 2023Updated 2 years ago
- Starky implementation of Bls12-381☆13May 16, 2024Updated last year
- My Cornell PhD dissertation: Scaling the Infrastructure of Practical Blockchain Systems☆15Sep 10, 2021Updated 4 years ago
- LegoGroth16 implementation on top of Zexe☆25Dec 3, 2021Updated 4 years ago
- preliminary, high-level eth2-client benchmarks☆16Oct 20, 2020Updated 5 years ago
- U2f implementation with threshold signatures☆16Nov 24, 2020Updated 5 years ago
- Collection of ZKP-related cryptographic primitives☆12Oct 1, 2021Updated 4 years ago
- Describe elliptic curves☆35May 10, 2021Updated 4 years ago
- View Ethereum consensus-layer activity: network-wide historical view of attester performance as interactive map☆19May 14, 2023Updated 2 years ago
- A Zero-Knowledge Toolkit☆15Oct 15, 2020Updated 5 years ago
- Anemoi: a Family of ZK-friendly Arithmetization Oriented Hash Functions☆14Jul 9, 2023Updated 2 years ago
- BLS12-381 cryptography using Apache Milagro☆29Feb 2, 2024Updated 2 years ago
- Delve into low-level RISC Zero machine☆30Dec 25, 2023Updated 2 years ago
- ProtoGalaxy folding scheme PoC implementation https://eprint.iacr.org/2023/1106.pdf☆41Sep 14, 2023Updated 2 years ago
- sha256(sha256(preimage)) in zk☆15May 12, 2021Updated 4 years ago
- powdr application running Ethereum tests via revm☆17Jun 24, 2024Updated last year
- Decentralised Voting Scheme☆16Dec 5, 2021Updated 4 years ago
- snarkpack for arkwork☆21Jun 11, 2023Updated 2 years ago
- elliptic curve construction tool☆17Feb 24, 2023Updated 2 years ago
- Polymath: Groth16 Is Not The Limit☆31Feb 6, 2025Updated last year
- An implementation of publicly verifiable proofs of retrievability☆32Feb 24, 2018Updated 7 years ago