Alternatives and similar repositories for zkasmcom

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

• DelphinusLab / zkWasm-host-circuits
  ☆25Updated last week
• lurk-lab / solidity-verifier
  Solidity implementation of Nova proving system verifier
  ☆63Updated last year
• matter-labs / vm2
  High performance EraVM for zkSync.
  ☆24Updated 2 months ago
• succinctlabs / plonky2x-example
  An example of how to build an end-to-end dApp with plonky2x
  ☆22Updated last year
• lurk-lab / bellpepper-gadgets
  A library of gadgets compatible with bellpepper and bellperson (contact: @huitseeker)
  ☆18Updated 4 months ago
• DoHoonKim8 / stark-verifier
  ☆50Updated last year
• 0xPolygon / zkevm-proverjs
  zkEVM proof generator reference written in Javascript
  ☆81Updated last month
• succinctlabs / blobstreamx
  Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.
  ☆61Updated 11 months ago
• privacy-scaling-explorations / DefinitelySetup
  The repository for high quality Trusted setups for groth16 based SNARKS
  ☆22Updated this week
• vacp2p / zk-explorations
  ☆31Updated last year
• 0xPolygon / pilcom
  Polynomials Identity Language
  ☆69Updated last year
• shuklaayush / noir-bigint
  BigInt library for Aztec's noir language
  ☆32Updated last year
• DelphinusLab / continuation-batcher
  customizable halo2 circuits batcher
  ☆31Updated last week
• Rate-Limiting-Nullifier / circom-rln
  RLN circuits in Circom
  ☆30Updated last year
• DelphinusLab / halo2-gpu-specific
  ☆39Updated last week
• zkemail / halo2-zk-email
  Email verification circuit in halo2
  ☆67Updated last year
• axiom-crypto / axiom-v1-contracts
  Axiom smart contracts
  ☆26Updated 2 years ago
• matter-labs / zk_os
  OS for next iteration of the world computer
  ☆43Updated last year
• lambdaclass / noir_backend_using_gnark
  A Noir's backend implementation using Gnark
  ☆35Updated last year
• HerodotusDev / hdp
  Enable smart contracts to perform compute over arbitrary on-chain data in a verifiable manner
  ☆28Updated 5 months ago
• pluto / web-prover-circuits
  Circuits for Pluto's `web-prover`
  ☆22Updated 2 months ago
• axiom-crypto / axiom-sdk-core
  Core SDK elements for Axiom, the ZK Coprocessor for Ethereum.
  ☆35Updated last year
• geometryxyz / secp256k1_hash_to_curve
  ☆33Updated last year
• succinctlabs / telepathy-circuits
  zkSNARK circuits for the Telepathy protocol
  ☆53Updated last year
• hashcloak / plonky2-merkle-trees
  ☆15Updated last year
• AztecProtocol / aztec3-circuits
  Circuit infrastructure for Aztec 3.0
  ☆13Updated 2 years ago
• tekkac / cairo-alt_bn128
  bn254 pairing library for Cairo Zero
  ☆26Updated 2 years ago
• thor314 / pebble-stark
  A community-developed re-implementation of the Starkware Stone Prover
  ☆69Updated 8 months ago
• dmpierre / sonobe-btc
  Using folding schemes for a provable bitcoin light client
  ☆34Updated last year
• Maddiaa0 / honk-verifier
  Honk Verifier in Solidity
  ☆50Updated 9 months ago