Specification of the constraint system underlying Linea's zk-EVM.

The JAM Specification

A (partial) port of the Corset tool into Go.

Linea Sequencer Implementation

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 orch…

Render made for hiking and trekking

Implementation of the constraint system of Linea, specified in the linea-specification repo.

This repository has been migrated to GitLab https://gitlab.com/panoramax/clients/mobile-app

Part of the Linea stack responsible for extracting data from the execution of an EVM client in order to construct large matrices called execution traces.