DelphinusLab/zkWasm-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

DelphinusLab/zkWasm-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/DelphinusLab/zkWasm-prover)

Close

DelphinusLab / zkWasm-proverView on GitHubMore

• External links
• Readme badge

☆20Jul 10, 2025Updated 7 months ago

Alternatives and similar repositories for zkWasm-prover

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

• DelphinusLab / halo2aggregator-s

  View on GitHub
  ☆18Oct 27, 2025Updated 4 months ago
• erhant / circom101

  View on GitHub
  Circom arithmetic circuits and concepts explained, in depth.
  ☆31May 26, 2025Updated 9 months ago
• ret2basic / ZK-by-Hand

  View on GitHub
  My talks on zk: Groth16, Plonk, and STARK
  ☆12Aug 22, 2024Updated last year
• halo2-ce / halo2

  View on GitHub
  ☆30Feb 1, 2023Updated 3 years ago
• cryptonetlab / testudo

  View on GitHub
  Testudo: Spartan + Groth16
  ☆53Feb 21, 2024Updated 2 years ago
• FranklinZty / KiloNova-poc

  View on GitHub
  A proof-of-concept implementation of KiloNova
  ☆12Oct 15, 2024Updated last year
• DelphinusLab / zkwasm-book

  View on GitHub
  ☆11Jan 1, 2025Updated last year
• Okm165 / binius-web-snark

  View on GitHub
  Binius circuits web demos
  ☆14Dec 15, 2024Updated last year
• DelphinusLab / halo2-gpu-specific

  View on GitHub
  ☆39Oct 25, 2025Updated 4 months ago
• DelphinusLab / halo2ecc-s

  View on GitHub
  A re-implemented ECC circuits with halo2.
  ☆29Nov 23, 2024Updated last year
• privacy-ethereum / sol-whir

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

  View on GitHub
  A rusty implementation of the Caulk+ lookup algorithm.
  ☆12Dec 18, 2022Updated 3 years ago
• spire-labs / litepaper

  View on GitHub
  Spire Labs' litepaper (it's pretty based bro)
  ☆16Oct 31, 2024Updated last year
• ed255 / polyexen-demo

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

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

  View on GitHub
  An implementation of Sangria
  ☆17Jun 1, 2023Updated 2 years ago
• odyssey2077 / halo2-cairo

  View on GitHub
  verify cairo execution in Halo2
  ☆15Sep 12, 2023Updated 2 years ago
• DelphinusLab / continuation-batcher

  View on GitHub
  customizable halo2 circuits batcher
  ☆31Oct 25, 2025Updated 4 months ago
• thomas-waite / zkSocialRecovery

  View on GitHub
  Novel zero-knowledge proof based social recovery of smart contract wallets
  ☆34Jan 24, 2023Updated 3 years ago
• avras / nova-sha256

  View on GitHub
  Nova-based SHA256 benchmarks
  ☆31Jun 7, 2025Updated 8 months ago
• hadasz / plonkish_basefold

  View on GitHub
  ☆38Jul 30, 2025Updated 7 months ago
• scroll-tech / revm

  View on GitHub
  Rust Ethereum virtual machine (revm) Is EVM written in rust that is focused on speed and simplicity
  ☆22Updated this week
• 0xPolygonZero / plonky2-ecdsa

  View on GitHub
  ECDSA gadgets for plonky2
  ☆19Oct 20, 2023Updated 2 years ago
• ret2basic / Groth16

  View on GitHub
  Groth16 implementation in Python. Final project of RareSkills ZK bootcamp cohort 8.
  ☆23Aug 28, 2025Updated 6 months ago
• kevaundray / plookup

  View on GitHub
  ☆41Oct 24, 2022Updated 3 years ago
• PolyhedraZK / ExpanderCompilerCollection

  View on GitHub
  Expander Compiler
  ☆42Feb 22, 2026Updated last week
• zksecurity / stark-book

  View on GitHub
  STARK book
  ☆20Sep 25, 2024Updated last year
• trifle-labs / anybody-problem

  View on GitHub
  Anybody Problem simulates the 3-body problem in two dimensions using zk proofs written in circom.
  ☆20Jun 27, 2025Updated 8 months ago
• QEDProtocol / plonky2.5

  View on GitHub
  🪩 verify plonky3 proofs in plonky2
  ☆19Mar 28, 2024Updated last year
• DoHoonKim8 / halo2-lasso

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

  View on GitHub
  Zero Knowledge Virtual Machine from scratch implementing Pinocchio
  ☆38Jul 25, 2023Updated 2 years ago
• arkworks-rs / accumulation

  View on GitHub
  Rust library for accumulation schemes
  ☆25Jan 24, 2023Updated 3 years ago
• compsec-epfl / efficient-sumcheck

  View on GitHub
  ☆49Feb 12, 2026Updated 2 weeks ago
• thor314 / ccs-hack

  View on GitHub
  a hack implementation of CCS generic arithmetization, won a prize at Zuzalu hackathon 2023 despite incompleteness
  ☆50Jul 5, 2023Updated 2 years ago
• arnaucube / fri-commitment

  View on GitHub
  FRI low-degree-testing & polynomial commitment scheme
  ☆24Mar 26, 2023Updated 2 years ago
• jeong0982 / gkr

  View on GitHub
  zero knowledge proof aggregator for general circuit
  ☆73May 20, 2024Updated last year
• matter-labs / recursive_aggregation_circuit

  View on GitHub
  Kate commitment based PLONK recursive aggregation circuit
  ☆42Dec 15, 2023Updated 2 years ago
• coset-io / baby-plonk

  View on GitHub
  Simplified educational python plonk implementation
  ☆47Jul 6, 2025Updated 7 months ago
• axiom-crypto / axiom-v1-contracts

  View on GitHub
  Axiom smart contracts
  ☆26Jul 17, 2023Updated 2 years ago