Executive Summary This report presents the results of our engagement with Optimism PBC to perform differential fuzzing on the OVM_SafetyChecker smart contract. The work was performed by Nicholas Ward and Valentin Wuestholz over the course of two person-weeks between March 8th and March 12th, 2021. The focus of the engagement was OVM_SafetyChecker.sol from the Optimism contracts/ repo at commit hash 606577457191973b46034602f46ddcc130a5c0ac (SHA-1 hash 72136297d400fcaeae95f985b53b46c9906f818e). The contract was compiled using Solidity version 0.
# | File Name |
---|---|
1 | Unknown Contract |