EIP-6888 Arithmetic verification at EVM level
Check for math overflows and division by zero at EVM level
What the specification covers
This proposal declares no Solidity interface, so there is nothing to compute. It may be a core protocol change, a meta proposal, or written in prose only.
Compare with
Parsed from the canonical specification · discussion