EIP-5450

EOF - Stack Validation

Deploy-time validation of stack usage for EOF functions.

Status history

Draft12 Aug 2022
Stagnantdate not observed

Abstract

Introduce extended validation of EOF code sections to guarantee that neither stack underflow nor overflow can happen during execution of validated contracts.

Created: 12 Aug 2022
Authors: Andrei Maiboroda, Paweł Bylica, Alex Beregszaszi, Danno Ferrin
Upgrades: Not listed in any upgrade
Requires: EIP-3540 EIP-3670 EIP-4200 EIP-4750
Required by: EIP-663 EIP-4750 EIP-6206

Specification ↗
Discussion thread ↗
Source on GitHub ↗
File history ↗