babybear-labs / benchmark
Benchmark of ZKVMs and Proving Schemes
☆24Updated 3 weeks ago
Alternatives and similar repositories for benchmark:
Users that are interested in benchmark are comparing it to the libraries listed below
- client side proving☆28Updated last month
- Cryptographic protocols☆38Updated 2 years ago
- A library of gadgets compatible with bellpepper and bellperson (contact: @huitseeker)☆17Updated last month
- Frobenius sumcheck for vectorized boolean ops☆51Updated last week
- Mozak RISC-V Virtual Machine☆25Updated 3 weeks ago
- Client side zero-knowledge proving.☆48Updated this week
- The entry point for Rust projects to be run on Valida☆10Updated last month
- ☆50Updated last year
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- SolChip8 is the first 100% on-chain Chip8 emulator smart contract where you can run chip8 games on EVM☆32Updated 5 months ago
- RLN on KZG☆20Updated last year
- Library and gadget to do regex string matches in halo2☆35Updated 8 months ago
- Honk Verifier in Solidity☆50Updated 6 months ago
- EOF (EVM Object Format) performance benchmarks for the EVM & SP1 🏎️☆32Updated 6 months ago
- Diamond iO implementation https://eprint.iacr.org/2025/236☆45Updated this week
- Breathe air☆23Updated 11 months ago
- Extracting the semantics of Noir to Lean for formal verification☆27Updated this week
- Implementation of the Grumpkin curve in Rust.☆29Updated last year
- Rust implementation of KZG point evaluation☆33Updated last week
- Benchmarking Polynomial Commitments☆49Updated last year
- Circuits for Pluto's `web-prover`☆21Updated 2 months ago
- openzepplin smart contracts written in rust for arbritum stylus☆13Updated last year
- Axiom smart contracts☆26Updated last year
- ☆33Updated last year
- BN254 Pairing Implementation in Noir☆22Updated last year
- Enable smart contracts to perform compute over arbitrary on-chain data in a verifiable manner☆28Updated 2 months ago
- Shared peer-to-peer network of zero-knowledge provers☆16Updated 4 months ago
- Simple EVM implementation in [no_std] Rust to be used in Powdr.☆17Updated last year
- Benchmarks of popular zkVMs including Jolt☆59Updated last year