Alternatives and similar repositories for valida-releases

Users that are interested in valida-releases are comparing it to the libraries listed below

• succinctlabs / blobstreamx
  Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.
  ☆59Updated 9 months ago
• argumentcomputer / zk-light-clients
  A collection of ZK light client libraries for various blockchains
  ☆51Updated 5 months ago
• NebraZKP / upa
  UPA is the proof aggregation engine built by NEBRA team.
  ☆31Updated 3 weeks ago
• yetanotherco / zkRust
  ☆40Updated 6 months ago
• succinctlabs / sp1-blobstream
  Implementation of an SP1 program to verify Blobstream, Celestia's data availability solution for Ethereum.
  ☆22Updated last month
• zkMIPS / zkm-project-template
  ZKM Development Template/Framework
  ☆25Updated last week
• succinctlabs / sp1-tendermint-example
  An example of a ZK Tendermint light client on Ethereum powered by SP1.
  ☆28Updated 2 months ago
• succinctlabs / sp1-helios
  On-chain Ethereum light client built with SP1
  ☆49Updated this week
• scroll-tech / stateless-block-verifier
  ☆51Updated last week
• lita-xyz / rust-examples
  ☆16Updated 5 months ago
• succinctlabs / sp1-tee
  ☆18Updated last month
• 0xPolygonHermez / zkevm-proverjs
  zkEVM proof generator reference written in Javascript
  ☆81Updated this week
• 0xPolygonHermez / zisk
  ☆79Updated this week
• 0xapriori / Suave-research
  Repository for research on Suave.
  ☆23Updated last year
• vlayer-xyz / monorepo
  ☆28Updated 10 months ago
• zkemail / halo2-zk-email
  Email verification circuit in halo2
  ☆68Updated 10 months ago
• privacy-scaling-explorations / Nova
  Nova: Recursive SNARKs without trusted setup
  ☆43Updated last year
• worldfnd / ProveKit
  Client side zero-knowledge proving.
  ☆63Updated this week
• a16z / zkvm-benchmarks
  Benchmarks of popular zkVMs including Jolt
  ☆59Updated last year
• succinctlabs / sp1-contracts
  Smart contracts for onchain verification of SP1.
  ☆89Updated 2 weeks ago
• jsign / eth-stateless
  Ethereum stateless tools
  ☆46Updated last month
• 0xMiden / examples
  Examples of using Polygon Miden
  ☆20Updated 2 weeks ago
• axiom-crypto / halo2-browser
  Monorepo of tools for using the halo2 proving system in-browser using WASM.
  ☆51Updated 10 months ago
• MatteoMer / any-zkvm
  A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use
  ☆51Updated last month
• PetraProver / PetraVM
  A verifiable supercomputer
  ☆53Updated this week
• personaelabs / sapir
  ☆2Updated last year
• erhant / circom101
  Circom arithmetic circuits and concepts explained, in depth.
  ☆27Updated last month
• MachinaIO / diamond-io
  Diamond iO implementation https://eprint.iacr.org/2025/236
  ☆67Updated this week
• ethereum-optimism / asterisc
  RISC-V interactive fault proof tech
  ☆102Updated last week
• zkCert / halo2-zkcert
  Verify a chain of x509 certificates in halo2
  ☆31Updated last year