matter-labs-archive / Groth16BatchVerifierView external linksLinks
Batch verification proposal for the zkSNARK verification with the same(!) circuit
☆24Jun 24, 2019Updated 6 years ago
Alternatives and similar repositories for Groth16BatchVerifier
Users that are interested in Groth16BatchVerifier are comparing it to the libraries listed below
Sorting:
- Elliptic Curve Implementation in Solidity☆26Feb 3, 2024Updated 2 years ago
- Traits and utilities for working with finite fields☆18Aug 15, 2024Updated last year
- Supporting evidence for security of the baby_jubjub curve to be used in altbn128, Ethereum☆41Aug 24, 2019Updated 6 years ago
- Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo☆20Oct 25, 2022Updated 3 years ago
- Elliptic curve search experiments☆35Mar 6, 2023Updated 2 years ago
- Schnorr signatures over big curves for Ledger devices. group arithmetic & key derivation for unusual elliptic curves.☆13Apr 9, 2020Updated 5 years ago
- Implementation of the Hades permutation algorithm used in Poseidon Hashes with ZKProof capabilities.☆22Jan 24, 2024Updated 2 years ago
- altbn128 twisted ewards curve point addion, point multiplicaion, eddsa signature verificaion and pedersen commiments☆68Sep 23, 2019Updated 6 years ago
- Web Assembly low level implementation of pairing friendly curves.☆15Updated this week
- Rust implementation of Zcash multi-signautres☆14Jun 23, 2019Updated 6 years ago
- Pairing-friendly elliptic curve library☆24Aug 15, 2024Updated last year
- Fast and simple constant-time hashing to the BLS12-381 elliptic curve☆45Mar 13, 2020Updated 5 years ago
- Basic implementation of Borromean ring signatures in Python, for learning☆15Dec 14, 2017Updated 8 years ago
- ☆15Sep 28, 2020Updated 5 years ago
- Materials for Edcon 2019 webcast☆11Mar 31, 2019Updated 6 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
- fft impl for ff::Field☆17May 9, 2024Updated last year
- BLS typescript wrapper to interact with the contract☆15Mar 11, 2022Updated 3 years ago
- gkr-mimc is a POC-grad gnark gadget to accelerate the proving time of Mimc computation☆25Jun 24, 2024Updated last year
- Multi-party computation for Zcash's "Sapling" zk-SNARK public parameters☆30Jan 22, 2023Updated 3 years ago
- Groth16 zkSNARK bellman proof verifier using cloudflare/bn256 Pairing☆13Apr 22, 2020Updated 5 years ago
- Zcash "Sapling" cryptography gadgets along with additions. Uses our Ethereum compatible bellman under the hood☆15May 25, 2020Updated 5 years ago
- A Solidity implementation of a VDF verifier contract☆16Apr 7, 2023Updated 2 years ago
- An implementation of ZEXE on Ethereum☆37Apr 11, 2019Updated 6 years ago
- A Zero-Knowledge Toolkit☆15Oct 15, 2020Updated 5 years ago
- ☆17Jul 14, 2018Updated 7 years ago
- Intel assembly finite field library generator☆13Nov 23, 2023Updated 2 years ago
- Sonic implementation in Rust☆18Jun 4, 2019Updated 6 years ago
- elliptic curve construction tool☆17Feb 24, 2023Updated 2 years ago
- Solidity implementation of the baby jubjub curve☆21Apr 30, 2024Updated last year
- ☆17Jul 11, 2025Updated 7 months ago
- powdr application running Ethereum tests via revm☆17Jun 24, 2024Updated last year
- ☆19May 5, 2020Updated 5 years ago
- EIP1962 implementation effort☆71Jul 2, 2024Updated last year
- Isekai verifiable computation project☆46Mar 6, 2023Updated 2 years ago
- ☆42Jul 25, 2024Updated last year
- Plonky2 gadgets for EcGFp5 curve and base field arithmetic☆20Feb 19, 2023Updated 2 years ago
- ☆28Dec 8, 2021Updated 4 years ago
- An elastic proof system based on arkworks☆85Dec 21, 2023Updated 2 years ago