EOF Implementers Call #54

[poojaranjan]

Meeting Info

July 24, 2024 , 15:00 UTC

Duration: 60 minutes

Zoom: https://us02web.zoom.us/j/88940506383?pwd=aTdsbHVyMTNDSUFHYmhTWlI2ZEVldz09

📅 Subscribe to the Ethereum Protocol Call calendar for calendar invites

Resources

• Current specs
  • EIP-7692: EVM Object Format (EOFv1) Meta
  • EIPs Included
    
    EIP-3540: EOF - EVM Object Format v1
    EIP-3670: EOF - Code Validation
    EIP-4200: EOF - Static relative jumps
    EIP-4750: EOF - Functions
    EIP-5450: EOF - Stack Validation
    EIP-6206: EOF - JUMPF and non-returning functions
    EIP-7480: EOF - Data section access instructions
    EIP-663: SWAPN, DUPN and EXCHANGE instructions
    EIP-7069: Revamped CALL instructions
    EIP-7620: EOF Contract Creation
    EIP-7698: EOF - Creation transaction
• EOF Meeting Playlist
• EOF explainers on PEEPanEIP
  
  EVM Object Format (EOF) with Danno Ferrin
  EVM Object Format (EIP-3540 & EIP-3670) with Andrei Maiboroda, Axic & Pawel
• EOF Testing Coverage Tracker
• Solidity + EOF POC summary
• Matrix on evmobjectformat.org

Agenda

• Client updates
• Compiler updates
• Spec updates
  • IS_CONTRACT vs multiple return codes for EXT*CALL for detecting EOAs and maybe EOF calls. Which is superior? Which should be specced out fully?
• Testing updates
  • short-term and long-term approach to the testing of EOF gas usage of opcodes
• Other items
  • Devcon Talks... Who is submtting and does anyone want collaborators?
  • A discussion on Fuzzing as part of testing updates

Please add other agenda items or links to discuss.

Next call on Aug 7th, 2024

[shemnon]

A couple of non-boilerplate items

• Devcon Talks... Who is submtting and does anyone want collaborators?
• A discussion on Fuzzing as part of testing updates

Also for spec updates

• IS_CONTRACT vs multiple return codes for EXT*CALL for detecting EOAs and maybe EOF calls. Which is superior? Which should be specced out fully?

[pdobacz]

Testing item:

• short-term and long-term approach to the testing of EOF gas usage of opcodes

[shemnon]

Third option for contract detection: use flags to detect if a contract was called, cleard after next CALL opeation.

[shemnon]

[ ] Post PR to reintroduce EXTCODESIZE in EOF. For now keep HASH and COPY banned.

[frangio]

An argument for enabling EXTCODEHASH too is the ability to work around the EOF→Legacy EXTDELEGATECALL restriction, which otherwise creates a new way to brick a proxy.

[shemnon]

Mario will look into adding fuzzing to EEST and report back with what it would take next call.

[shemnon]

In addition to gas cost testing we need OOG tests, to gauge OOG behavior.

[poojaranjan]

CLosing in favor of #1115