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
Our team performed a security audit of Starky and zkEVM Kernel code in Polygon‘s zkEVM implementation. Our final audit report was completed on August 22, 2024. To read the full report, including our findings, click here: Report
Our team performed a comprehensive audit of Polygon’s Plonky3, a toolkit for an efficient implementation of a non-hiding STARK protocol. The codebase consists of different cryptographic building blocks (such as fields, hash functions, polynomial commitment schemes, and others) that can be combined into STARKs. The overall goal is to build
Least Authority performed a security audit of Pickles, Mina’s inductive zk-SNARK composition system. We completed our final audit report on December 13, 2023. To read the full report including our findings, click here: Report