mediumInteger overflow/underflowEVM-Solidity
Optimism: Multiplication overflow leading to memory corruption and incorrect register write-back
- Payout
- $0
- Protocol
- Optimism
- Disclosed
- Aug 16, 2024
- Source
- code4rena
The Optimism cannon MIPS.sol VM implements the MUL instruction via unchecked int32 multiplication (uint32(int32(rs) * int32(rt))). The warden argued that overflow in an unchecked block could produce an incorrect value that flows into writeMem and the destinati …
Similar reports
- No close matches yet.
References
- https://github.com/code-423n4/2024-07-optimism-findings/issues/85
- https://github.com/code-423n4/2024-07-optimism-findings
This report is already public and closed. Coin Buggie never publishes active or unpatched vulnerability data.