linea-plonk

Linea's PLONK zkEVM proof system

linea L2 proof-system final protocol spec BN254

Native status: Mainnet
Enables: A recursive prover compressing zkEVM execution into a BN254 PLONK proof
Specification: https://docs.linea.build/

Linea is a zkEVM rollup whose prover stack (Vortex, a FRI/lattice-based inner argument, compressed through Arcane) aggregates execution proofs and finally compresses them into a single PLONK proof over the BN254 (alt_bn128) curve, built with Consensys's gnark library and verified on Ethereum through the EIP-197 pairing precompile. BN254 is the cross-ecosystem hook: the same pairing curve Ethereum (EIP-196/EIP-197), Solana (SIMD-0129), and Aztec expose, here as the curve underlying Linea's final PLONK verifier.

Implementations

linea-monorepo go audited report

Relationships

Equivalent to: EIP-197