2023年首届以太坊核心开发者大会：延期EOF，暂定3月上海升级

1 月 5 日，以太坊开发者在休整两周后召开了 2023 年第一次全核心开发者（ACD）电话会议。 从 2023 年开始，ACD 电话会议将更名为 ACD 执行 (ACDE) 电话会议，以反映开发人员对以太坊执行层变化的担忧。 他们还将在 @EthereumProtocol YouTube 频道而不是 @EthereumFoundation YouTube 频道上进行直播。 ACDE 电话会议由以太坊基金会的 Tim Beiko 主持，是以太坊开发人员讨论和协调以太坊协议变更的两个会议系列之一，而开发人员已更名为 ACD 共识 (ACDC) 电话会议的另一个系列专注于与以太坊共识层开发相关的主题。

在第 152 次全核开发人员执行 (ACDE) 电话会议上，开发人员同意从上海升级中删除与 EOF 实施相关的代码更改。 有关 EOF 的更多信息，请在此处阅读上次电话会议的文字记录。 他们还同意拒绝在上海升级中增加新的EIP，这主要是为了保证不耽误质押的ETH提现时间表。 作为上海升级中唯一的重大代码变更，质押ETH提现功能目前正在开发者测试网上进行测试。 据悉，开发者计划于下个月启动上海/卡佩拉升级的公共测试网，并暂定于2023年3月的某个时间启动主网升级。开发者随后简要讨论了以太坊执行层之间不同序列化方式的问题和共识层2023年以太坊，以及引入 Poseidon 哈希函数作为 EVM 的预编译新 EIP。

上海升级计划

以太坊基金会 DevOps 工程师 Barnabus Busa 更新了质押 ETH 提现测试的状态。 他表示，圣诞节前上线的上海开发者测试网已经推进到4000个区块。 目前，所有 EL 和 CL 客户端组合都在此测试网上运行，一些客户端组合如 Teku-Erigon 和 Lighthouse-Erigon 遇到问题。 Busa 提到，在客户团队的帮助下，开发人员正在努力尽快推出新的开发人员测试网。

然后，以太坊基金会 Geth (EL) 客户端的软件开发人员 Marius van der Wijden 向上海提交了一个小的设计变更，以升级其中一个较小的 EIP（EIP 3860‌）。 提议的更改纠正了此 EIP 中令人困惑的故障模式，其中违反 initcode 约束会导致零地址错误而不是 OOG 错误。 根据以太坊基金会 Ipsilon 团队的开发人员 Pawel Bylica 的说法，这样做的最初动机是为了提高用户友好性。 但是，开发人员同意将故障模式更改为 OOG 错误将减少客户端实现中的混乱和错误。

延迟 EOF 以将其排除在上海升级之外

接下来，一位以太坊基金会Geth（EL）客户端软件开发者（别名“lightclient”）介绍了EOF实现的最新进展。

作为背景，EOF 代表 EVM 对象格式，它对以太坊的代码执行环境进行了一些更改。 在其他变化中，与 EOF 实施相关的 EIP 将改进以太坊的交易格式，以更清晰地分离智能合约代码和数据，并帮助 EVM 在未来更容易升级。 Lightclient表示，在假期期间，从事EOF实现的开发人员召开了两次会议，讨论了相关的EIP规范。 在这些会议期间，开发人员同意删除其中一个 EIP（EIP 6206‌ 因为其复杂性），并使这些 EIP 的数据部分成为强制性而非可选的，以略微提高数据解析的易用性。 据lightclient消息，EOF EIP的测试也在进行中。 EOF EIP 的参考测试尚未正式发布，但以太坊基金会安全负责人 Martin Holst Swende 已经开始对 EOF 的不同客户端实现进行差异测试（也称为差异模糊测试）。

“创建一个最适合 EOF 的 [测试] 案例并不容易，问题是存在很多陷阱。例如，如果你想让某事以某种方式失败，在 EOF 你必须非常具体并且你有确保测试不会在其他地方失败，直到你真正想要测试的东西。所以，我认为如果我们能以某种方式集中错误，那将是非常有价值的，”以太坊基金会测试团队的 Mario Vega 说。

基于 EOF 实施和测试的现状，Tim Beiko 提出了开发者在下一次（上海）以太坊升级中包含这些 EIP 是否仍然可行的问题。 关于这个话题，以太坊联合创始人 Vitalik Buterin 表达了他对仓促实施 EOF 的担忧，因为目前没有明确的路线图来确保未来对 EVM 的升级不会更加繁琐并增加以太坊的技术债务。 维塔利克说：

“在 EVM 中，删除一些东西比删除其他功能要难得多，你有用 EVM 代码编写的应用程序，如果 EVM 发生变化，那么这些应用程序就无法更改......我最大的担忧之一是改进EVM ，特别是因为很难弃用和实际删除某些东西，EVM 开发的理念基本上允许进行大量持续改进，而不是非常快速地处理一些真正接近于不改变的东西，这会让我们冒着创造一个的风险[EVM] V2，然后创建一个 V3，然后创建一个 V4，但仍然需要 V1、V2 和 V3 作为共识代码的一部分，因为我们没有很好的方法来删除它们。”

