scroll-tech/zkvm-prover 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

scroll-tech/zkvm-prover

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/scroll-tech/zkvm-prover)

Close

scroll-tech / zkvm-proverView on GitHubMore

• External links
• Readme badge

Guest programs and prover SDK for Scroll's zero-knowledge rollup proof generation architecture

☆29Updated this week

Alternatives and similar repositories for zkvm-prover

Users that are interested in zkvm-prover are comparing it to the libraries listed below

• Janmajayamall / tfhe-research

  View on GitHub
  ☆13Nov 10, 2023Updated 2 years ago
• lita-xyz / reth-valida

  View on GitHub
  revm/reth block proving on Valida
  ☆15Feb 11, 2025Updated last year
• zkmove / halo2-verifier.move

  View on GitHub
  A set of tooling of halo2 circuits verification in Move environments
  ☆16Feb 14, 2026Updated 2 weeks ago
• hadasz / plonkish_basefold

  View on GitHub
  ☆38Jul 30, 2025Updated 7 months ago
• EDGDrummond / EF-grant

  View on GitHub
  ☆22Nov 1, 2023Updated 2 years ago
• pseXperiments / cuda-sumcheck

  View on GitHub
  Experimental implementation of Sumcheck protocol using CUDA
  ☆23Nov 14, 2024Updated last year
• distributed-lab / noir-semaphore

  View on GitHub
  Semaphore Protocol with Noir.
  ☆11Mar 14, 2025Updated 11 months ago
• shuklaayush / halo2-lib-eddsa

  View on GitHub
  halo2-lib-eddsa
  ☆11Feb 2, 2024Updated 2 years ago
• privacy-ethereum / sol-whir

  View on GitHub
  Solidity libraries and contracts for verifying WHIR proofs on the EVM.
  ☆28Dec 19, 2024Updated last year
• ZKNoxHQ / NTT

  View on GitHub
  Generic implementation of the Number Theoretic Transform in the context of cryptography applications
  ☆14Aug 13, 2025Updated 6 months ago
• FeanorTheElf / fheanor

  View on GitHub
  A modular library for designing and optimising homomorphic encryption schemes
  ☆24Feb 6, 2026Updated 3 weeks ago
• sragss / gpu-sumcheck

  View on GitHub
  ☆12Sep 11, 2024Updated last year
• GaloisInc / zkLean

  View on GitHub
  zkLean is a domain specific language (DSL) in Lean for specifying zero-knowledge statements
  ☆21Feb 18, 2026Updated last week
• ingonyama-zk / icicle-snark

  View on GitHub
  Groth16 over ICICLE
  ☆44Jul 16, 2025Updated 7 months ago
• lattirust / lattirust

  View on GitHub
  ☆67May 13, 2025Updated 9 months ago
• lita-xyz / reva

  View on GitHub
  A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.
  ☆13Jul 2, 2025Updated 8 months ago
• geometryxyz / halo2-cq

  View on GitHub
  ☆14Oct 27, 2023Updated 2 years ago
• nooma-42 / pylookup

  View on GitHub
  Educational Version of Lookup Argument
  ☆12Apr 10, 2025Updated 10 months ago
• pluto / circom-correctly-constrained

  View on GitHub
  a reference on testing and constraining circom
  ☆21Oct 2, 2024Updated last year
• quantstamp / halo2-analyzer

  View on GitHub
  SMT 2023 Submission; license pending
  ☆57Jan 28, 2026Updated last month
• succinctlabs / riscv-emulator-challenge

  View on GitHub
  ☆31May 21, 2025Updated 9 months ago
• bcc-research / CryptoUtilitiesNotebooks

  View on GitHub
  Notebooks showing how to use CryptoUtilities
  ☆14Apr 17, 2025Updated 10 months ago
• HerodotusDev / hdp-sp1

  View on GitHub
  Herodotus Data Processor using SP1 as backend
  ☆17Jan 27, 2026Updated last month
• ora-io / zkWasm

  View on GitHub
  partnership with DelphinusLab targeting on trustless offchain monitor.
  ☆14Jan 26, 2024Updated 2 years ago
• 0x3327 / SKProof

  View on GitHub
  Scikit-learn compatible Python library for generating ZK proofs of execution
  ☆19Feb 19, 2025Updated last year
• danilowhk / swiftness-sp1

  View on GitHub
  Verifying Cairo Programs in SP1
  ☆14Oct 16, 2024Updated last year
• adria0 / plonk-by-fingers

  View on GitHub
  Implementation of Plonk by Hand in rust
  ☆62Feb 28, 2024Updated 2 years ago
• dmpierre / ark-superspartan

  View on GitHub
  An arkworks implementation of the superspartan PIOP
  ☆13Sep 10, 2024Updated last year
• init4tech / builder

  View on GitHub
  🏗️ The Signet Block Builder 🧱
  ☆23Feb 20, 2026Updated last week
• PayneJoe / PNova

  View on GitHub
  Plonkish Nova implementation along with advanced features
  ☆16Dec 16, 2023Updated 2 years ago
• zk-bankai / soulforge

  View on GitHub
  ☆18Jul 16, 2025Updated 7 months ago
• zkFHE / ringSNARK

  View on GitHub
  An implementation of the Rinocchio protocol (SNARK for Ring Arithmetic) over SEAL FHE ring elements
  ☆39Dec 4, 2023Updated 2 years ago
• scroll-tech / ceno

  View on GitHub
  Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol
  ☆135Feb 13, 2026Updated 2 weeks ago
• WizardOfMenlo / stir

  View on GitHub
  STIR 🥣: Reed–Solomon Proximity Testing with Fewer Queries
  ☆72Nov 6, 2025Updated 3 months ago
• privacy-ethereum / zkvm-ideas

  View on GitHub
  A collection of the Vietnam Spring ZK Residency effort of the ZKWasm team
  ☆36Apr 6, 2023Updated 2 years ago
• zksecurity / pumice

  View on GitHub
  An API compatible port of the Stone prover.
  ☆19Nov 4, 2024Updated last year
• hashcloak / plonky2-merkle-trees

  View on GitHub
  ☆16Jan 5, 2024Updated 2 years ago
• lattice-based-zkSNARKs / lattice-zksnark

  View on GitHub
  lattice-based zkSNARKs over libsnark [ISW21]
  ☆36Oct 18, 2024Updated last year
• DoHoonKim8 / halo2-lasso

  View on GitHub
  Benchmark for adding Lasso lookup argument to halo2 backend
  ☆37Mar 3, 2024Updated last year