babybear-labs / benchmarkLinks
Benchmark of ZKVMs and Proving Schemes
☆29Updated 4 months ago
Alternatives and similar repositories for benchmark
Users that are interested in benchmark are comparing it to the libraries listed below
Sorting:
- A pqSNARK with lightweight proofs, powered by the Whir PCS.☆38Updated 3 weeks ago
- Frobenius sumcheck for vectorized boolean ops☆56Updated 5 months ago
- ☆28Updated last week
- Step by step implementation of FRI☆11Updated 7 months ago
- client side proving☆34Updated 6 months ago
- An observatory fork of SP1☆75Updated 7 months ago
- Circuits for Pluto's `web-prover`☆24Updated 5 months ago
- Mozak RISC-V Virtual Machine☆25Updated 6 months ago
- UPA is the proof aggregation engine built by NEBRA team.☆35Updated 5 months ago
- ☆50Updated last year
- Prototype Rust implementation of hash-based signatures. See https://eprint.iacr.org/2025/055.pdf☆35Updated 2 weeks ago
- STARK book☆20Updated last year
- An API compatible port of the Stone prover.☆19Updated 11 months ago
- Honk Verifier in Solidity☆50Updated 11 months ago
- ☆42Updated 11 months ago
- zkVM benchmarking for Ethereum☆33Updated last week
- Nova: Recursive SNARKs without trusted setup☆44Updated 2 years ago
- ☆25Updated 2 months ago
- Delve into low-level RISC Zero machine☆28Updated last year
- Extractable Witness Encryption for KZG Commitments☆29Updated 10 months ago
- Rust implementation of KZG point evaluation☆33Updated 2 months ago
- Benchmarking Polynomial Commitments☆50Updated 2 years ago
- EraVM implementation☆19Updated last year
- High performance EraVM for zkSync.☆23Updated 5 months ago
- A Cryptography and Zero Knowledge Proof Research Repo Implementing Research papers, Cryptographic primitives, trying out imaginary exploi…☆50Updated 2 months ago
- ☆12Updated 2 years ago
- A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use☆55Updated 6 months ago
- ☆41Updated 4 months ago
- Solidity libraries and contracts for verifying WHIR proofs on the EVM.☆27Updated 9 months ago
- Circom AES-GCM circuits☆33Updated 2 months ago