Learn about the components that make up the Linea Prover, including arithmetization, Arcane, polynomial-IOPs, lattices, hash functions, error-correcting codes, and Vortex.
The Linea ENS repository was created to bring readable domains to Linea, but its component libraries also mean any L1 application can query L2 data using CCIP Read.