Alternatives and similar repositories for rwasm:

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

• DelphinusLab / zkWasm-host-circuits
  ☆25Updated this week
• succinctlabs / sp1-tendermint-example
  An example of a ZK Tendermint light client on Ethereum powered by SP1.
  ☆27Updated 3 weeks ago
• Electron-Labs / starky_bls12_381
  Starky implementation of Bls12-381
  ☆13Updated 10 months ago
• l2iterative / ll0
  Delve into low-level RISC Zero machine
  ☆27Updated last year
• DelphinusLab / continuation-batcher
  customizable halo2 circuits batcher
  ☆30Updated last week
• vacp2p / zk-explorations
  ☆31Updated 11 months ago
• geometryxyz / baloo
  Implementation of https://eprint.iacr.org/2022/1565.pdf on top of arkworks
  ☆16Updated 2 years ago
• powdr-labs / powdr-revme
  powdr application running Ethereum tests via revm
  ☆18Updated 9 months ago
• agglayer / pessimistic-proof
  Pessimistic proof for the AggLayer.
  ☆26Updated 9 months ago
• ZeroSync / giza
  A Cairo VM prover implemented using Winterfell
  ☆16Updated last year
• lurk-lab / bellpepper-gadgets
  A library of gadgets compatible with bellpepper and bellperson (contact: @huitseeker)
  ☆17Updated 3 weeks ago
• succinctlabs / telepathy-circuits
  zkSNARK circuits for the Telepathy protocol
  ☆53Updated last year
• DelphinusLab / zkWasm-prover
  ☆20Updated 2 weeks ago
• ConsenSysDiligence / sol-dbg
  Solidity source debugger built around EthereumJS
  ☆23Updated 2 months ago
• matter-labs / vm2
  High performance EraVM for zkSync.
  ☆23Updated last week
• NilFoundation / zkllvm-blueprint
  Circuit components definition library for zkLLVM circuit compiler
  ☆43Updated 6 months ago
• matter-labs / solidity_plonk_verifier
  Solidity verifier for Plonk
  ☆41Updated 7 months ago
• succinctlabs / plonky3
  ☆23Updated 3 months ago
• Orbis-Tertius / MVlookups
  A note on multivariate lookup arguments
  ☆10Updated 2 years ago
• sideprotocol / plonky2-gpu
  ☆21Updated last year
• lambdaclass / aleo_lambda_vm
  Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClass
  ☆21Updated last year
• han0110 / halo2-kzg-srs
  ☆33Updated last year
• Sladuca / sha256-prover-comparison
  Some very rough benchmarks between sha256 circuits in different proving systems
  ☆49Updated 2 years ago
• Sladuca / plonky2-ecgfp5
  Plonky2 gadgets for EcGFp5 curve and base field arithmetic
  ☆20Updated 2 years ago
• vlayer-xyz / noir-base64
  Base64 encoding for Aztec's noir language
  ☆16Updated last year
• QEDProtocol / plonky2.5
  🪩 verify plonky3 proofs in plonky2
  ☆18Updated last year
• hero78119 / risc0-nova
  RISC Zero Nova is inherit from Risc Zero but aim to replace STARK with Nova folding scheme
  ☆28Updated last year
• matter-labs / rescue-poseidon
  Rescue and Poseidon hash function implementations
  ☆42Updated 7 months ago
• 0xPolygonZero / plonky2-ecdsa
  ECDSA gadgets for plonky2
  ☆18Updated last year
• matter-labs / pairing
  Pairing-friendly elliptic curve library
  ☆23Updated 7 months ago