Alternatives and similar repositories for zksync-storage-proofs

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

• lambdaclass / zksync_era_precompiles
  Yul precompile library to speedup elliptic curves operations.
  ☆51Updated last year
• lambdaclass / zksync_local_stack
  ☆9Updated last year
• EspressoSystems / espresso-polygon-zkevm-demo
  ☆35Updated this week
• matter-labs / era-shivini
  A library implementing GPU-accelerated zkSync prover.
  ☆28Updated 8 months ago
• starknet-io / starknet-p2p-specs
  Specification of P2P protocol for StarkNet nodes
  ☆49Updated 2 months ago
• matter-labs / era-zkevm_opcode_defs
  Definitions of zkEVM opcodes (primary dependency for all other repos)
  ☆37Updated 8 months ago
• matter-labs / era-zkEVM-assembly
  The zkEVM assembly tools
  ☆11Updated 8 months ago
• matter-labs / vm2
  High performance EraVM for zkSync.
  ☆24Updated 3 weeks ago
• matter-labs / era-zkevm_circuits
  ☆60Updated 8 months ago
• matter-labs / era-boojum-cuda
  A library implementing GPU-accelerated cryptographic functionality for the zkSync prover.
  ☆25Updated 8 months ago
• starknet-io / types-rs
  🐺 Starknet Rust types 🦀
  ☆69Updated last month
• starknet-io / starknet-stack-resources
  A collection of works discussing the security aspects of StarkNet
  ☆40Updated 4 months ago
• succinctlabs / blobstreamx
  Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.
  ☆59Updated 9 months ago
• succinctlabs / sp1-contracts
  Smart contracts for onchain verification of SP1.
  ☆89Updated 2 weeks ago
• matter-labs / era-compiler-llvm
  ZKsync fork of the LLVM framework.
  ☆33Updated this week
• HerodotusDev / herodotus-eth-starknet
  ☆35Updated last year
• thor314 / pebble-stark
  A community-developed re-implementation of the Starkware Stone Prover
  ☆69Updated 6 months ago
• lambdaclass / starknet_stack
  Starknet Stack let's you easily create new Cairo Starknet chains with their own sequencers, provers and verifiers
  ☆42Updated last year
• availproject / sp1-vector
  Implementation of Vector, Avail's data attestation bridge, in SP1.
  ☆16Updated last week
• boundless-xyz / boundless
  Monorepo for Boundless, the verifiable compute layer
  ☆18Updated this week
• slushsdk / slush
  The Slush SDK allows you to spin up L3s on Starknet
  ☆68Updated 2 years ago
• matter-labs / era-consensus
  Consensus layer implementation for zkSync Era
  ☆69Updated last week
• keep-starknet-strange / blobstream-starknet
  Celestia -> Starknet bridge
  ☆46Updated 11 months ago
• matter-labs / eravm-spec
  EraVM specification.
  ☆17Updated this week
• agglayer / agglayer-go
  ☆21Updated 9 months ago
• AztecProtocol / aztec3-circuits
  Circuit infrastructure for Aztec 3.0
  ☆13Updated 2 years ago
• code-423n4 / 2023-03-zksync
  ☆52Updated last year
• DelphinusLab / continuation-batcher
  customizable halo2 circuits batcher
  ☆30Updated last month
• matter-labs / zk_os
  OS for next iteration of the world computer
  ☆44Updated last year
• matter-labs / era-zk_evm
  Out-of-circuit zkEVM implementation
  ☆80Updated 8 months ago