{"id":875,"date":"2024-07-29T12:23:53","date_gmt":"2024-07-29T10:23:53","guid":{"rendered":"https:\/\/ackee.xyz\/blog\/?p=875"},"modified":"2024-07-29T12:23:53","modified_gmt":"2024-07-29T10:23:53","slug":"lido-steth-on-optimism-audit-summary","status":"publish","type":"post","link":"https:\/\/ackee.xyz\/blog\/lido-steth-on-optimism-audit-summary\/","title":{"rendered":"Lido stETH on Optimism Audit Summary"},"content":{"rendered":"

Lido Finance engaged Ackee Blockchain to perform a security review of the Lido Finance stETH smart contracts for a total time donation of 15 engineering days in a period between May 6 and May 17, 2024.<\/span><\/p>\n

Lido Finance also extended the scope to include all the contracts in the repository and all the changes that were not reviewed in the previous revisions and Ackee received an additional time donation of 1.5 engineering days to perform the security review of revision 1.3 between June 17 and June 18, 2024.<\/span><\/p>\n

METHODOLOGY<\/span><\/h2>\n

We began our review by using static analysis tools, namely Wake<\/a>. We then took a deep dive into the logic of the contracts and used Wake testing framework for cross-chain fuzzing of the protocol.<\/span><\/p>\n

We also conducted a thorough manual review of the codebase and took a deep dive into the logic of the contracts. During the review, we paid special attention to:<\/span><\/p>\n