noir-lang / acvmLinks
☆47Updated last year
Alternatives and similar repositories for acvm
Users that are interested in acvm are comparing it to the libraries listed below
Sorting:
- A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.☆40Updated last year
- KZG commitments over BLS12-381☆34Updated 2 years ago
- FHE in the Risc0 zkVM☆25Updated last year
- Noir implementation of RSA-verify☆43Updated last year
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- Installation tooling for Noir☆27Updated 3 weeks ago
- A toy Cairo VM implementation in Rust™☆73Updated 3 years ago
- Cairo-VM STONE STARK Verifier Rust implementation☆43Updated 4 months ago
- Circuits for Pluto's `web-prover`☆21Updated 2 months ago
- ☆50Updated last year
- Rust implementation of KZG point evaluation☆33Updated 3 weeks ago
- client side proving☆31Updated 3 months ago
- Arkworks made simple for us: the non cryptographer software plumbers☆21Updated 2 years ago
- An observatory fork of SP1☆69Updated 4 months ago
- Honk Verifier in Solidity☆50Updated 8 months ago
- Macros + Primitives for PADE format☆29Updated 3 weeks ago
- ☆38Updated last year
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆☆55Updated last year
- ☆31Updated last year
- Diamond iO implementation https://eprint.iacr.org/2025/236☆69Updated this week
- A collection of comparison-benchmarks for Nova & related Proving systems☆44Updated 2 years ago
- openzepplin smart contracts written in rust for arbritum stylus☆13Updated last year
- Minimal Yul Transpilation to the Miden VM☆53Updated 2 years ago
- BN254 Pairing Implementation in Noir☆22Updated last year
- ☆23Updated 6 months ago
- Delve into low-level RISC Zero machine☆27Updated last year
- Email verification circuit in halo2☆68Updated 11 months ago
- A collection of the Notes on the Nova folding scheme explained from scratch☆28Updated last year
- SolChip8 is the first 100% on-chain Chip8 emulator smart contract where you can run chip8 games on EVM☆32Updated 7 months ago
- Benchmarking Polynomial Commitments☆49Updated last year