The conversation covers the agenda items for DevNet 4, including EIPs 70, 71, and 72, as well as the impact of the Engine API change on gas limit. It also discusses the limitation of deposit transactions on the EIA side, benchmarking and testing with Prism and Teku, and potential solutions for an overflow issue. The conversation covers the introduction of optional proofs for execution, collaboration with the broader community, sub-linear and stateless validation, opt-in proof generating and verifying modes, infrastructure and observability improvements, and standardizing the input for guest program execution. The discussion is divided into three main chapters: Introduction to Optional Proofs, Execution Proof Engine and API, and Execution Layer Specification.

Takeaways

• DevNet 4 includes EIPs 70, 71, and 72
• Discussion on Engine API change and its impact on gas limit
• Limiting the number of deposit transactions on the EIA side
• Benchmarking and testing with Prism and Teku
• Overflow issue and potential solutions Optional proofs for execution
• Collaboration with the broader community
• Sub-linear and stateless validation
• Opt-in proof generating and verifying modes
• Infrastructure and observability improvements
• Standardizing the input for guest program execution

Chapters

• 00:00 DevNet 4 Agenda Items
• 13:21 Engine API Change and Gas Limit
• 39:22 Deposit Transactions Limit
• 45:03 Overflow Issue and Solutions
• 54:54 Execution Proof Engine and API
• 01:23:15 Execution Layer Specification