Batch verification proposal for the zkSNARK verification with the same(!) circuit
☆23Jun 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Elliptic Curve Implementation in Solidity☆25Feb 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
- Elliptic curve search experiments☆35Mar 6, 2023Updated 3 years ago
- altbn128 twisted ewards curve point addion, point multiplicaion, eddsa signature verificaion and pedersen commiments☆68Sep 23, 2019Updated 6 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Rust implementation of Zcash multi-signautres☆13Jun 23, 2019Updated 6 years ago
- Pairing-friendly elliptic curve library☆24Aug 15, 2024Updated last year
- Zcash "Sapling" cryptography gadgets along with additions. Uses our Ethereum compatible bellman under the hood☆13May 25, 2020Updated 5 years ago
- Implementation of the Hades permutation algorithm used in Poseidon Hashes with ZKProof capabilities.☆22Jan 24, 2024Updated 2 years ago
- Plasma Winter - an account model Plasma with with zkSNARK proved state transitions. Started on ETH Singapore☆30Dec 21, 2018Updated 7 years ago
- Web Assembly low level implementation of pairing friendly curves.☆15Mar 20, 2026Updated last week
- Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo☆20Oct 25, 2022Updated 3 years ago
- This repository contains a tutorial on how to build roll_up with Circom☆82Apr 9, 2019Updated 6 years ago
- Implementation of various primitives for bellman using CUDA (WIP)☆28Jul 20, 2019Updated 6 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Multi-party computation for Zcash's "Sapling" zk-SNARK public parameters☆30Jan 22, 2023Updated 3 years ago
- fft impl for ff::Field☆17May 9, 2024Updated last year
- EIP1962 implementation effort☆70Jul 2, 2024Updated last year
- Fast and simple constant-time hashing to the BLS12-381 elliptic curve☆44Mar 13, 2020Updated 6 years ago
- Schnorr signatures over big curves for Ledger devices. group arithmetic & key derivation for unusual elliptic curves.☆13Apr 9, 2020Updated 5 years ago
- ☆11Jun 14, 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
- ☆42Jul 25, 2024Updated last year
- non-custodial exchange build with rollup☆104Dec 10, 2022Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- ☆17Jul 14, 2018Updated 7 years ago
- Set of JavaScript based tools and Ethereum Solidity contracts for BulletProof based range proofs and confidential transactions☆30Feb 17, 2019Updated 7 years ago
- Argument systems for inner pairing products☆44Jul 31, 2024Updated last year
- gkr-mimc is a POC-grad gnark gadget to accelerate the proving time of Mimc computation☆25Jun 24, 2024Updated last year
- An implementation of ZEXE on Ethereum☆36Apr 11, 2019Updated 6 years ago
- powdr application running Ethereum tests via revm☆17Jun 24, 2024Updated last year
- Materials for Edcon 2019 webcast☆11Mar 31, 2019Updated 6 years ago
- ☆17Jul 11, 2025Updated 8 months ago
- An elastic proof system based on arkworks☆85Dec 21, 2023Updated 2 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- keccak256 hash implementation in Circom☆83Apr 24, 2022Updated 3 years ago
- BLS typescript wrapper to interact with the contract☆16Mar 11, 2022Updated 4 years ago
- Bulletproofs and Bulletproofs+ Rust implementation for Aggregated Range Proofs over multiple elliptic curves☆77Dec 16, 2022Updated 3 years ago
- Isekai verifiable computation project☆46Mar 6, 2023Updated 3 years ago
- ☆15Sep 28, 2020Updated 5 years ago
- Prover for the Plumo light client system https://docs.zkproof.org/pages/standards/accepted-workshop3/proposal-plumo_celolightclient.pdf☆14Jan 4, 2022Updated 4 years ago
- ☆14Dec 26, 2024Updated last year