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.

☆34Mar 17, 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.
  ☆29Dec 19, 2024Updated last year
• openvm-org / openvm

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

  View on GitHub
  ☆62Updated this week
• scroll-tech / ceno

  View on GitHub
  Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol
  ☆139Updated this week
• morgana-proofs / GKR-MSM

  View on GitHub
  ☆14Dec 26, 2024Updated last year
• dmpierre / plonky3-ccs

  View on GitHub
  ☆11Sep 10, 2024Updated last year
• levs57 / protostar-works

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

  View on GitHub
  ☆20Nov 3, 2025Updated 4 months ago
• odyssey2077 / halo2-cairo

  View on GitHub
  verify cairo execution in Halo2
  ☆15Sep 12, 2023Updated 2 years ago
• compsec-epfl / efficient-sumcheck

  View on GitHub
  ☆49Mar 13, 2026Updated last week
• arnaucube / math

  View on GitHub
  Notes, code and documents done while reading books and papers.
  ☆21Updated this week
• PolyhedraZK / ExpanderCompilerCollection

  View on GitHub
  Expander Compiler
  ☆42Mar 12, 2026Updated last week
• WizardOfMenlo / stir

  View on GitHub
  STIR 🥣: Reed–Solomon Proximity Testing with Fewer Queries
  ☆73Nov 6, 2025Updated 4 months ago
• halo2-ce / halo2

  View on GitHub
  ☆30Feb 1, 2023Updated 3 years ago
• brevis-network / pico

  View on GitHub
  ☆98Updated this week
• lita-xyz / valida-vm

  View on GitHub
  The Valida execution engine, prover, and verifier
  ☆28Oct 6, 2025Updated 5 months ago
• ingonyama-zk / zkctf-2023-writeups

  View on GitHub
  Write-ups submitted by CTF participants
  ☆35Jun 1, 2023Updated 2 years ago
• PetraProver / PetraVM

  View on GitHub
  A verifiable supercomputer
  ☆78Jun 26, 2025Updated 8 months ago
• kevaundray / plookup

  View on GitHub
  ☆41Oct 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
• hadasz / plonkish_basefold

  View on GitHub
  ☆39Jul 30, 2025Updated 7 months ago
• kwantam / eccons

  View on GitHub
  elliptic curve construction tool
  ☆17Feb 24, 2023Updated 3 years ago
• a16z / vectorized-fields

  View on GitHub
  Vectorized AVX-512 256-bit arithmetic library
  ☆34Sep 28, 2024Updated last year
• matter-labs / zksync-airbender

  View on GitHub
  RISC-V prover system for ZKsync OS
  ☆121Updated this week
• DoHoonKim8 / stark-verifier

  View on GitHub
  ☆51Mar 7, 2024Updated 2 years ago
• crate-crypto / rust-eth-kzg

  View on GitHub
  ☆31Oct 27, 2025Updated 4 months ago
• privacy-ethereum / chiquito

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

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

  View on GitHub
  Benchmark for adding Lasso lookup argument to halo2 backend
  ☆38Mar 3, 2024Updated 2 years ago
• han0110 / gkr

  View on GitHub
  ☆20May 31, 2024Updated last year
• jeong0982 / gkr

  View on GitHub
  zero knowledge proof aggregator for general circuit
  ☆73May 20, 2024Updated last year
• zksecurity / stark-book

  View on GitHub
  STARK book
  ☆20Sep 25, 2024Updated last year
• snarkify / sirius

  View on GitHub
  A Plonkish folding framework for Incrementally Verifiable Computation (IVC).
  ☆177Mar 24, 2025Updated 11 months ago
• IrreducibleOSS / binius

  View on GitHub
  A SNARK using towers of binary fields, implemented in Rust .
  ☆132Sep 9, 2025Updated 6 months ago
• Verified-zkEVM / ArkLib

  View on GitHub
  Formally Verified Arguments of Knowledge in Lean
  ☆179Updated this week
• b-wagn / hash-sig

  View on GitHub
  Prototype Rust implementation of hash-based signatures. See https://eprint.iacr.org/2025/055.pdf
  ☆48Dec 18, 2025Updated 3 months ago
• microsoft / Spartan2

  View on GitHub
  Spartan: High-speed zkSNARKs without trusted setup
  ☆129Feb 25, 2026Updated 3 weeks ago
• arnaucube / protogalaxy-poc

  View on GitHub
  ProtoGalaxy folding scheme PoC implementation https://eprint.iacr.org/2023/1106.pdf
  ☆41Sep 14, 2023Updated 2 years ago