web3wagmi
← All standards

EIP-8219 Checked Arithmetic Opcodes

DraftCorecreated 2026-04-08

Adds opcodes for addition, subtraction, multiplication, and division that revert on overflow, underflow, or division by zero

Author: Hubert Ritzdorf (@ritzdorf)

What the specification covers

AbstractMotivationThe Checked Arithmetic OverheadThe Dangerous Trade-offComparison with Prior EIPsSpecificationParametersOverviewRevert BehaviorSAFEADD (0x0c)Input stackOutput stackPseudocodeError conditionSAFESUB (0x0d)Input stackOutput stackPseudocodeError conditionSAFEMUL (0x0e)Input stackOutput stackPseudocodeError conditionSAFEDIV (0x0f)Input stackOutput stackPseudocodeError conditionRationaleWhy Direct-Revert Over FlagsRevert Instead of Exceptional HaltWhy Use Up Four Opcodes?Opcode PlacementGas Cost JustificationWhy Unsigned 256-bit OnlyWhy Include SAFEDIVRevert with Empty ReturndataBackwards CompatibilityTest CasesSAFEADDSAFESUBSAFEMULSAFEDIVSecurity ConsiderationsGas CostsMore Readable, Safer Smart ContractsCopyright

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