Alternatives and similar repositories for zkevm-specs

Users that are interested in zkevm-specs are comparing it to the libraries listed below

• 0xPolygon / zkevm-prover
  zkEVM prover in C++
  ☆241Updated 3 months ago
• privacy-ethereum / zkevm-circuits
  ☆820Updated last year
• starkware-libs / starkex-contracts
  ☆289Updated 5 months ago
• starkware-libs / ethSTARK
  ☆237Updated 2 years ago
• boundless-xyz / zeth
  A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM
  ☆435Updated last week
• starkware-libs / papyrus
  Papyrus is a StarkNet full node written in Rust.
  ☆320Updated 11 months ago
• starkware-libs / stone-prover
  ☆266Updated last year
• starkware-industries / stark101
  ☆311Updated 7 months ago
• agglayer / agglayer-contracts
  Agglayer Smart Contracts
  ☆310Updated this week
• Layr-Labs / eigenda
  Secure, high-throughput, and decentralized Data Availability
  ☆258Updated this week
• axiom-crypto / halo2-lib
  Monorepo of halo2 crates
  ☆300Updated 3 months ago
• Sin7Y / olavm
  A STARK-based ZKVM which aims to Programmable Scalability, Programmable Privacy
  ☆163Updated 10 months ago
• 0xPolygon / zkevm-node
  Go implementation of a node that operates the Polygon zkEVM Network
  ☆554Updated 10 months ago
• privacy-ethereum / halo2
  ☆238Updated 5 months ago
• AztecProtocol / aztec-connect-bridges
  ☆229Updated last year
• Sovereign-Labs / sovereign-sdk
  A flexible toolkit for building real-time blockchains
  ☆447Updated this week
• 0xPolygon / zkevm-rom
  This repo contains the zkasm source code of the zkEVM
  ☆138Updated 7 months ago
• 0xPARC / circom-ecdsa
  Big integer arithmetic and secp256k1 ECC operations in circom
  ☆337Updated 2 years ago
• EspressoSystems / HotShot
  ☆160Updated 9 months ago
• AztecProtocol / aztec-nr
  Mirror of AztecProtocol/aztec-packages/aztec-nr
  ☆144Updated last week
• 0xSpaceShard / starknet-devnet-deprecated
  A local testnet for Starknet
  ☆210Updated 2 years ago
• 0xPolygonZero / plonky2
  ☆845Updated 5 months ago
• starkware-libs / blockifier
  Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs …
  ☆169Updated 7 months ago
• keep-starknet-strange / garaga
  State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.
  ☆248Updated 3 weeks ago
• AztecProtocol / barretenberg
  ☆189Updated 3 weeks ago
• succinctlabs / op-succinct
  Succinct's Production-Grade Proving Engine for the OP Stack.
  ☆202Updated this week
• evstack / ev-node
  A modular framework for building performant networks, pushing the boundary of today in order to build the apps of tomorrow.
  ☆360Updated this week
• matter-labs / era-boojum
  Boojum, the scariest SNARK implementation.
  ☆302Updated last year
• powdr-labs / powdr
  Performance and security acceleration for zkVMs.
  ☆477Updated this week
• NilFoundation / zkLLVM
  Zero-Knowledge Proof Systems Circuit Compiler
  ☆324Updated 11 months ago