EOF Breakout Room #5

[lightclient]

Meeting Info

• Jan 02, 2023, 15:00 UTC
• Duration: 60 minutes
• Zoom: https://ethereumfoundation.zoom.us/j/81178422063?pwd=bFJIL3YwWXovZGZZWHN5VUJwZDRHQT09
  📅 Subscribe to the Ethereum Protocol Call calendar for calendar invites

Agenda

• Client updates
• Compiler updates
• Spec updates
  • JUMPF removed
  • RETF does not clean stack
  • PC deprecated
  • status of EIPs/#5993
  • allow extra data after container for init code (better constructor support)
• Testing updates
  • in progress tests by Ipsilon: EIP-3540: Unified Spec Tests tests#1127
  • in progress tests by @marioevz + @lightclient: https://github.com/lightclient/execution-spec-tests/tree/eof-tests/fillers/eof1
  • fuzzing via eofparse
  • other?
• Testnet planning

[chfast]

If time left, discuss the EIP-3860 issue: https://ethereum-magicians.org/t/eip-3860-limit-and-meter-initcode/7018/15.

[chfast]

Quick spec updates:

• JUMPF removed for now,
• RETF does not clean stack automatically,
• PC deprecated and is rejected during EOF validation,
• Updated EIP-5450 for review: EIP-5450: Revision 2 EIPs#5993

[gcolvin]

JUMPF removed for now,

No tail call optimization :(

[lightclient]

Moved to Monday @ 1500 UTC.

[lightclient]

Main spec outcomes:

• don't allow extra data after initcode for now
• no DATACOPY opcode for now, but generally a good idea
• if don't have DATACOPY though, CODECOPY must be used and that doesn't sit well with the proposal to ban code introspection and would therefore require an EOF bump to depracate.

[poojaranjan]

Notes: https://hackmd.io/@poojaranjan/EOFBreakOutNotes#-Notes-5

[poojaranjan]

Recording: https://www.youtube.com/watch?v=Q-sUTwCvm6M