Alternatives and similar repositories for zksync-protocol:

Users that are interested in zksync-protocol are comparing it to the libraries listed below

• zkMIPS / zkm-project-template
  ZKM Development Template/Framework
  ☆24Updated last week
• matter-labs / vm2
  High performance EraVM for zkSync.
  ☆23Updated last week
• succinctlabs / sp1-tendermint-example
  An example of a ZK Tendermint light client on Ethereum powered by SP1.
  ☆27Updated 3 weeks ago
• succinctlabs / plonky3
  ☆23Updated 3 months ago
• ConsenSysDiligence / sol-dbg
  Solidity source debugger built around EthereumJS
  ☆23Updated 2 months ago
• BadBoiLabs / Cannon-rs
  Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆
  ☆55Updated last year
• ralexstokes / kzg
  KZG commitments over BLS12-381
  ☆34Updated 2 years ago
• matter-labs / zksync-crypto
  Cryptography libraries for ZKsync
  ☆29Updated this week
• HerodotusDev / hdp
  Enable smart contracts to perform compute over arbitrary on-chain data in a verifiable manner
  ☆28Updated last month
• succinctlabs / sp1-vector
  Implementation of Vector, Avail's data attestation bridge, in SP1.
  ☆16Updated last week
• Rate-Limiting-Nullifier / rln-contract
  Foundry project for the RLN
  ☆17Updated last year
• spire-labs / litepaper
  Spire Labs' litepaper (it's pretty based bro)
  ☆17Updated 5 months ago
• succinctlabs / telepathy-circuits
  zkSNARK circuits for the Telepathy protocol
  ☆53Updated last year
• agglayer / pessimistic-proof
  Pessimistic proof for the AggLayer.
  ☆26Updated 9 months ago
• lita-xyz / valida-releases
  Public releases for the Valida toolchain
  ☆16Updated 3 weeks ago
• Layr-Labs / rust-kzg-bn254
  ☆14Updated 2 weeks ago
• perama-v / archors
  A tool for single Ethereum archival block state proofs.
  ☆35Updated last year
• rkdud007 / alloy-merkle-tree
  Minimal Merkle Tree implementations
  ☆28Updated 3 months ago
• matter-labs / zksync-crypto-gpu
  GPU-acceselerated cryptography libraries for ZKsync
  ☆15Updated last week
• shutter-network / rolling-shutter
  A threshold encryption framework for L1 & L2 EVM-compatible chains.
  ☆31Updated this week
• vacp2p / zk-explorations
  ☆31Updated 11 months ago
• lita-xyz / valida-rs
  The entry point for Rust projects to be run on Valida
  ☆10Updated 2 weeks ago
• privacy-scaling-explorations / security
  A collection of resources relevant to the PSE Security Team.
  ☆12Updated last year
• astriaorg / sequencer-relayer
  relays blocks from the shared sequencer to the DA layer
  ☆27Updated last year
• DoHoonKim8 / stark-verifier
  ☆49Updated last year
• han0110 / halo2-kzg-srs
  ☆33Updated last year
• lambdaclass / aleo_lambda_vm
  Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClass
  ☆21Updated last year
• matter-labs / solidity_plonk_verifier
  Solidity verifier for Plonk
  ☆41Updated 7 months ago
• axiom-crypto / axiom-v1-contracts
  Axiom smart contracts
  ☆26Updated last year
• leonardoalt / evm
  Simple EVM implementation in [no_std] Rust to be used in Powdr.
  ☆17Updated last year