A STARK-based ZKVM which aims to Programmable Scalability, Programmable Privacy
☆164Feb 12, 2025Updated last year
Alternatives and similar repositories for olavm
Users that are interested in olavm are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Ola is a provable language for writing smart contracts☆48Jul 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 last year
- Efficient Multi-Party computation toolkit in Rust☆23Sep 25, 2023Updated 2 years ago
- ☆16Mar 8, 2024Updated 2 years ago
- ☆21Feb 10, 2026Updated last month
- ☆17Dec 6, 2024Updated last year
- Created for Web3 builders☆32Mar 20, 2023Updated 3 years ago
- Mirror of Quilibrium git repo: monorepo, subfolder: bedlam☆25Feb 14, 2024Updated 2 years ago
- ☆12Nov 7, 2023Updated 2 years ago
- ☆13Feb 5, 2024Updated 2 years ago
- The schelling point for ZK applications.☆144May 2, 2024Updated last year
- ☆115Jan 8, 2026Updated 2 months ago
- ☆37Mar 24, 2025Updated last year
- BEVM early white paper, the architecture has been upgraded to Super Bitcoin☆40Jan 16, 2025Updated last year
- Aspect examples, create a pull request for your brilliant ideas!☆40Aug 26, 2024Updated last year
- Archived. See https://github.com/AztecProtocol/aztec-packages/tree/master/barretenberg☆194Feb 25, 2026Updated 3 weeks ago
- ☆44Jun 25, 2025Updated 8 months ago
- Cryptographic primitives used in Polygon Miden rollup☆131Updated this week
- A local developer environment for building your cross-chain dapps.☆50Nov 5, 2025Updated 4 months ago
- Chainlink functions template so customers can send data on chain using Space and Time.☆41May 29, 2024Updated last year
- ☆104Updated this week
- ☆540Feb 10, 2026Updated last month
- Triton is a virtual machine that comes with Algebraic Execution Tables (AET) and Arithmetic Intermediate Representations (AIR) for use in…☆272Mar 6, 2026Updated 2 weeks ago
- NodeKit SEQ is a Shared Sequencer Subnet☆20Mar 4, 2025Updated last year
- Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)☆161Jan 11, 2025Updated last year
- ☆856Jul 1, 2025Updated 8 months ago
- ☆14Oct 27, 2023Updated 2 years ago
- Implementation of Nova using arkworks for learning purposes. https://eprint.iacr.org/2021/370.pdf☆45May 31, 2023Updated 2 years ago
- comparing the performance of different zero-knowledge proof libraries☆134Oct 15, 2023Updated 2 years ago
- Resources & Documentation for Axelar Network☆67Feb 24, 2026Updated last month
- ☆54Feb 25, 2026Updated 3 weeks ago
- Compiler from Rust to Miden Assembly☆103Updated this week
- GEB: Building A Reality-Perceiving Complex Adaptive System (CAS).☆90Dec 22, 2025Updated 3 months ago
- Core components of the Miden protocol☆111Updated this week
- A curated list of zero-knowledge folding schemes☆308Aug 6, 2024Updated last year
- A library for fast NTTs over the Goldilocks prime field☆80Sep 25, 2024Updated last year
- A STARK-based VM focused on code reuse, performance, and modularity☆342Jul 31, 2025Updated 7 months ago