matter-labs / bellmanView external linksLinks
Bellman zkSNARK library for community with Ethereum's BN256 support
☆162Aug 15, 2024Updated last year
Alternatives and similar repositories for bellman
Users that are interested in bellman are comparing it to the libraries listed below
Sorting:
- EIP1962 implementation effort☆71Jul 2, 2024Updated last year
- Traits and utilities for working with finite fields☆18Aug 15, 2024Updated last year
- Pairing-friendly elliptic curve library☆24Aug 15, 2024Updated last year
- C++ elliptic curve library☆135Mar 6, 2023Updated 2 years ago
- Zcash "Sapling" cryptography gadgets along with additions. Uses our Ethereum compatible bellman under the hood☆15May 25, 2020Updated 5 years ago
- ☆115Aug 15, 2024Updated last year
- Security contacts and disclosure reports☆12Feb 13, 2023Updated 3 years ago
- A zkSNARK toolkit to work with circom zkp DSL in plonk proof system.☆159Jan 24, 2023Updated 3 years ago
- Kate commitment based PLONK recursive aggregation circuit☆42Dec 15, 2023Updated 2 years ago
- Elliptic Curve Implementation in Solidity☆26Feb 3, 2024Updated 2 years ago
- A curated list of awesome things related to plonk proof system☆239Aug 17, 2024Updated last year
- Rescue and Poseidon hash function implementations☆43Aug 15, 2024Updated last year
- zk-SNARK library.☆1,115Jul 15, 2024Updated last year
- Materials for Edcon 2019 webcast☆11Mar 31, 2019Updated 6 years ago
- zkSync Frontend Team workflow configuration☆14Updated this week
- Communal zk-SNARK MPC for Public Parameters☆19Nov 4, 2023Updated 2 years ago
- Elliptic curve search experiments☆35Mar 6, 2023Updated 2 years ago
- Plasma Winter - an account model Plasma with with zkSNARK proved state transitions. Started on ETH Singapore☆31Dec 21, 2018Updated 7 years ago
- ☆78Dec 10, 2019Updated 6 years ago
- Bulletproofs and Bulletproofs+ Rust implementation for Aggregated Range Proofs over multiple elliptic curves☆77Dec 16, 2022Updated 3 years ago
- A Rust library for building R1CS gadgets☆93Oct 14, 2021Updated 4 years ago
- The Halo2 zero-knowledge proving system☆884Feb 5, 2026Updated last week
- MPC implementation for a structured reference string (SRS) generation for SONIC proof system☆24Feb 3, 2019Updated 7 years ago
- ☆81Nov 17, 2020Updated 5 years ago
- ☆19May 5, 2020Updated 5 years ago
- ☆22Dec 4, 2024Updated last year
- History compaction zkSNARK circuit for Plasma Cash and Cashflow history compaction☆15Mar 20, 2019Updated 6 years ago
- BLS working standard draft☆40Aug 8, 2019Updated 6 years ago
- Convenience wrapper over Apache Milagro☆12Apr 28, 2022Updated 3 years ago
- Solidity verifier for Plonk☆42Aug 15, 2024Updated last year
- A toolkit for viable zk-SNARKS on Ethereum, Web, Mobile and Desktop☆242Oct 28, 2024Updated last year
- Multi-party computation for Zcash's "Sapling" zk-SNARK public parameters☆30Jan 22, 2023Updated 3 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
- A toolbox for zkSNARKs on Ethereum☆1,881Aug 1, 2024Updated last year
- ☆73Mar 5, 2024Updated last year
- Pairing-friendly elliptic curve library.☆352Apr 17, 2025Updated 9 months ago
- Rust implementation of Zcash multi-signautres☆14Jun 23, 2019Updated 6 years ago
- The zkEVM assembly tools☆11Aug 16, 2024Updated last year
- Implementations of proof-carrying data☆37Jun 5, 2022Updated 3 years ago