以太坊执行层精简路线图 2026 至 2030

视频 AI 总结： 本视频围绕以太坊“Lean Execution”路线图展开，重点讨论通过 ZKVM、形式化验证和协议改进，逐步把以太坊推向更高吞吐、低成本且保持去中心化的“终局”。演讲者介绍了从可选证明、强制证明到规范化实现的演进路径，并说明数据层、状态管理、抗审查机制与 RISC-V/Lean4 等技术如何协同支撑未来升级。 关键信息： 1. 以太坊长期目标是实现约 1 Giga gas/s 的 L1 吞吐，并扩展到全 L2 约 10M TPS。 2. ZKVM 通过“验证证明”替代“重新执行区块”，同时提升扩容与去中心化。 3. 证明将经历三阶段：可选证明、强制证明、最终规范化证明/规范化实现。 4. 证明延迟、证明大小、带宽开销是核心挑战，需依赖延迟执行、分片广播等优化。 5. 证明者硬件目标是：成本低于 10 万美元、功耗低于 10 千瓦，以支持“家庭证明者”。 6. 需在 ZKVM 和 Guest 程序两层保持多样性，未来可能转向经形式化验证的单一规范实现。 7. Fossil、inclusion lists、validity-only partial state 等机制用于提升抗审查与状态可维护性。 8. 状态增长将通过多维收费、状态裁剪、状态过期等方式治理。 9. RISC-V 被视为重要的 ZK ISA 候选，未来可能成为 EVM 底层规范或直接暴露给开发者。 10. 形式化验证与 AI 工具被看好，可显著降低 ZKVM、证明系统和数学定理中的错误风险。

LayerZero V2 深度解析：模块化跨链安全

视频 AI 总结： 该视频主要介绍了 Layer Zero 的跨链信息传递技术，旨在解决不同区块链之间信息孤立的问题，实现资产和数据的安全高效转移。Layer Zero 作为一个任意消息传递层，允许开发者构建跨链应用，并提供了比其他跨链平台更灵活和安全的解决方案。 关键信息： 1. **跨链信息传递的重要性：** 连接孤立的区块链，促进资产和金融服务的协调。 2. **Layer Zero 的核心功能：** 提供 permissionless、不可审查且代码不可变的跨链消息传递服务。 3. **安全模型：** 采用分散验证网络（DVN），允许应用选择和配置自己的安全堆栈，避免单点故障。 4. **可配置性：** 应用可以控制区块确认数、验证者类型和阈值，以及消息执行方式。 5. **消息传递流程：** 应用通过 Layer Zero 端点发送消息，经过验证后，由执行器传递到目标应用。 6. **应用层标准：** 提供 OAP、OFT 和 ONFT 等标准，简化跨链应用开发。 7. **Gas 优化：** 允许应用控制 gas 限制和消息值，实现无缝的用户体验。 8. **实际应用：** 支持 DeFi、社交、游戏、NFT 等多种场景，连接公共和私有网络。 9. **代码示例：** 演示了 ping pong 合约、速率限制器和可组合消息传递等用例。

EVM：从Solidity到字节码、内存和存储

在本次以太坊工程小组的会议中，David和Peter讨论了以太坊虚拟机（EVM）及其与Solidity编程语言的关系，重点介绍了EVM的工作原理、代码执行、存储、堆栈和内存等方面。 **核心内容概括：** 1. **EVM与Solidity的关系**：Solidity是用于编写以太坊智能合约的主要语言，EVM则是执行这些合约的环境。Solidity代码经过编译后生成字节码和ABI（应用程序二进制接口），后者定义了合约的功能和参数。 2. **以太坊交易结构**：交易包含nonce、gas价格、gas限制、接收地址、转账金额和数据字段。合约部署时，接收地址为空，数据字段包含初始化代码。 **关键论据与信息：** 1. **EVM的存储结构**：EVM是基于堆栈的处理器，使用堆栈、内存、存储和代码等多种数据存储方式。堆栈用于临时存储，内存用于事务期间的临时数据存储，存储则是持久化的数据存储。 2. **合约部署与函数调用**：合约的初始化代码在部署时执行，设置合约的初始状态。函数调用通过ABI进行，EVM根据函数选择器和参数执行相应的操作。 3. **存储优化**：合理布局存储变量可以减少gas费用，尤其是在多个变量共享同一存储位置时。对于动态数组和映射，EVM使用KCAK256哈希来确定存储位置。 4. **错误处理与日志**：EVM支持多种错误处理机制，包括revert、assert和require等。日志是EVM的写入输出区域，用于记录事件。 会议还提到了一些未来的讨论主题，包括代码的梅克尔化、跨合约调用的效率、异常处理等。与会者被鼓励提出更多的讨论话题，以便在未来的会议中深入探讨。