EIP Timeline

[DavePearce]

This is a tracking issue for EIPs that are relevant to the DafnyEVM. See this PR for a complete list of proposed opcodes.

Shanghai

See meta-thread and candidates.

1. EIP3651 Warm COINBASE
2. EIP3855 PUSH0 instruction
3. EIP3860 Limit and meter initcode

Cancun

See meta thread and candidates.

1. EIP663 Unlimited SWAP and DUP instructions
2. EIP3540 EVM Object Format v1.
3. EIP3670, Code Validation (EOF)
4. EIP4200, Static relative jumps (EOF)
5. EIP4750, Functions (EOF)
6. EIP4788 Beacon state root in the EVM
7. EIP4844 Shard Blob Transactions
8. EIP5450. Stack Validation (EOF)
9. EIP5656. MCOPY
10. EIP4758 Deactivate SELFDESTRUCT
11. EIP6046 Replace SELFDESTRUCT with DEACTIVATE
12. EIP6190 Verkle-compatible SELFDESTRUCT

For EOF: see this summary of EOF, this checklist and list of open question, as well as the Solidity Compiler tracking issue. Latest summary is the Mega EOF Endgame, and updated opcode arrangement. Finally, the meta EIP for EOF.

Other

1. EIP1153 Transient Storage Opcodes
2. EIP2315 Simple Subroutines for the EVM
3. EIP2537 Precompile for BLS12-381 curve operations
4. EIP5000 MULDIV instruction
5. EIP5843 EVM Modular Arithmetic Extensions (EVMMAX)
6. EIP5920 PAY opcode (for ether transfer)
7. EIP6188 Nonce Cap
8. EIP6189 Alias Contracts
9. EIP6189 Verkle-compatible SELFDESTRUCT
10. EIP6206 JUMPF instruction (EOF)
11. EIP7480 Data Section Access Instructions (EOF)
12. EIP7543 EVM decimal math
13. EIP7686 Linear Memory Limit

[DavePearce]

Notes

• The PEEPanEIP playlist contains interesting observations.
• The execution specs list of mainnet upgrades provide useful information.
• See this discussion regarding EOFv2 design.