Alternatives and similar repositories for zk-wasm:

Users that are interested in zk-wasm are comparing it to the libraries listed below

• Sladuca / sha256-prover-comparison
  Some very rough benchmarks between sha256 circuits in different proving systems
  ☆49Updated 2 years ago
• iosis-tech / swiftness
  Cairo-VM STONE STARK Verifier Rust implementation
  ☆39Updated last week
• vacp2p / zk-explorations
  ☆31Updated 9 months ago
• freelerobot / thaler
  ☆27Updated 2 years ago
• erhant / circom101
  Circom arithmetic circuits and concepts explained, in depth.
  ☆24Updated last month
• zkemail / jwt-tx-builder
  Use zk proofs of JWTs to authorize arbitrary transactions on chain. Soon to have scoped oauth'd session keys as well.
  ☆13Updated last month
• lambdaclass / starknet_tendermint_sequencer
  Starknet sequencer built with Tendermint Core
  ☆53Updated last year
• argumentcomputer / zk-light-clients
  A collection of ZK light client libraries for various blockchains
  ☆46Updated last month
• matter-labs / solidity_plonk_verifier
  Solidity verifier for Plonk
  ☆41Updated 5 months ago
• axiom-crypto / halo2-browser
  Monorepo of tools for using the halo2 proving system in-browser using WASM.
  ☆49Updated 7 months ago
• zkMIPS / zkm-project-template
  ZKM Development Template/Framework
  ☆23Updated 2 weeks ago
• privacy-scaling-explorations / Nova
  Nova: Recursive SNARKs without trusted setup
  ☆42Updated last year
• zkemail / halo2-zk-email
  Email verification circuit in halo2
  ☆66Updated 6 months ago
• BadBoiLabs / Cannon-rs
  Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆
  ☆52Updated last year
• succinctlabs / plonky3
  ☆23Updated last month
• topology-foundation / ts-drp
  The official TypeScript implementation of Topology Protocol
  ☆33Updated this week
• succinctlabs / sp1-tendermint-example
  An example of a ZK Tendermint light client on Ethereum powered by SP1.
  ☆26Updated this week
• han0110 / halo2-kzg-srs
  ☆33Updated last year
• 0xPolygonZero / paladin
  Bringing divine order to remote task execution.
  ☆23Updated 2 months ago
• ralexstokes / kzg
  KZG commitments over BLS12-381
  ☆34Updated 2 years ago
• Electron-Labs / electron-rs
  SDK for Zero Knowledge Proof Verification on Rust based chains
  ☆30Updated last year
• pnyda / zkjson
  JSON parser written in Lurk
  ☆29Updated last year
• succinctlabs / kzg-rs
  Rust implementation of KZG point evaluation
  ☆29Updated 2 weeks ago
• lita-xyz / valida-releases
  Public releases for the Valida toolchain
  ☆11Updated 3 weeks ago
• noir-lang / acvm
  ☆46Updated last year
• tangle-network / zero-knowledge-gadgets
  Zero-knowledge gadgets for Webb's cross-chain blockchain applications.
  ☆92Updated 2 years ago
• asn-d6 / curdleproofs
  Curdleproofs is a zero-knowledge shuffle argument
  ☆69Updated last year
• DrPeterVanNostrand / halo2-merkle
  Halo2 Merkle tree circuits
  ☆32Updated 3 years ago