A zk-SNARK for randomized algorithms + linear-size universal circuits (https://eprint.iacr.org/2020/278)
☆18Jan 24, 2021Updated 5 years ago
Alternatives and similar repositories for mirage
Users that are interested in mirage are comparing it to the libraries listed below
Sorting:
- Libra zero knowledge proof system☆55Mar 16, 2023Updated 2 years ago
- A library for decentralized private computation☆19Jul 21, 2021Updated 4 years ago
- Learning ZkSNARKs using libsnark☆12Dec 26, 2018Updated 7 years ago
- An O(N\log{N}) time algorithm for computing all N proofs fast in the Pointproofs VC. Also, the O(N\log{N}) time Feist-Khovratovich algori…☆13Dec 3, 2020Updated 5 years ago
- Groth16 zkSNARK bellman proof verifier using cloudflare/bn256 Pairing☆13Apr 22, 2020Updated 5 years ago
- An efficient interactive zero-knowledge proof scheme based on GKR in terms of unlayered circuit.☆18May 23, 2023Updated 2 years ago
- Python3 implementation of the Pippenger algorithm for fast multi-exponentiation☆22Dec 8, 2022Updated 3 years ago
- ☆60Dec 27, 2021Updated 4 years ago
- ☆22Sep 6, 2016Updated 9 years ago
- Multiprecision arithmetic & RSA accumulators, within SNARKs☆55Jun 2, 2024Updated last year
- Hyrax reference implementation: meta-repo with top-level makefile, etc☆36Feb 9, 2018Updated 8 years ago
- C++ library for IOP-based zkSNARKs☆176Jan 12, 2024Updated 2 years ago
- BFT consensus in Rust☆19Jan 26, 2022Updated 4 years ago
- An `arkworks` library for low-degree testing☆23Sep 10, 2024Updated last year
- Circuit components definition library for zkLLVM circuit compiler☆42Sep 7, 2024Updated last year
- Implementations of proof-carrying data☆37Jun 5, 2022Updated 3 years ago
- Zero Knowledge based Ethereum Virtual Machine in Circom language☆17Jun 3, 2025Updated 9 months ago
- DODO smart contract on EVM☆10Mar 5, 2023Updated 3 years ago
- A privacy-preserving digital version of punch cards used in store loyalty programs☆11Apr 19, 2021Updated 4 years ago
- Efficient and Interactive Zero-Knowledge Proofs☆103Nov 13, 2025Updated 3 months ago
- Ethereum Virtual Machine implementation from scratch in Rust☆26Sep 25, 2021Updated 4 years ago
- Fully-compatible implementation of Privacy Pass in Rust.☆34Apr 20, 2020Updated 5 years ago
- A formalization of a Proof-of-Stake Nakamoto-style blockchain in Coq☆25Jan 21, 2021Updated 5 years ago
- Arkworks made simple for us: the non cryptographer software plumbers☆25Feb 8, 2023Updated 3 years ago
- Falcon signature and its ZKP extensions☆23Jul 5, 2022Updated 3 years ago
- Provisions: Privacy-preserving proofs of solvency for Bitcoin☆14Jan 10, 2016Updated 10 years ago
- Compact Proofs of Retrievability☆14May 28, 2014Updated 11 years ago
- Elliptic curve Go reference implementation☆26Feb 5, 2025Updated last year
- Implements the Barreto-Naehrig (BN) curve as used by Ethereum☆12May 31, 2019Updated 6 years ago
- ☆10Aug 8, 2022Updated 3 years ago
- Verify your NIPoPoWs efficiently, here☆11Dec 8, 2022Updated 3 years ago
- Unsafe 3-round MuSig in Python for experimentation☆11Jan 12, 2023Updated 3 years ago
- ☆12Nov 11, 2022Updated 3 years ago
- Schnorr signatures over big curves for Ledger devices. group arithmetic & key derivation for unusual elliptic curves.☆13Apr 9, 2020Updated 5 years ago
- Vector Commitments with Constant-Sized, Updatable Proofs and Linear-Sized Public Parameters☆11Jun 3, 2021Updated 4 years ago
- A golang demo for zk-SNARK aggregation☆41Jun 23, 2019Updated 6 years ago
- The technical paper for the Spark protocol☆11Mar 5, 2024Updated 2 years ago
- ☆10Oct 22, 2019Updated 6 years ago
- zkSNARK full flow example in Go☆12Jun 3, 2020Updated 5 years ago