Alternatives and similar repositories for zkWasm

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

• han0110 / halo2-kzg-srs
  ☆33Updated last year
• SoraSuegami / voice_recovery_circuit
  A circuit to verify the voice recovery process.
  ☆49Updated 2 years ago
• zkemail / halo2-zk-email
  Email verification circuit in halo2
  ☆68Updated last year
• dmpierre / sonobe-btc
  Using folding schemes for a provable bitcoin light client
  ☆34Updated last year
• Ethan-000 / halo2_backend
  ☆38Updated last year
• BattleZips / battlezip-frontend
  Frontend implementation of BattleZips
  ☆13Updated 2 years ago
• ora-io / zkgraph
  Template for zkGraph.
  ☆19Updated last year
• succinctlabs / telepathy-circuits
  zkSNARK circuits for the Telepathy protocol
  ☆53Updated 2 years ago
• BattleZips / BattleZips-Noir
  Noir implementation of BattleZips circuits
  ☆27Updated 2 years ago
• privacy-ethereum / zkvm-ideas
  A collection of the Vietnam Spring ZK Residency effort of the ZKWasm team
  ☆36Updated 2 years ago
• geometryxyz / proof-toolbox
  Cryptographic protocols
  ☆38Updated 2 years ago
• succinctlabs / sp1-tee
  ☆26Updated 3 weeks ago
• paradigmxyz / stress4844
  Tiny CLI for submitting large calldata transactions to EVM networks to stress test the networking layer. Main motivation: EIP4844blobs.
  ☆56Updated 2 years ago
• matter-labs / recursive_aggregation_circuit
  Kate commitment based PLONK recursive aggregation circuit
  ☆41Updated last year
• crema-labs / sxg-sp1
  Web Proofs using zk-SXG
  ☆28Updated 11 months ago
• zhenfeizhang / pasta-solidity
  A Solidity implementation of Halo2's Pasta curves
  ☆50Updated 2 years ago
• zk-pin / pin
  Trust-minimized commitment pools with zkSNARKs
  ☆38Updated 2 years ago
• matter-labs / solidity_plonk_verifier
  Solidity verifier for Plonk
  ☆42Updated last year
• ChainSafe / Zipline-lightclient
  Hackathon for EthBogota - An Eth2 light client using Cannon verifyable computation
  ☆30Updated 3 years ago
• privacy-ethereum / Nova
  Nova: Recursive SNARKs without trusted setup
  ☆44Updated 2 years ago
• leonardoalt / tinyzkevm
  ☆46Updated 4 years ago
• Rate-Limiting-Nullifier / circom-rln
  RLN circuits in Circom
  ☆32Updated last year
• arnaucube / nova-study
  Implementation of Nova using arkworks for learning purposes. https://eprint.iacr.org/2021/370.pdf
  ☆45Updated 2 years ago
• gakonst / sgx-revm
  PoC of Revm execution in SGX
  ☆79Updated 2 years ago
• DanTehrani / storyform
  ☆17Updated 3 years ago
• nulltea / zk-timelock
  Arkworks circuits for verifiable time-lock encryption
  ☆91Updated 3 years ago
• axiom-crypto / axiom-apps
  ☆34Updated 2 years ago
• 0x3327 / SKProof
  Scikit-learn compatible Python library for generating ZK proofs of execution
  ☆19Updated 8 months ago
• personaelabs / merkle-tree
  ☆30Updated last year
• gballet / verkle-block-sample
  ☆39Updated 2 years ago