web3wagmi
← All standards

EIP-5450 EOF - Stack Validation

StagnantCorecreated 2022-08-124 later proposals build on itrequires EIP-3540, EIP-3670, EIP-4200, EIP-4750

Deploy-time validation of stack usage for EOF functions.

Authors: Andrei Maiboroda (@gumb0), Paweł Bylica (@chfast), Alex Beregszaszi (@axic), Danno Ferrin (@shemnon)

Depends on (4)

Proposals this one names in its requires field.

EIP-3540EOF - EVM Object Format v1EIP-3670EOF - Code ValidationEIP-4200EOF - Static relative jumpsEIP-4750EOF - Functions

Built on by (4)

Later proposals that name this one in their requires field.

EIP-663SWAPN, DUPN and EXCHANGE instructionsEIP-4750EOF - FunctionsEIP-6206EOF - JUMPF and non-returning functionsEIP-7692EVM Object Format (EOFv1) Meta

What the specification covers

AbstractMotivationSpecificationCode validationInstructions validationOperand stack validationExecutionRationaleProperties of validated codeStack overflow check only in CALLF/JUMPFUnreachable codeClean stack upon terminationMore restrictive stack validationOrdering of basic blocksBackwards CompatibilitySecurity ConsiderationsCopyright

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