Alternatives and similar repositories for zk-wasm

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

• pnyda / zkjson
  JSON parser written in Lurk
  ☆29Updated 2 years ago
• axiom-crypto / halo2-browser
  Monorepo of tools for using the halo2 proving system in-browser using WASM.
  ☆51Updated last year
• emmaguo13 / zk-blind
  JWT verification with zero knowledge proofs
  ☆50Updated last year
• privacy-scaling-explorations / summon
  A language for building boolean circuits based on TypeScript
  ☆33Updated 2 weeks ago
• 0xPolygonZero / paladin
  Bringing divine order to remote task execution.
  ☆25Updated 7 months ago
• asn-d6 / curdleproofs
  Curdleproofs is a zero-knowledge shuffle argument
  ☆69Updated last year
• KogarashiNetwork / Kogarashi
  凩: A Next-Generation Composable Hybrid Smart Contract and (De)Centralized Merged Application Platform
  ☆27Updated last year
• freelerobot / thaler
  ☆27Updated 3 years ago
• jules / supernova
  Experimental implementation of the SuperNova protocol. https://eprint.iacr.org/2022/1758
  ☆120Updated 2 years ago
• tangle-network / zk-SaaS
  zkSNARKs as a service using secure multi-party computation.
  ☆30Updated last year
• privacy-scaling-explorations / Nova
  Nova: Recursive SNARKs without trusted setup
  ☆43Updated last year
• cursive-team / stuff-with-signatures
  Types of information in the world that are digitally signed, along with projects that use zk proofs over these signatures
  ☆27Updated last year
• zkMIPS / zkm-project-template
  ZKM Development Template/Framework
  ☆25Updated last month
• tangle-network / zero-knowledge-gadgets
  Zero-knowledge gadgets for Webb's cross-chain blockchain applications.
  ☆93Updated 2 years ago
• argumentcomputer / zk-light-clients
  A collection of ZK light client libraries for various blockchains
  ☆51Updated 6 months ago
• zkemail / halo2-zk-email
  Email verification circuit in halo2
  ☆68Updated 11 months ago
• privacy-scaling-explorations / mpc-framework
  Create MPC apps with TypeScript.
  ☆48Updated last month
• fabrizio-m / TyPLONK
  Rust PLONK implementation
  ☆38Updated 9 months ago
• vacp2p / zk-explorations
  ☆31Updated last year
• paulmillr / micro-zk-proofs
  Create & verify zero-knowledge SNARK proofs in parallel, using noble cryptography
  ☆51Updated last month
• worldfnd / ProveKit
  Client side zero-knowledge proving.
  ☆74Updated this week
• AstarNetwork / plonk
  ☆17Updated 3 years ago
• arkworks-rs / spartan
  Spartan on Arkworks
  ☆42Updated 6 months ago
• zkemail / zk-jwt
  Use zk proofs of JWTs to authorize arbitrary transactions on chain. Soon to have scoped oauth'd session keys as well.
  ☆20Updated 6 months ago
• erhant / circom101
  Circom arithmetic circuits and concepts explained, in depth.
  ☆28Updated last month
• agglayer / pessimistic-proof
  Pessimistic proof for the AggLayer.
  ☆26Updated last year
• stateless-consensus / phant
  A stateless Ethereum execution client
  ☆30Updated 4 months ago
• zkMIPS / zkm-prover
  A parallel proving service for ZKM.
  ☆21Updated last week
• iden3 / rapidsnark
  rapidsnark is a fast zkSNARK prover written in C++, that generates proofs for circuits created with circom and snarkjs.
  ☆71Updated this week
• PetraProver / PetraVM
  A verifiable supercomputer
  ☆69Updated last week