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 8 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
• DelphinusLab / halo2ecc-s

  View on GitHub
  A re-implemented ECC circuits with halo2.
  ☆29Nov 23, 2024Updated last year
• DelphinusLab / zkwasm-book

  View on GitHub
  ☆11Jan 1, 2025Updated last year
• halo2-ce / halo2

  View on GitHub
  ☆30Feb 1, 2023Updated 3 years ago
• DelphinusLab / halo2-gpu-specific

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

  View on GitHub
  rust sdk for zkWasm
  ☆11Feb 11, 2026Updated last month
• cryptonetlab / testudo

  View on GitHub
  Testudo: Spartan + Groth16
  ☆53Feb 21, 2024Updated 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
  ☆32Oct 25, 2025Updated 4 months ago
• WalletConnect / solana-wallet

  View on GitHub
  ☆11Nov 3, 2022Updated 3 years ago
• WalletConnect / association

  View on GitHub
  WalletConnect Association (Verein) in Zug, Switzerland
  ☆12Aug 28, 2019Updated 6 years ago
• scroll-tech / revm

  View on GitHub
  Rust Ethereum virtual machine (revm) Is EVM written in rust that is focused on speed and simplicity
  ☆22Feb 26, 2026Updated 3 weeks ago
• erhant / circom101

  View on GitHub
  Circom arithmetic circuits and concepts explained, in depth.
  ☆31May 26, 2025Updated 9 months ago
• artela-network / artela-rollkit

  View on GitHub
  ☆13Dec 10, 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
• CPerezz / caulk_plus

  View on GitHub
  A rusty implementation of the Caulk+ lookup algorithm.
  ☆12Dec 18, 2022Updated 3 years ago
• artela-network / artela-cosmos-sdk

  View on GitHub
  artela-comos-sdk is a mirror of cosmos/cosmos-sdk
  ☆10Updated this week
• WalletConnect / Community

  View on GitHub
  A place to store public documents related to our community
  ☆10Aug 16, 2023Updated 2 years ago
• ret2basic / ZK-by-Hand

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

  View on GitHub
  Files that support Cloud's Ethereum login
  ☆10Aug 28, 2023Updated 2 years ago
• geometryxyz / sangria_impl

  View on GitHub
  An implementation of Sangria
  ☆17Jun 1, 2023Updated 2 years ago
• dmpierre / ark-superspartan

  View on GitHub
  An arkworks implementation of the superspartan PIOP
  ☆13Sep 10, 2024Updated last year
• WalletConnect / web3inbox-client

  View on GitHub
  ☆12May 13, 2024Updated last year
• WalletConnect / actions

  View on GitHub
  WalletConnect GitHub Actions
  ☆17Mar 9, 2026Updated last week
• DoHoonKim8 / halo2-lasso

  View on GitHub
  Benchmark for adding Lasso lookup argument to halo2 backend
  ☆38Mar 3, 2024Updated 2 years ago
• DelphinusLab / zkWasm-host-circuits

  View on GitHub
  ☆25Jan 29, 2026Updated last month
• Okm165 / binius-web-snark

  View on GitHub
  Binius circuits web demos
  ☆14Dec 15, 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
• WalletConnect / py-walletconnect-push

  View on GitHub
  Reference Push Server implementation in Python3 for WalletConnect
  ☆14Jan 29, 2019Updated 7 years ago
• WalletConnect / cast-server

  View on GitHub
  ☆15Nov 14, 2023Updated 2 years ago
• scroll-tech / snark-verifier

  View on GitHub
  ☆26Nov 10, 2024Updated last year
• DelphinusLab / zkwasm-mini-rollup

  View on GitHub
  A Minimised REST service framework coded in WASM (RUST) and the full service runs in the ZKWASM
  ☆18Dec 24, 2025Updated 2 months ago
• WalletConnect / KotlinCodingChallenge

  View on GitHub
  ☆10Feb 16, 2023Updated 3 years ago
• WalletConnect / node-walletconnect-push

  View on GitHub
  [Deprecated] Moved to walletconnect-monorepo
  ☆18Apr 28, 2021Updated 4 years ago
• WalletConnect / cosmos-wallet

  View on GitHub
  Configurable Wallet for Cosmos SDK Chains
  ☆26Jul 19, 2023Updated 2 years 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
• scroll-tech / gobuild

  View on GitHub
  A build-time dependency for linking go code into Rust.
  ☆14Nov 28, 2023Updated 2 years ago
• WalletConnect / wallet-connect-kotlin

  View on GitHub
  ☆15Feb 3, 2021Updated 5 years ago
• WalletConnect / auth-client-js

  View on GitHub
  ☆15Dec 13, 2023Updated 2 years ago