Layr-Labs / rust-kzg-bn254Links
☆14Updated this week
Alternatives and similar repositories for rust-kzg-bn254
Users that are interested in rust-kzg-bn254 are comparing it to the libraries listed below
Sorting:
- ☆50Updated last year
- Circuits for Pluto's `web-prover`☆22Updated 3 months ago
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- Rescue and Poseidon hash function implementations☆43Updated 11 months ago
- Pessimistic proof for the AggLayer.☆26Updated last year
- revm/reth block proving on Valida☆16Updated 5 months ago
- The repository for high quality Trusted setups for groth16 based SNARKS☆22Updated 2 weeks ago
- A collection of comparison-benchmarks for Nova & related Proving systems☆44Updated 2 years ago
- ☆25Updated 2 weeks ago
- The Ultimate ZK Proving Software Suite for Securing OP Rollups☆48Updated this week
- ☆40Updated 2 months ago
- Polynomial Expression Engine☆35Updated last year
- plonky2 implementation of bn254 pairing☆18Updated last year
- Cryptographic protocols☆39Updated 2 years ago
- ☆33Updated last year
- ☆42Updated last year
- customizable halo2 circuits batcher☆31Updated 2 weeks ago
- RLN on KZG☆20Updated last year
- Implementation of Plonk by Hand in rust☆62Updated last year
- Implementation of Nova using arkworks for learning purposes. https://eprint.iacr.org/2021/370.pdf☆45Updated 2 years ago
- Prototype Rust implementation of hash-based signatures. See https://eprint.iacr.org/2025/055.pdf☆29Updated this week
- Benchmarks of popular zkVMs including Jolt☆61Updated last year
- A Noir's backend implementation using Gnark☆35Updated last year
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- A monorepo of reusable Circom circuits.☆26Updated last month
- ☆40Updated 2 years ago
- A collection of the Vietnam Spring ZK Residency effort of the ZKWasm team☆36Updated 2 years ago
- OS for next iteration of the world computer☆43Updated last year
- ZKM Development Template/Framework☆25Updated last month
- STARK book☆20Updated 10 months ago