Sin7Y/olavm external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

Sin7Y/olavm

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/Sin7Y/olavm)

Close

Sin7Y / olavmView on GitHubMore

• External links
• Readme badge

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

• Sin7Y / ola-lang

  View on GitHub
  Ola is a provable language for writing smart contracts
  ☆47Jul 14, 2024Updated last year
• Sin7Y / olavm-workshop

  View on GitHub
  workshop
  ☆15May 5, 2023Updated 2 years ago
• Sin7Y / olavm-whitepaper-v2

  View on GitHub
  Ola whitepaper version-2
  ☆17Jun 20, 2023Updated 2 years ago
• GEBcore / light-bitcoin

  View on GitHub
  A light bitcoin library with no_std support.
  ☆15Mar 12, 2025Updated 11 months ago
• primus-labs / emp-rust

  View on GitHub
  Efficient Multi-Party computation toolkit in Rust
  ☆23Sep 25, 2023Updated 2 years ago
• warden-protocol / chain-registry

  View on GitHub
  ☆16Mar 8, 2024Updated last year
• warden-protocol / networks

  View on GitHub
  ☆21Feb 10, 2026Updated 3 weeks ago
• succinctlabs / succinctx

  View on GitHub
  The schelling point for ZK applications.
  ☆144May 2, 2024Updated last year
• warden-protocol / snapshots

  View on GitHub
  ☆17Dec 6, 2024Updated last year
• primus-labs / awesome-izk

  View on GitHub
  Created for Web3 builders
  ☆32Mar 20, 2023Updated 2 years ago
• DelphinusLab / zkWasm

  View on GitHub
  ☆539Feb 10, 2026Updated 3 weeks ago
• AztecProtocol / barretenberg

  View on GitHub
  Archived. See https://github.com/AztecProtocol/aztec-packages/tree/master/barretenberg
  ☆194Feb 25, 2026Updated last week
• TritonVM / triton-vm

  View on GitHub
  Triton is a virtual machine that comes with Algebraic Execution Tables (AET) and Arithmetic Intermediate Representations (AIR) for use in…
  ☆272Updated this week
• 0xMiden / crypto

  View on GitHub
  Cryptographic primitives used in Polygon Miden rollup
  ☆132Feb 25, 2026Updated last week
• QuilibriumNetwork / bedlam

  View on GitHub
  Mirror of Quilibrium git repo: monorepo, subfolder: bedlam
  ☆25Feb 14, 2024Updated 2 years ago
• andrewmilson / sandstorm

  View on GitHub
  Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)
  ☆161Jan 11, 2025Updated last year
• arnaucube / nova-study

  View on GitHub
  Implementation of Nova using arkworks for learning purposes. https://eprint.iacr.org/2021/370.pdf
  ☆45May 31, 2023Updated 2 years ago
• warden-protocol / blackbird

  View on GitHub
  ☆12Nov 7, 2023Updated 2 years ago
• privacy-ethereum / snark-verifier

  View on GitHub
  ☆155Feb 26, 2024Updated 2 years ago
• valida-xyz / valida

  View on GitHub
  A STARK-based VM focused on code reuse, performance, and modularity
  ☆342Jul 31, 2025Updated 7 months ago
• privacy-ethereum / sonobe

  View on GitHub
  Experimental folding schemes library
  ☆262Feb 23, 2026Updated last week
• delendum-xyz / zk-benchmarking

  View on GitHub
  comparing the performance of different zero-knowledge proof libraries
  ☆134Oct 15, 2023Updated 2 years ago
• 0xPolygonZero / plonky2

  View on GitHub
  ☆854Jul 1, 2025Updated 8 months ago
• warden-protocol / price-timestamping

  View on GitHub
  ☆13Feb 5, 2024Updated 2 years ago
• Layr-Labs / eigenlayer-middleware

  View on GitHub
  ☆115Jan 8, 2026Updated last month
• recmo / goldilocks

  View on GitHub
  A library for fast NTTs over the Goldilocks prime field
  ☆80Sep 25, 2024Updated last year
• adria0 / awesome-halo2

  View on GitHub
  List of halo2-related resources
  ☆203Jan 30, 2025Updated last year
• iosis-tech / swiftness

  View on GitHub
  Cairo-VM STONE STARK Verifier Rust implementation
  ☆43Feb 4, 2025Updated last year
• 0xMiden / protocol

  View on GitHub
  Core components of the Miden protocol
  ☆112Updated this week
• privacy-ethereum / chiquito

  View on GitHub
  DSL for Halo2 circuits
  ☆188Nov 4, 2024Updated last year
• lyronctk / kzg-blob

  View on GitHub
  Prove multi-opens of EIP-4844 KZG blobs
  ☆16Jun 15, 2023Updated 2 years ago
• lurk-lang / bellpepper

  View on GitHub
  SNARK Circuit library inspired by bellman/bellperson (contact: @porcuquine)
  ☆78Jan 27, 2025Updated last year
• zksecurity / pumice

  View on GitHub
  An API compatible port of the Stone prover.
  ☆19Nov 4, 2024Updated last year
• Plonky3 / Plonky3

  View on GitHub
  A toolkit for polynomial IOPs (PIOPs)
  ☆751Updated this week
• lurk-lab / awesome-folding

  View on GitHub
  A curated list of zero-knowledge folding schemes
  ☆308Aug 6, 2024Updated last year
• perama-v / archors

  View on GitHub
  A tool for single Ethereum archival block state proofs.
  ☆35Oct 19, 2023Updated 2 years ago
• Eclipse-Laboratories-Inc / program-registry

  View on GitHub
  ☆37Mar 24, 2025Updated 11 months ago
• artela-network / example

  View on GitHub
  Aspect examples, create a pull request for your brilliant ideas!
  ☆40Aug 26, 2024Updated last year
• 0xMiden / miden-vm

  View on GitHub
  STARK-based virtual machine
  ☆729Updated this week