dusk-network / bls12_381
Implementation of the BLS12-381 pairing-friendly elliptic curve group with extra features needed by the Dusk-Network team
☆22Updated 5 months ago
Alternatives and similar repositories for bls12_381:
Users that are interested in bls12_381 are comparing it to the libraries listed below
- NodeKit SEQ is a Shared Sequencer Subnet☆18Updated last week
- Traits and utilities for working with finite fields☆17Updated 5 months ago
- Reference implementation of the node for the Polygon Miden rollup☆56Updated this week
- Rescue and Poseidon hash function implementations☆42Updated 5 months ago
- A re-implemented ECC circuits with halo2.☆27Updated last month
- AppliedZKP's zkEVM Documentation☆25Updated 6 months ago
- ☆33Updated last week
- Nova: Recursive SNARKs without trusted setup☆42Updated last year
- High performance EraVM for zkSync.☆23Updated 2 months ago
- Implementation of zero-knowledge proof circuits for Tendermint.☆78Updated 9 months ago
- ☆21Updated last year
- Core components of the Polygon Miden rollup☆75Updated this week
- revm/reth block proving on Valida☆15Updated last month
- Aggregator for the zkEVM network that uses a stateless prover.☆19Updated 3 months ago
- A framework for building modular AVS and Tangle Blueprints: https://docs.tangle.tools/developers/blueprints/introduction☆14Updated this week
- Configurable Asset Privacy☆34Updated last year
- customizable halo2 circuits batcher☆30Updated last month
- Pairing-friendly elliptic curve library☆23Updated 5 months ago
- gkr-mimc is a POC-grad gnark gadget to accelerate the proving time of Mimc computation☆22Updated 6 months ago
- ☆32Updated 9 months ago
- ☆28Updated 3 weeks ago
- 🪩 verify plonky3 proofs in plonky2☆18Updated 9 months ago
- ☆14Updated this week
- Benchmark for adding Lasso lookup argument to halo2 backend☆31Updated 10 months ago
- Solidity implementation of Nova proving system verifier☆59Updated 10 months ago
- ☆24Updated 3 weeks ago
- Circom interpreter to arithmetic circuit description☆50Updated 4 months ago
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆59Updated 5 months ago
- ZK coprocessor for verifying Beacon chain headers via Altair lightclient protocol☆59Updated 3 months ago
- ZKsync fork of the LLVM framework.☆33Updated this week