Alternatives and similar repositories for eravm-spec:

Users that are interested in eravm-spec are comparing it to the libraries listed below

• matter-labs / vm2
  High performance EraVM for zkSync.
  ☆24Updated last week
• matter-labs / era-shivini
  A library implementing GPU-accelerated zkSync prover.
  ☆28Updated 8 months ago
• matter-labs / era-compiler-llvm
  ZKsync fork of the LLVM framework.
  ☆33Updated last week
• matter-labs / era-zkevm_opcode_defs
  Definitions of zkEVM opcodes (primary dependency for all other repos)
  ☆38Updated 8 months ago
• matter-labs / era-consensus
  Consensus layer implementation for zkSync Era
  ☆69Updated this week
• matter-labs / era-zkevm_test_harness
  Compare in-circuit and out-of-circuit VMs
  ☆60Updated 8 months ago
• matter-labs / era-compiler-llvm-context
  Shared front-end code of the ZKsync compilers.
  ☆22Updated this week
• matter-labs / era-zkevm_circuits
  ☆60Updated 8 months ago
• 0xPolygonHermez / zkevm-aggregator
  Aggregator for the zkEVM network that uses a stateless prover.
  ☆19Updated 6 months ago
• scroll-tech / stateless-block-verifier
  ☆51Updated this week
• matter-labs / era-solidity
  ZKsync fork of the original Solidity compiler.
  ☆16Updated this week
• matter-labs / era-boojum-cuda
  A library implementing GPU-accelerated cryptographic functionality for the zkSync prover.
  ☆25Updated 8 months ago
• DelphinusLab / continuation-batcher
  customizable halo2 circuits batcher
  ☆30Updated last month
• EspressoSystems / espresso-polygon-zkevm-demo
  ☆35Updated last month
• matter-labs / era-compiler-tests
  Collection of tests for ZKsync compilers.
  ☆19Updated this week
• starknet-io / starknet-p2p-specs
  Specification of P2P protocol for StarkNet nodes
  ☆49Updated 2 months ago
• matter-labs / era-zkEVM-assembly
  The zkEVM assembly tools
  ☆11Updated 8 months ago
• lambdaclass / zksync_era_precompiles
  Yul precompile library to speedup elliptic curves operations.
  ☆51Updated last year
• Orbiter-Finance / zkspv-circuits
  ☆18Updated 10 months ago
• starknet-io / types-rs
  🐺 Starknet Rust types 🦀
  ☆69Updated 3 weeks ago
• matter-labs / era-compiler-vyper
  Vyper compiler for ZKsync.
  ☆44Updated last week
• starknet-io / builders-council
  Meeting notes and agenda items for the Builders Council
  ☆19Updated 2 years ago
• matter-labs / era-compiler-tester
  Integration testing framework for ZKsync compilers.
  ☆21Updated this week
• Consensys / corset
  ☆19Updated 2 weeks ago
• matter-labs / era-zk_evm
  Out-of-circuit zkEVM implementation
  ☆80Updated 8 months ago
• starknet-io / starknet-stack-resources
  A collection of works discussing the security aspects of StarkNet
  ☆40Updated 3 months ago
• taikoxyz / circuit-tools
  A lightweight Halo2 frontend SDK
  ☆12Updated last year
• agglayer / agglayer-go
  ☆21Updated 8 months ago
• matter-labs / era-boojum-validator-cli
  ☆22Updated last week
• succinctlabs / starkyx
  ☆64Updated 11 months ago