EIP-3690

EOF - JUMPDEST Table

A special EOF section for storing the list of JUMPDESTs, which simplifies execution time analysis.

Status history

Draft23 Jun 2021
Stagnantdate not observed

Abstract

Introduce a section in the EOF format (EIP-3540) for storing the list of JUMPDESTs, validate the correctness of this list at the time of contract creation, and remove the need for JUMPDEST-analysis at execution time. In EOF contracts, the JUMPDEST instruction is not needed anymore and becomes invalid. Legacy contracts are entirely unaffected by this change.

Created: 23 Jun 2021
Authors: Alex Beregszaszi, Paweł Bylica, Andrei Maiboroda
Upgrades: Not listed in any upgrade
Requires: EIP-3540 EIP-3670
Required by: —

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