EIP-8219
Checked Arithmetic Opcodes
Adds opcodes for addition, subtraction, multiplication, and division that revert on overflow, underflow, or division by zero
DraftSplurge
Status history
- Draft8 Apr 2026
Abstract
This EIP introduces four new opcodes — SAFEADD (0x0c), SAFESUB (0x0d), SAFEMUL (0x0e), and SAFEDIV (0x0f) — that perform unsigned 256-bit arithmetic with built-in overflow, underflow, and division-by-zero checking. On error, these opcodes revert the current call frame with empty returndata, equivalent to REVERT(0, 0). A single SAFEADD instruction replaces the 11-instruction compiler-generated…
- Created
- 8 Apr 2026
- Authors
- Hubert Ritzdorf
- Upgrades
- HegotáDeclined
- Requires
- —
- Required by
- —