eth-act / zkevm-benchmark-workloadLinks
zkVM benchmarking for Ethereum
☆33Updated last week
Alternatives and similar repositories for zkevm-benchmark-workload
Users that are interested in zkevm-benchmark-workload are comparing it to the libraries listed below
Sorting:
- KZG commitments over BLS12-381☆36Updated 3 years ago
- client side proving☆34Updated 6 months ago
- A pqSNARK with lightweight proofs, powered by the Whir PCS.☆38Updated 3 weeks ago
- ☆36Updated last week
- Benchmarking Polynomial Commitments☆50Updated 2 years ago
- Honk Verifier in Solidity☆50Updated 11 months ago
- Benchmarks of popular zkVMs including Jolt☆61Updated last year
- Rust implementation of KZG point evaluation☆33Updated 2 months ago
- ☆50Updated last year
- Noir implementation of RSA-verify☆43Updated last year
- ☆28Updated last week
- ☆53Updated 4 months ago
- Benchmark of ZKVMs and Proving Schemes☆29Updated 4 months ago
- a hack implementation of CCS generic arithmetization, won a prize at Zuzalu hackathon 2023 despite incompleteness☆49Updated 2 years ago
- ☆41Updated 4 months ago
- Delve into low-level RISC Zero machine☆28Updated last year
- Polynomial Expression Engine☆35Updated last year
- A Solidity implementation of Halo2's Pasta curves☆49Updated 2 years ago
- A community-developed re-implementation of the Starkware Stone Prover☆69Updated 11 months ago
- Proof system backends for OpenVM.☆32Updated this week
- ☆38Updated last year
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆☆56Updated last year
- ☆28Updated 3 years ago
- barretenburg in rust (here we go)☆99Updated last year
- Compiler framework for ZK VMs☆33Updated 2 years ago
- The first CHIP-8 zkvm☆20Updated last year
- A toy Cairo VM implementation in Rust™☆73Updated 3 years ago
- Implementation of the Grumpkin curve in Rust.☆29Updated 2 years ago
- Solidity libraries and contracts for verifying WHIR proofs on the EVM.☆27Updated 9 months ago