babybear-labs / benchmark
Benchmark of ZKVMs and Proving Schemes
☆20Updated last month
Alternatives and similar repositories for benchmark:
Users that are interested in benchmark are comparing it to the libraries listed below
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- ZKM Development Template/Framework☆23Updated this week
- Mozak RISC-V Virtual Machine☆23Updated this week
- ☆19Updated 3 months ago
- A library of gadgets compatible with bellpepper and bellperson (contact: @huitseeker)☆17Updated 2 weeks ago
- Frobenius sumcheck for vectorized boolean ops☆45Updated 4 months ago
- Extracting the semantics of Noir to Lean for formal verification☆19Updated this week
- ☆12Updated last year
- A cutting edge zkWASM based on Nova-NIVC type folding techniques☆21Updated this week
- Implementation of the Grumpkin curve in Rust.☆29Updated last year
- A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.☆38Updated last year
- Shared peer-to-peer network of zero-knowledge provers☆16Updated last month
- The entry point for Rust projects to be run on Valida☆10Updated last month
- EOF (EVM Object Format) performance benchmarks for the EVM & SP1 🏎️☆30Updated 3 months ago
- High-performance Multi-scalar Multiplication for Pasta curves☆22Updated last year
- Extractable Witness Encryption for KZG Commitments☆28Updated last month
- Arkworks made simple for us: the non cryptographer software plumbers☆21Updated last year
- ☆33Updated last year
- ☆28Updated 3 years ago
- Client side zero-knowledge proving.☆32Updated last month
- https://eprint.iacr.org/2020/1516.pdf☆19Updated 2 years ago
- Cryptography libraries for ZKsync☆26Updated this week
- Circuits for Pluto's `web-prover`☆13Updated this week
- zkSNARK circuits for the Telepathy protocol☆51Updated last year
- An API compatible port of the Stone prover.☆19Updated 2 months ago
- ☆17Updated this week
- ☆23Updated 3 weeks ago
- ☆46Updated last year
- Macros + Primitives for PADE format☆29Updated last week