Protocol Team 1/24/25

[tynes]

Protocol Sync @today

Agenda

• Interop Roadmap
• Decisions
  • Proof blocked on L2ToL1MessagePasser storage root in header. Without this, L2 nodes will need to be a full node to be able to reorg based on the proof design that is optimizing for cheap defense in the top half of the dispute game
    • This means it has to land is isthmus
    • PR: https://github.com/ethereum-optimism/optimism/pull/13962/files
    • https://github.com/ethereum-optimism/op-reth/actions/runs/12951874400/job/36128456323
    • Testing reth against open PR above
      • Could be isthmus: activation updates optimism#13973
  • Proof blocked on L2 Pectra support. This is so reduce the time it takes to compute the proof, by using the blockhash accumulator EIP that is being added to jump back in history more quickly rather than going one header at a time
    • Seb is working on upstreaming the latest geth changes so that we can build on this
• Supervisor: Reorg Support + Stability coming along
• L1 Pectra Support coming along
  • This is critical to prevent chain halts and the bridge falling back to permissioned
  • Question: if we cherry-picked commits, how do we keep git history linear and clean? Should we just rebase rather than cherry pick?
  • Question: do we still need to ignore SetCode txs or can we reduce the need to write extra test cases and just process those transactions now that we know how to given we did the work to rebase?
    • Decision: ???
  • Kona: already implemented, good to go
    • Just need to cut a release and update the version on VM runner
• L2 Pectra
  • Emilia + Andreas, good work with the specs so far
  • [Tracking] Pectra support / Isthmus #23
  • Dependency for a devnet that has the proof system
    • First one targeting: end of Feb
    • Ideally we at least have 2935 merged in earlier for the proof to build on top of
• Proof work
  • https://github.com/orgs/ethereum-optimism/projects/94/views/18
  • kona tracking: https://github.com/orgs/op-rs/projects/4/views/5 / [TRACKING] Interop support op-rs/kona#921
  • Any other blockers right now?
  • Seems like a good time for Clabby to backport specs?
    • Issues for proof specs: http://github.com/ethereum-optimism/specs/issues/539
• Asterisc
  • Please don’t think about it anymore
  • Kona is giving value TODAY, we have other teams building proof systems for us with it
• Reth
  • Any blockers?
  • Goal: be ready for isthmus devnet + interop devnet