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.
Consensys Software, Inc. requested that Least Authority perform a security audit of Linea zkEVM (crypto-beta-v1) and cryptography libraries. Linea implements zkEVM based on the Wizard protocol and the gnark library. Our final audit report was completed on November 26, 2024. To read the full report, including our findings, click here:
Consensys Software, Inc. requested that Least Authority perform security audits of the Linea prover and cryptography libraries. This audit is Phase 1 and focuses specifically on the gnark library. Our final audit report was completed on September 20, 2024. To read the full report, including our findings, click here: Report