EOF Implementers Call #66

[poojaranjan]

Meeting Info

• Date & Time: February 5th, 2025, 15:00 UTC
• Duration: 60 minutes
• Zoom: Link

📅 Subscribe to the Ethereum Protocol Call calendar for calendar invites

Resources

• Current specs
  • EIP-7692: EVM Object Format (EOFv1) Meta
  • EOFCREATE hashing + Cross chain addresses potential features and scenarios
  • 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
• EVM (EOF) Taxonomy
• 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
  • Implementation Matrix
• Solidity + EOF POC summary
• Matrix on evmobjectformat.org

• Prev meeting notes

Agenda

• Testing Updates
  • General EEST updaes (mario)
  • Converting legacy tests to EEST (@chfast)
• Client and Compiler Update
• Non-specification Issues:
  • Proposed testnet plan: https://notes.ethereum.org/@ipsilon/eof-testnets-plan
• Specification Issues
• Osaka-1 cleanup items
  • Document code section type malleability ipsilon/eof#176
  • Remaining List of items
    • Modify type section to have "additional stack" instead of total stack
    • Change EOFCREATE stack order to match EXTCALL
    • Any other stack arg re-ordering to align with legacy or other EOF ops
    • Rename RETURNCONTRACT to RETURNCODE
    • Change data section index from 0x04 to 0xff
      • Retire the 0x04 header ID.
    • Change CREATE/CREATE2 to an exceptional halt when seeing EOF (was fails and returns 0)
  • TXCREATE EIP-7873
    • Q: Do we need to block DELEGATECALL?
      • Will impact generated address namespace
    • Q: Is address hashing OK with everyone?
    • Q: Is toehold contract OK wih everyone?
    • Q: What other toehold variants for the ERC?
    • Add Metadata Section EIP-7834
    • Add EXTCODETYPE EIP-7761
    • Add CODEADDRESS opcode

Please add other agenda items or links to discuss.

Next call on February 19th, 2025

[abcoathup]

Eth Magicians: https://ethereum-magicians.org/t/eof-implementers-call-66-february-5-2025/22700

[chfast]

If time permits, I'd like to discuss:

1. Progress on converting EOF validation tests from ethereum/tests to EEST.
2. Document code section type malleability ipsilon/eof#176

[shemnon]

• Testing Updates

  • General EEST updaes (mario)
  • Converting legacy tests to EEST (@chfast)

• Client and Compiler Update

• Non-specification Issues:

  • Proposed testnet plan: https://notes.ethereum.org/@ipsilon/eof-testnets-plan

• Specification Issues

  • Osaka-1 cleanup items
    • Section Type Malliability ipsolon/eof#176
    • Remaining List of items
      • Modify type section to have "additional stack" instead of total stack
      • Change EOFCREATE stack order to match EXTCALL
      • Any other stack arg re-ordering to align with legacy or other EOF ops
      • Rename RETURNCONTRACT to RETURNCODE
      • Change data section index from 0x04 to 0xff
        • Retire the 0x04 header ID.
      • Change CREATE/CREATE2 to an exceptional halt when seeing EOF (was fails and returns 0)
  • TXCREATE EIP-7873
    • Q: Do we need to block DELEGATECALL?
      • Will impact generated address namespace
    • Q: Is address hashing OK with everyone?
    • Q: Is toehold contract OK wih everyone?
    • Q: What other toehold variants for the ERC?
  • Add Metadata Section EIP-7834
  • Add EXTCODETYPE EIP-7761
  • Add CODEADDRESS opcode

[poojaranjan]

Recording: https://www.youtube.com/watch?v=uh9i2sdwxRs

[poojaranjan]

Closing in favor of #1277