The Sui Bridge is the native bridge between Sui and Ethereum, allowing users to transfer assets such as native ETH, wrapped ETH, USDT and wBTC across the two chains, with every transfer and governance decision approved by a committee of Sui validators. Certora performed a manual review of the Move and Solidity contracts and used the Certora Prover to formally verify both the EVM and the Move side of the bridge. The detailed findings and Mysten Labs responses can be found in the full report below.