openvm-org/stark-backend 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

openvm-org/stark-backend

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/openvm-org/stark-backend)

Close

openvm-org / stark-backendView on GitHubMore

• External links
• Readme badge

Proof system backends for OpenVM.

☆40Jul 20, 2026Updated this week

Alternatives and similar repositories for stark-backend

Users that are interested in stark-backend are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• pseXperiments / cuda-sumcheck

  View on GitHub
  Experimental implementation of Sumcheck protocol using CUDA
  ☆23Nov 14, 2024Updated last year
• privacy-ethereum / sol-whir

  View on GitHub
  Solidity libraries and contracts for verifying WHIR proofs on the EVM.
  ☆33Dec 19, 2024Updated last year
• openvm-org / openvm

  View on GitHub
  A performant and modular zkVM framework built for customization and extensibility.
  ☆377Updated this week
• tcoratger / whir-p3

  View on GitHub
  ☆68Apr 1, 2026Updated 3 months ago
• morgana-proofs / GKR-MSM

  View on GitHub
  ☆14Dec 26, 2024Updated last year
• Deploy on Railway without the complexity - Free Credits Offer • Ad
  Connect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
• axiom-crypto / openvm-eth

  View on GitHub
  ☆16Updated this week
• dmpierre / plonky3-ccs

  View on GitHub
  ☆11Sep 10, 2024Updated last year
• scroll-tech / ceno

  View on GitHub
  Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol
  ☆152Updated this week
• levs57 / protostar-works

  View on GitHub
  bottom text
  ☆16Jan 26, 2024Updated 2 years ago
• chainwayxyz / risc0-to-bitvm2

  View on GitHub
  ☆20Nov 3, 2025Updated 8 months ago
• ZippelLabs / ZP1

  View on GitHub
  RISC-V prover system
  ☆56May 1, 2026Updated 2 months ago
• odyssey2077 / halo2-cairo

  View on GitHub
  verify cairo execution in Halo2
  ☆15Sep 12, 2023Updated 2 years ago
• PolyhedraZK / ExpanderCompilerCollection

  View on GitHub
  Expander Compiler
  ☆43Updated this week
• WizardOfMenlo / stir

  View on GitHub
  STIR 🥣: Reed–Solomon Proximity Testing with Fewer Queries
  ☆75Nov 6, 2025Updated 8 months ago
• Proton VPN Special Offer - Get 70% off • Ad
  Special partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
• halo2-ce / halo2

  View on GitHub
  ☆30Feb 1, 2023Updated 3 years ago
• eth-act / zkboost

  View on GitHub
  ☆17Jul 15, 2026Updated last week
• PetraProver / PetraVM

  View on GitHub
  A verifiable supercomputer
  ☆78Jun 26, 2025Updated last year
• ingonyama-zk / zkctf-2023-writeups

  View on GitHub
  Write-ups submitted by CTF participants
  ☆35Jun 1, 2023Updated 3 years ago
• matter-labs / zksync-crypto

  View on GitHub
  Cryptography libraries for ZKsync
  ☆45Jul 15, 2026Updated last week
• kevaundray / plookup

  View on GitHub
  ☆40Oct 24, 2022Updated 3 years ago
• ed255 / polyexen-demo

  View on GitHub
  Polyexen demo of Plonkish Arithmetiation Format (Plaf) on the zkevm-circuits
  ☆31Feb 16, 2024Updated 2 years ago
• brevis-network / pico

  View on GitHub
  ☆102Updated this week
• hadasz / plonkish_basefold

  View on GitHub
  ☆40Jul 30, 2025Updated 11 months ago
• Virtual machines for every use case on DigitalOcean • Ad
  Get dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
• bcc-research / Ligerito.jl

  View on GitHub
  implentation of Ligerito
  ☆19Apr 16, 2026Updated 3 months ago
• han0110 / hash-sig-agg

  View on GitHub
  ☆12Jun 5, 2025Updated last year
• a16z / vectorized-fields

  View on GitHub
  Vectorized AVX-512 256-bit arithmetic library
  ☆34Sep 28, 2024Updated last year
• kwantam / eccons

  View on GitHub
  elliptic curve construction tool
  ☆17Feb 24, 2023Updated 3 years ago
• DoHoonKim8 / stark-verifier

  View on GitHub
  ☆52Mar 7, 2024Updated 2 years ago
• powdr-labs / powdr-wasm

  View on GitHub
  ☆18Updated this week
• privacy-ethereum / chiquito

  View on GitHub
  DSL for Halo2 circuits
  ☆189Nov 4, 2024Updated last year
• 0xPolygonZero / hyperstark

  View on GitHub
  Early prototype.
  ☆23Mar 30, 2023Updated 3 years ago
• DoHoonKim8 / halo2-lasso

  View on GitHub
  Benchmark for adding Lasso lookup argument to halo2 backend
  ☆38Mar 3, 2024Updated 2 years ago
• Deploy to Railway using AI coding agents - Free Credits Offer • Ad
  Use Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
• powdr-labs / powdr

  View on GitHub
  Performance and security acceleration for zkVMs.
  ☆499Updated this week
• arnaucube / math

  View on GitHub
  Notes, code and documents done while reading books and papers.
  ☆24Updated this week
• ZippelLabs / zkVMs-Security

  View on GitHub
  zkVMs vulnerabilities
  ☆16May 4, 2026Updated 2 months ago
• powdr-labs / crush

  View on GitHub
  Compiles WebAssembly into a ZK friendly IR with infinite-registers and write-once memory.
  ☆29Jun 16, 2026Updated last month
• eth-act / zkevm-benchmark-workload

  View on GitHub
  zkVM benchmarking for Ethereum
  ☆43Updated this week
• zksecurity / stark-book

  View on GitHub
  STARK book
  ☆21Sep 25, 2024Updated last year
• compsec-epfl / efficient-sumcheck

  View on GitHub
  ☆55Jun 24, 2026Updated 3 weeks ago