Alternatives and similar repositories for zk-wasm

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

• noir-lang / acvm
  ☆47Updated last year
• succinctlabs / plonky3
  ☆23Updated 6 months ago
• pnyda / zkjson
  JSON parser written in Lurk
  ☆29Updated 2 years ago
• erhant / circom101
  Circom arithmetic circuits and concepts explained, in depth.
  ☆28Updated last month
• freelerobot / thaler
  ☆27Updated 3 years ago
• succinctlabs / sp1-tendermint-example
  An example of a ZK Tendermint light client on Ethereum powered by SP1.
  ☆27Updated last month
• zkmopro / gpu-acceleration
  Explorations on mobile-first GPU acceleration, currently support MSM.
  ☆20Updated this week
• zkemail / halo2-zk-email
  Email verification circuit in halo2
  ☆67Updated last year
• privacy-scaling-explorations / summon
  A language for building boolean circuits based on TypeScript
  ☆34Updated last week
• agglayer / pessimistic-proof
  Pessimistic proof for the AggLayer.
  ☆26Updated last year
• iden3 / circom-witnesscalc
  ☆15Updated this week
• risc0 / battleship-example
  A battleship game using ZKPs
  ☆43Updated last year
• Pi-Squared-Inc / proof-checker-public
  ☆20Updated last year
• 0xPolygonZero / paladin
  Bringing divine order to remote task execution.
  ☆27Updated 7 months ago
• andrewmilson / ecfft
  Elliptic Curve Fast Fourier Transform built on @arkworks-rs
  ☆67Updated 2 years ago
• tangle-network / zero-knowledge-gadgets
  Zero-knowledge gadgets for Webb's cross-chain blockchain applications.
  ☆93Updated 2 years ago
• axiom-crypto / halo2-browser
  Monorepo of tools for using the halo2 proving system in-browser using WASM.
  ☆51Updated last year
• interep-project / reputation-service
  🚀 Interep back-end and front-end.
  ☆35Updated 2 years ago
• succinctlabs / sp1-helios
  On-chain Ethereum light client built with SP1
  ☆60Updated 2 weeks ago
• Sladuca / sha256-prover-comparison
  Some very rough benchmarks between sha256 circuits in different proving systems
  ☆52Updated 2 years ago
• Lagrange-Labs / reckle-trees
  ☆30Updated last year
• asn-d6 / curdleproofs
  Curdleproofs is a zero-knowledge shuffle argument
  ☆69Updated last year
• AstarNetwork / plonk
  ☆17Updated 3 years ago
• argumentcomputer / sphinx
  An observatory fork of SP1
  ☆71Updated 5 months ago
• PetraProver / PetraVM
  A verifiable supercomputer
  ☆73Updated 3 weeks ago
• hashcloak / fhe_risc0_zkvm
  FHE in the Risc0 zkVM
  ☆25Updated last year
• iosis-tech / zetina
  Shared peer-to-peer network of zero-knowledge provers
  ☆16Updated 7 months ago
• Sovereign-Labs / nmt-rs
  An implementation of a namespaced merkle tree in Rust.
  ☆31Updated last month
• zksecurity / pumice
  An API compatible port of the Stone prover.
  ☆19Updated 8 months ago
• lurk-lang / arecibo
  An advanced fork of Nova (contact:@huitseeker)
  ☆85Updated 4 months ago