对此，来自 Erigon (EL) 客户团队的 Andrew Ashikhmin 表示担心，如果开发人员将 EOF 实施推迟到“完美”时，他们也会失去测试实施的动力和机会，从而得不到对所提议的反馈代码更改真实反馈。 Ashikhmin 在电话会议上说：

“如果我们试图让它变得完美，那么它就像一个永无止境的超级项目。”

针对围绕 EOF 实施的持续不确定性，以太坊基金会研究员 Ansgar Dietrichs 建议开发者从上海升级中撤回相关 EIP，并承诺在未来几周内积极解决这些实施问题以及未来的发展方向EVM 升级。 Van der Wijden 表示，在他看来，试图在本周的电话会议上决定 EOF 的实施似乎很仓促，他说：“我认为现在就 EOF 做出决定有点压力，我不认为”不觉得是好事，对此，lightclient承认，根据假期期间EOF测试的进展情况，将其纳入上海升级会延迟整个升级一个月左右，Lightclient在电话会议上提到： “如果我们尝试在 2 月初进行主网测试网升级，我认为到那时我们还没有准备好。”

在开发商同意将 EOF 实施排除在上海升级之后，Beiko 提出再等两周再决定是否将 EOF 纳入上海之后的坎昆升级。 在之前的电话会议中，开发人员同意将 Cancun 升级的重点放在 ‌（proto-danksharding）上，而从 Beiko 的角度来看，如果 EOF 再次被拒绝，过早地在 Cancun 中包含 EOF 可能会导致混乱。 Lightclient 反对这个想法，认为如果开发人员不承诺在像坎昆这样的升级中实施 EOF，它将延迟实施并进一步削弱 EOF 的势头。 Beiko 回应称，何时包括 EOF 实施的问题将在两周后的下一次 ACDE 电话会议上重新讨论，这应该不会对 EOF 的势头产生重大影响。 有关各个核心开发人员关于 EOF 实施和 EVM 升级的前进道路的建议的更多详细信息，请参阅 ‌和 ‌。

由于 EOF 被排除在上海升级之外，Marius van der Wijden 暂时提议将 ‌ 纳入上海升级，而与会的几位开发者则强烈反对在上海升级中加入新的 EIP 以减少抵押 ETH 的延迟。 付款风险。 开发人员随后重申了他们的承诺，即尝试以 2 月初为目标启动上海公共测试网。

RLP 还是 SSZ？

开发人员还讨论了以太坊 Nimbus (CL) 客户端团队开发人员 Etan Kissling 的提议。 Kissling 在之前的 ACDC 电话会议上分享了这个提议，总结如下：简而言之，在 EL 块头和 CL 执行负载头之间有两个字段使用不同的序列化格式编码。 由于这两个字段的编码方式不同，这给构建钱包和以太坊轻客户端带来了额外的开销和复杂性。 Kissling 提出的解决方案之一是在 EL 中添加一种在 CL 中使用的新序列化格式（称为 SSZ）。 或者，CL 客户端可以合并方法来支持 EL 中称为 RLP 的代码。 然而，这并不理想，因为 SSZ 格式是一种用于编码结构化数据的更现代和更新的序列化格式。 在任何一种情况下，所涉及的编码数据字段都与质押的 ETH 提款相关，因此在 EL 或 CL 端进行任何更改以确保数据格式的一致性都需要以太坊客户端团队进行额外的工作。 Andrew Ashikhmin 强调，围绕这个问题的决定是“紧急的”，因为它与上海的升级有关。

为了让客户团队有更多时间考虑 Kissling 提出的解决方案之间的权衡，Beiko 建议开发人员在下周的 ACDC 电话会议和 1 月 19 日的下一次 ACDE 电话会议上重新讨论该主题。 会议决定做什么。 可在此处找到下周四（1 月 12 日）ACDC 电话会议的议程。

生态知识产权 5843 和生态知识产权 5988

最后，开发者简单讨论了两个新的 EIP。 ‌ 向以太坊虚拟机 (EVM) 引入高效的模块化加法、减法和乘法，这是以太坊基金会软件开发人员 Jared Wasinger 提出的 EIP。 然而，Jared 没有出席本周的电话会议，这就是为什么开发人员同意在未来某个日期重新访问 EIP 的原因。

随后是 StarkWare 探索总监 Abdelhmaid Bakhta 的演讲，介绍了以太坊的新预编译2023年以太坊，提高了在网络上运行零知识证明的效率。 “基本上，每次我们想要证明像 Merkle 证明这样的存储证明时，在以太坊上都非常昂贵，因为我们没有任何 ZK 友好的哈希函数，”Bakhta 解释道。 对于这个EIP，以太坊基金会研究员Dankrad Feist表示，在他看来，将任何类型的算术哈希函数纳入协议还为时过早，因为它们目前处于早期测试性质，它们可能对以太坊有害。 对安全的未知影响。