Our team performed a security audit of Linea’s Limitless Prover. The zkEVM aims to provide an execution environment equivalent to the Ethereum Virtual Machine (EVM), allowing Ethereum transactions and smart contract executions. The Limitless Prover feature enables proof generation without the need to impose limits due to the underlying arithmetization. In the previous design, the number of instructions that could be proved was constrained by the prover’s computational resources. The current design includes a mechanism for distributing the proving effort. This is achieved by breaking the trace into subtraces and generating proofs for each one in a distributed manner, followed by a final conglomeration step that combines the resulting subproofs into a single proof.
Our final audit report was completed on August 1, 2025.
To read the full report, including our findings, click here: