Skip to content
Change the repository type filter

All

    Repositories list

    • The principal Linea repository. This mainly includes the smart contracts covering Linea's core functions, the prover in charge of generating ZK proofs, the coordinator responsible for multiple orchestrations, and the postman to execute bridge messages.
      Go
      Other
      72624228Updated Mar 1, 2025Mar 1, 2025
    • gnark-crypto provides elliptic curve and pairing-based cryptography on BN, BLS12, BLS24 and BW6 curves. It also provides various algorithms (algebra, crypto) of particular interest to zero knowledge proof systems.
      Go
      Apache License 2.0
      2025335111Updated Mar 1, 2025Mar 1, 2025
    • Component in Linea's stack which constructs execution traces, large matrices assembled from data extracted from the execution of an EVM client.
      Java
      Other
      40408314Updated Feb 28, 2025Feb 28, 2025
    • linea-ens

      Public
      Linea ENS compatible with ENS on Ethereum
      TypeScript
      Apache License 2.0
      152121Updated Feb 28, 2025Feb 28, 2025
    • teku

      Public
      Open-source Ethereum consensus client written in Java
      Java
      Apache License 2.0
      31269815412Updated Feb 28, 2025Feb 28, 2025
    • maru

      Public
      Consensus layer client implementing QBFT protocol adhering to Eth 2.0 CL / EL separation and API
      Kotlin
      Other
      11136Updated Feb 28, 2025Feb 28, 2025
    • StarkNet wallet <-> dApp bridge
      TypeScript
      MIT License
      116404Updated Feb 28, 2025Feb 28, 2025
    • gnark

      Public
      gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source and developed under the Apache 2.0 license
      Go
      Apache License 2.0
      4201.5k10820Updated Feb 28, 2025Feb 28, 2025
    • The MetaMask Snap for Starknet
      TypeScript
      Apache License 2.0
      3179011Updated Feb 28, 2025Feb 28, 2025
    • op-besu

      Public
      Java
      Apache License 2.0
      1235Updated Feb 28, 2025Feb 28, 2025
    • A Snap to track your Linea Voyage progress in MetaMask
      TypeScript
      Apache License 2.0
      49412Updated Feb 28, 2025Feb 28, 2025
    • Implementation of the constraint system of Linea, specified in the linea-specification repo.
      Common Lisp
      Other
      171660Updated Feb 28, 2025Feb 28, 2025
    • go-corset

      Public
      A (partial) port of the Corset tool into Go.
      Go
      Apache License 2.0
      63791Updated Feb 28, 2025Feb 28, 2025
    • Dockerfile
      Apache License 2.0
      5595Updated Feb 28, 2025Feb 28, 2025
    • Linea Sequencer Implementation
      Java
      Other
      212052Updated Feb 27, 2025Feb 27, 2025
    • Web3Signer is an open-source signing service capable of signing for multiple platforms (Ethereum consensus and execution clients) using private keys stored in an external vault, or encrypted on a disk.
      Java
      Apache License 2.0
      81215522Updated Feb 27, 2025Feb 27, 2025
    • Github workflows to create and publish upstream Besu build for Linea
      Java
      Apache License 2.0
      0000Updated Feb 27, 2025Feb 27, 2025
    • Specification of the constraint system underlying Linea's zk-EVM.
      TeX
      Other
      1716357Updated Feb 25, 2025Feb 25, 2025
    • doc.linea

      Public
      Linea documentation
      JavaScript
      Apache License 2.0
      4843941816Updated Feb 25, 2025Feb 25, 2025
    • An encoding from the solc-typed-ast into datalog
      TypeScript
      Apache License 2.0
      0132Updated Feb 25, 2025Feb 25, 2025
    • tuweni

      Public
      Apache Tuweni is a set of libraries and other tools to aid development of blockchain and other decentralized software in Java and other JVM languages. It includes a low-level bytes library, serialization and deserialization codecs (e.g. RLP), various cryptography functions and primatives, and lots of other helpful utilities.
      Java
      Apache License 2.0
      83111Updated Feb 24, 2025Feb 24, 2025
    • mythril

      Public
      Mythril is a symbolic-execution-based securty analysis tool for EVM bytecode. It detects security vulnerabilities in smart contracts built for Ethereum and other EVM-compatible blockchains.
      Python
      MIT License
      7534k1094Updated Feb 24, 2025Feb 24, 2025
    • Verax is a shared registry for storing attestations of public interest on EVM chains, designed to enhance data discoverability and consumption for dApps across the network.
      TypeScript
      MIT License
      87150923Updated Feb 23, 2025Feb 23, 2025
    • Ethereum signer documentation site
      CSS
      Apache License 2.0
      221445Updated Feb 21, 2025Feb 21, 2025
    • Linea implementation based on Besu
      Java
      Apache License 2.0
      8976771Updated Feb 20, 2025Feb 20, 2025
    • Wrapper library around the Souffle Datalog Language
      TypeScript
      Apache License 2.0
      0142Updated Feb 20, 2025Feb 20, 2025
    • bavard

      Public
      WIP: code generation package in Go -- used by gnark, goff and gurvy
      Go
      Apache License 2.0
      61010Updated Feb 19, 2025Feb 19, 2025
    • TypeScript
      MIT License
      132004Updated Feb 18, 2025Feb 18, 2025
    • Linea Token List
      TypeScript
      5244214Updated Feb 17, 2025Feb 17, 2025
    • docs-template

      Public template
      A template repository for creating new Consensys doc sites. Contains a guide for contributing to and creating documentation.
      CSS
      MIT License
      101336Updated Feb 14, 2025Feb 14, 2025