Batch verification proposal for the zkSNARK verification with the same(!) circuit
☆23Jun 24, 2019Updated 7 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:
- Traits and utilities for working with finite fields☆18Aug 15, 2024Updated 2 years ago
- Elliptic Curve Implementation in Solidity☆25Feb 3, 2024Updated 2 years ago
- ☆18Jun 3, 2022Updated 4 years ago
- Elliptic curve search experiments☆36Mar 6, 2023Updated 3 years ago
- Supporting evidence for security of the baby_jubjub curve to be used in altbn128, Ethereum☆41Aug 24, 2019Updated 7 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Zcash "Sapling" cryptography gadgets along with additions. Uses our Ethereum compatible bellman under the hood☆13May 25, 2020Updated 6 years ago
- Pairing-friendly elliptic curve library☆24Aug 15, 2024Updated 2 years ago
- Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo☆20Oct 25, 2022Updated 4 years ago
- altbn128 twisted ewards curve point addion, point multiplicaion, eddsa signature verificaion and pedersen commiments☆68Sep 23, 2019Updated 7 years ago
- Implementation of the Hades permutation algorithm used in Poseidon Hashes with ZKProof capabilities.☆22Jan 24, 2024Updated 2 years ago
- This repository contains a tutorial on how to build roll_up with Circom☆82Apr 9, 2019Updated 7 years ago
- EIP1962 implementation effort☆69Jul 2, 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.☆16Oct 4, 2026Updated last month
- 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.
- Schnorr signatures over big curves for Ledger devices. group arithmetic & key derivation for unusual elliptic curves.☆13Apr 9, 2020Updated 6 years ago
- Implementation of various primitives for bellman using CUDA (WIP)☆28Jul 20, 2019Updated 7 years ago
- ☆12Jun 14, 2018Updated 8 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
- 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 2 years ago
- gkr-mimc is a POC-grad gnark gadget to accelerate the proving time of Mimc computation☆25Jun 24, 2024Updated 2 years ago
- ☆17Jul 14, 2018Updated 8 years ago
- ☆42Jul 25, 2024Updated 2 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Fast and simple constant-time hashing to the BLS12-381 elliptic curve☆44Mar 13, 2020Updated 6 years ago
- Set of JavaScript based tools and Ethereum Solidity contracts for BulletProof based range proofs and confidential transactions☆29Feb 17, 2019Updated 7 years ago
- non-custodial exchange build with rollup☆102Dec 10, 2022Updated 3 years ago
- Communal zk-SNARK MPC for Public Parameters☆19Nov 4, 2023Updated 3 years ago
- An implementation of ZEXE on Ethereum☆36Apr 11, 2019Updated 7 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☆44Mar 6, 2023Updated 3 years ago
- Materials for Edcon 2019 webcast☆11Mar 31, 2019Updated 7 years ago
- Argument systems for inner pairing products☆46Jul 31, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- An elastic proof system based on arkworks☆85Dec 21, 2023Updated 2 years ago
- A Zero-Knowledge Toolkit☆15Oct 15, 2020Updated 6 years ago
- keccak256 hash implementation in Circom☆83Apr 24, 2022Updated 4 years ago
- Intel assembly finite field library generator☆14Nov 23, 2023Updated 2 years ago
- BLS typescript wrapper to interact with the contract☆16Mar 11, 2022Updated 4 years ago
- zero knowledge proof aggregator for general circuit☆73May 20, 2024Updated 2 years ago
- spacegap tools☆11Mar 22, 2022Updated 4 years ago