Alternatives and similar repositories for linea-specification

Users that are interested in linea-specification are comparing it to the libraries listed below

• Consensys / linea-monorepo
  The principal Linea repository. This mainly includes the smart contracts covering Linea's core functions, the prover in charge of generat…
  ☆69Updated this week
• Consensys / linea-constraints
  Implementation of the constraint system of Linea, specified in the linea-specification repo.
  ☆25Updated this week
• 0xPolygonHermez / pil-stark
  Generates a stark from a pil
  ☆97Updated 10 months ago
• succinctlabs / rsp
  A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.
  ☆124Updated last week
• Consensys / linea-sequencer
  Linea Sequencer Implementation
  ☆32Updated last month
• Layr-Labs / eigenda
  Secure, high-throughput, and decentralized Data Availability
  ☆237Updated this week
• Layr-Labs / eigensdk-go
  Go SDK for building AVSs on Eigenlayer
  ☆76Updated this week
• symbioticfi / collateral
  Symbiotic Collateral smart contracts
  ☆39Updated 5 months ago
• symbioticfi / core
  Symbiotic Core smart contracts
  ☆52Updated last month
• succinctlabs / op-succinct
  Succinct's Production-Grade Proving Engine for the OP Stack
  ☆167Updated this week
• 0xPolygon / zkevm-rom
  This repo contains the zkasm source code of the zkEVM
  ☆135Updated last month
• scroll-tech / zktrie
  Binary storage trie
  ☆75Updated 7 months ago
• 0xPolygonHermez / zkevm-techdocs
  Technical documentation of the zkEVM
  ☆88Updated last year
• succinctlabs / succinctx
  The schelling point for ZK applications.
  ☆138Updated last year
• polymerdao / monomer
  Build Cosmos SDK applications on the OP Stack.
  ☆29Updated 6 months ago
• OffchainLabs / bold
  Efficient, all-vs-all dispute protocol for Optimistic Rollups
  ☆118Updated this week
• privacy-scaling-explorations / p0tion
  The MPC suite of tools for conducting zkSNARK Phase 2 Trusted Setup ceremonies
  ☆95Updated 2 months ago
• scroll-tech / halo2-snark-aggregator
  halo2 ecc circuit
  ☆116Updated 2 years ago
• base / RRC-7755-poc
  Proof of Concept for RRC-7755
  ☆90Updated last month
• base / op-enclave
  op-stack state(less) transition in an AWS Nitro enclave
  ☆69Updated this week
• privacy-scaling-explorations / zkevm-chain
  zkevm-chain: Deprecated
  ☆89Updated last year
• succinctlabs / sp1-project-template
  Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.
  ☆114Updated this week
• AztecProtocol / dev-rel
  All of Aztec's workshops, resources, tutorials, ideas, and useful tools
  ☆61Updated last week
• Consensys / linea-tracer
  Component in Linea's stack which constructs execution traces, large matrices assembled from data extracted from the execution of an EVM c…
  ☆49Updated this week
• succinctlabs / sp1-contracts
  Smart contracts for onchain verification of SP1.
  ☆98Updated last week
• ethereum / c-kzg-4844
  A minimal implementation of the Polynomial Commitments API for EIP-4844 and EIP-7594, written in C.
  ☆149Updated last week
• matter-labs / era-zk_evm
  Out-of-circuit zkEVM implementation
  ☆80Updated 10 months ago
• rdubois-crypto / FreshCryptoLib
  Cryptographic Primitives for Blockchain Systems (solidity, cairo, C and rust)
  ☆140Updated 10 months ago
• risc0 / risc0-ethereum
  Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.
  ☆182Updated this week
• 0xPolygonHermez / pilcom
  Polynomials Identity Language
  ☆69Updated last year