web3wagmi
← All standards

EIP-4750 EOF - Functions

StagnantCorecreated 2022-01-105 later proposals build on itrequires EIP-3540, EIP-3670, EIP-5450

Individual sections for functions with `CALLF` and `RETF` instructions

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

Depends on (3)

Proposals this one names in its requires field.

EIP-3540EOF - EVM Object Format v1EIP-3670EOF - Code ValidationEIP-5450EOF - Stack Validation

Built on by (5)

Later proposals that name this one in their requires field.

EIP-5450EOF - Stack ValidationEIP-6206EOF - JUMPF and non-returning functionsEIP-7692EVM Object Format (EOFv1) MetaEIP-7756EOF/EVM Trace SpecificationEIP-7961EVM64 - EOF code section

What the specification covers

AbstractMotivationSpecificationType SectionNew execution state in EVMNew instructionsCALLFRETFCode ValidationDisallowed instructionsExecutionRationaleRETF in the top frame ends execution vs exceptionally halts vs is not allowed during validation"Minimal" function typeCode section limit and instruction sizeNOP instructionDeprecating JUMPDEST analysisBackwards 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