Lightec requested that Least Authority review several components of the zkBTC protocol, which is a bridge between Bitcoin and Ethereum, using techniques from zero-knowledge proofs. The bridge allows a Bitcoin user to mint a zkBTC token, use this token in the Ethereum ecosystem, and eventually redeem the Bitcoin from the
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 Plonky2 implementation of Polygon Zero, a library for recursive SNARKs. To read the full report including our findings, click here: Report