Change the repository type filter
All
Repositories list
541 repositories
linea-monorepo
PublicThe 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.linea-besu
Public- Open-source Ethereum consensus client written in Java
- Component in Linea's stack which constructs execution traces, large matrices assembled from data extracted from the execution of an EVM client.
linea-constraints
Public- 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.
linea-besu-package
Publicgo-corset
Public- 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.
web3signer
Publicbavard
Publicmythril
PublicMythril 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.cla
Publicsol-datalog
Publicop-besu
Publiccorset
Publictuweni
PublicApache 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.homebrew-teku
Public