A STARK-based ZKVM which aims to Programmable Scalability, Programmable Privacy
☆163Feb 12, 2025Updated last year
Alternatives and similar repositories for olavm
Users that are interested in olavm are comparing it to the libraries listed below
Sorting:
- Ola is a provable language for writing smart contracts☆47Jul 14, 2024Updated last year
- workshop☆15May 5, 2023Updated 2 years ago
- Ola whitepaper version-2☆17Jun 20, 2023Updated 2 years ago
- A light bitcoin library with no_std support.☆15Mar 12, 2025Updated 11 months ago
- Efficient Multi-Party computation toolkit in Rust☆23Sep 25, 2023Updated 2 years ago
- ☆16Mar 8, 2024Updated last year
- ☆21Feb 10, 2026Updated 3 weeks ago
- The schelling point for ZK applications.☆144May 2, 2024Updated last year
- ☆17Dec 6, 2024Updated last year
- Created for Web3 builders☆32Mar 20, 2023Updated 2 years ago
- ☆539Feb 10, 2026Updated 3 weeks ago
- Archived. See https://github.com/AztecProtocol/aztec-packages/tree/master/barretenberg☆194Feb 25, 2026Updated last week
- Triton is a virtual machine that comes with Algebraic Execution Tables (AET) and Arithmetic Intermediate Representations (AIR) for use in…☆272Updated this week
- Cryptographic primitives used in Polygon Miden rollup☆132Feb 25, 2026Updated last week
- Mirror of Quilibrium git repo: monorepo, subfolder: bedlam☆25Feb 14, 2024Updated 2 years ago
- Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)☆161Jan 11, 2025Updated last year
- Implementation of Nova using arkworks for learning purposes. https://eprint.iacr.org/2021/370.pdf☆45May 31, 2023Updated 2 years ago
- ☆12Nov 7, 2023Updated 2 years ago
- ☆155Feb 26, 2024Updated 2 years ago
- A STARK-based VM focused on code reuse, performance, and modularity☆342Jul 31, 2025Updated 7 months ago
- Experimental folding schemes library☆262Feb 23, 2026Updated last week
- comparing the performance of different zero-knowledge proof libraries☆134Oct 15, 2023Updated 2 years ago
- ☆854Jul 1, 2025Updated 8 months ago
- ☆13Feb 5, 2024Updated 2 years ago
- ☆115Jan 8, 2026Updated last month
- A library for fast NTTs over the Goldilocks prime field☆80Sep 25, 2024Updated last year
- List of halo2-related resources☆203Jan 30, 2025Updated last year
- Cairo-VM STONE STARK Verifier Rust implementation☆43Feb 4, 2025Updated last year
- Core components of the Miden protocol☆112Updated this week
- DSL for Halo2 circuits☆188Nov 4, 2024Updated last year
- Prove multi-opens of EIP-4844 KZG blobs☆16Jun 15, 2023Updated 2 years ago
- SNARK Circuit library inspired by bellman/bellperson (contact: @porcuquine)☆78Jan 27, 2025Updated last year
- An API compatible port of the Stone prover.☆19Nov 4, 2024Updated last year
- A toolkit for polynomial IOPs (PIOPs)☆751Updated this week
- A curated list of zero-knowledge folding schemes☆308Aug 6, 2024Updated last year
- A tool for single Ethereum archival block state proofs.☆35Oct 19, 2023Updated 2 years ago
- ☆37Mar 24, 2025Updated 11 months ago
- Aspect examples, create a pull request for your brilliant ideas!☆40Aug 26, 2024Updated last year
- STARK-based virtual machine☆729Updated this week