babybear-labs / benchmarkLinks
Benchmark of ZKVMs and Proving Schemes
☆27Updated last month
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.☆21Updated this week
- Frobenius sumcheck for vectorized boolean ops☆54Updated 2 months ago
- In this repo we will construct a POC implementation of the MLE sumcheck end-end in a GPU☆38Updated 4 months ago
- BN254 Pairing Implementation in Noir☆22Updated last year
- client side proving☆31Updated 3 months ago
- Step by step implementation of FRI☆11Updated 4 months ago
- High performance EraVM for zkSync.☆24Updated 2 months ago
- The entry point for Rust projects to be run on Valida☆10Updated 3 months ago
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- Proof system backends for OpenVM.☆30Updated last week
- Mozak RISC-V Virtual Machine☆25Updated 3 months ago
- EraVM implementation☆19Updated 9 months ago
- ☆50Updated last year
- ☆9Updated last year
- Cryptographic protocols☆39Updated 2 years ago
- UPA is the proof aggregation engine built by NEBRA team.☆32Updated 2 months ago
- a hack implementation of CCS generic arithmetization, won a prize at Zuzalu hackathon 2023 despite incompleteness☆48Updated last year
- A collection of the Notes on the Nova folding scheme explained from scratch☆28Updated last year
- ☆40Updated 8 months ago
- Arkworks made simple for us: the non cryptographer software plumbers☆21Updated 2 years ago
- Enable smart contracts to perform compute over arbitrary on-chain data in a verifiable manner☆28Updated 4 months ago
- ☆25Updated 2 weeks ago
- ☆23Updated 2 weeks ago
- For practice to using halo2☆22Updated 2 years ago
- ☆38Updated last month
- Benchmarks of popular zkVMs including Jolt☆60Updated last year
- Solidity libraries and contracts for verifying WHIR proofs on the EVM.☆27Updated 6 months ago
- Honk Verifier in Solidity☆50Updated 8 months ago
- The first CHIP-8 zkvm☆20Updated last year
- ☆30Updated 2 years ago