Change the repository type filter
All
Repositories list
541 repositories
- 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.
- 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.
- 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.
- 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-sequencer
Publicgo-corset
Publicdoc.linea
Publiclinea-besu-package
Publicweb3signer
Publicdoc.teku
Publicverax-documentation
Publicbavard
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.
cla
Publicsol-datalog
Publicerrorprone-checks
Publicop-besu
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.
homebrew-teku
Public