heksan-ui

Component in Linea's stack which constructs execution traces, large matrices assembled from data extracted from the execution of an EVM client

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

Cairo is the first Turing-complete language for creating provable programs for general computation.