Alternatives and similar repositories for zkm-prover

Users that are interested in zkm-prover are comparing it to the libraries listed below

• matter-labs / zksync-crypto
  Cryptography libraries for ZKsync
  ☆35Updated this week
• agglayer / pessimistic-proof
  Pessimistic proof for the AggLayer.
  ☆26Updated last year
• powdr-labs / powdr-revme
  powdr application running Ethereum tests via revm
  ☆17Updated last year
• matter-labs / zksync-crypto-gpu
  GPU-acceselerated cryptography libraries for ZKsync
  ☆20Updated last week
• crate-crypto / rust-eth-kzg
  ☆29Updated last week
• 0xmozak / mozak-vm
  Mozak RISC-V Virtual Machine
  ☆25Updated 5 months ago
• iden3 / circom-witnesscalc
  ☆18Updated last week
• matter-labs / vm2
  High performance EraVM for zkSync.
  ☆23Updated 4 months ago
• lita-xyz / reva
  A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.
  ☆14Updated 2 months ago
• argumentcomputer / sphinx
  An observatory fork of SP1
  ☆73Updated 7 months ago
• pluto / web-prover-circuits
  Circuits for Pluto's `web-prover`
  ☆24Updated 4 months ago
• penumbra-zone / jmt
  An async-friendly sparse merkle tree implementation based on Diem's Jellyfish Merkle Tree
  ☆61Updated 4 months ago
• zksecurity / stark-book
  STARK book
  ☆20Updated 11 months ago
• Lagrange-Labs / mapreduce-plonky2
  ☆22Updated 3 months ago
• a16z / vectorized-fields
  Vectorized AVX-512 256-bit arithmetic library
  ☆32Updated 11 months ago
• Sladuca / sha256-prover-comparison
  Some very rough benchmarks between sha256 circuits in different proving systems
  ☆52Updated 3 years ago
• l2iterative / ll0
  Delve into low-level RISC Zero machine
  ☆28Updated last year
• lambdaclass / era_vm
  EraVM implementation
  ☆19Updated last year
• privacy-ethereum / poseidon
  ☆42Updated last year
• PayneJoe / PNova
  Plonkish Nova implementation along with advanced features
  ☆16Updated last year
• lambdaclass / aleo_lambda_vm
  Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClass
  ☆21Updated 2 years ago
• lita-xyz / reth-valida
  revm/reth block proving on Valida
  ☆15Updated 7 months ago
• lambdaclass / aleo_lambda_blockchain
  Tendermint implementation of the blockchain of Aleo verifiable computing model built by LambdaClass
  ☆15Updated 2 years ago
• zkmopro / gpu-acceleration
  Explorations on mobile-first GPU acceleration, currently support MSM.
  ☆24Updated last month
• NilFoundation / zkllvm-blueprint
  Circuit components definition library for zkLLVM circuit compiler
  ☆42Updated last year
• NP-Eng / gkr_tutorial
  ☆12Updated last year
• geometryxyz / proof-toolbox
  Cryptographic protocols
  ☆39Updated 2 years ago
• w3f / fflonk
  ☆30Updated 5 months ago
• asn-d6 / curdleproofs
  Curdleproofs is a zero-knowledge shuffle argument
  ☆69Updated last year
• halo2-ce / halo2
  ☆30Updated 2 years ago