以太坊升级路线图 Electra/Prague硬分叉提案细节

首页 > 业界 > 区块链 2024-01-25 16:56:17

币界网报道：

作者：Phil Ngo，Lodestar团队翻译：善欧巴，

随着 Deneb/Cancun 更新即将完成，客户端团队被要求就下一次 Electra/Prague 硬分叉的包含内容提供建议。本文旨在概述 Lodestar 主要贡献者的综合共识，其灵感来自于 Paradigm 的 Reth 团队的文章，并得到了 AllCoreDevs 执行会议对 179 的赞扬。

要点：

以太坊客户端团队在 AllCoreDevs 执行会议 179 上普遍同意，利用升级的势头，在 2025 年主网上部署 Verkle 树（一项预计在 2025 年完成的重大工作）之前，于 2024 年进行一次较小的分叉。其他团队可以同时进行平行工作流程。
对于 Lodestar 等共识客户端，主张包含以下 EIP 是合理的：

EIP-7495：SSZ StableContainer
EIP-6493：SSZ 交易签名方案
EIP-6404：SSZ 交易根
EIP-6466：SSZ 收据根
EIP-6465：SSZ 退出根
EIP-6110：在链上提供验证器存款
EIP-7002：可由执行层触发的退出
EIP-7251：增加 MAX_EFFECTIVE_BALANCE
EIP-7549：将委员会索引移到 Attestation 外部
EIP-7594：PeerDAS
SSZification
EIP-3074：AUTH 和 AUTHCALL 操作码

Electra 包容性的支持性共识 EIP

我们认为 Electra 应该包含以下以太坊改进提案（EIP）：

EIP-6110：在链上提供验证者存款

该提案旨在将验证者存款附加到执行层区块结构中。eth1data这一变化将把存款纳入和验证的责任转移到执行层，从而消除共识层对存款（或）投票的需要。区块中的验证者存款列表将通过解析给定区块中包含的每笔存款交易发出的存款合约日志事件来获得。

该纳入将提高存款的安全性，减少存款提交和处理之间的延迟，消除对 JSON-RPC API 数据轮询的依赖，并降低执行和共识客户端之间的复杂性。

EIP-7002：执行层可触发退出

EIP-7002 建议添加一个新的有状态预编译，允许验证者使用其执行层 () 撤回凭证触发信标链的退出0x01。这种机制使得这些新的执行层退出消息能够附加到执行层块以供共识层读取。

包含此 EIP 将有助于更好地控制验证者，并改善托管安排的安全性。该 EIP 对于流动质押运营商和智能合约控制的验证者特别有用，可以减少可信的集中管理。除了简化退出验证者的过程之外，失去活动密钥访问权限的验证者仍然可以使用其提款凭证退出并恢复资金。质押者（集体和单独）的巨大用户体验改进证明了这种包容性。

EIP-7251：增加 MAX_EFFECTIVE_BALANCE

EIP-7251 建议提高MAX_EFFECTIVE_BALANCE来减少验证器集大小，从而减少 P2P 消息、BLS 签名聚合和 BeaconState 内存占用的数量。这一变化对小型和大型验证者都有好处，允许更灵活的质押增量和复合奖励。

尽管讨论仍在进行，并且正在对规范进行优化，但获取最新信息以就其是否处于纳入准备状态做出明智的决定非常重要。我们认为，这个 EIP 对于确保最大程度的去中心化、网络带宽优化以及节点的计算开销至关重要，因为超过 210 万个验证器的“Big Boy”（Holesky 之前）测试网确定验证器状态存在理论上的上限。

EIP-7549：将委员会索引移至认证之外

EIP-7549 的主要目标是将委员会索引字段移到签名的证明消息之外。这一变化旨在允许平等共识投票的聚合，从而使共识规则的验证更加高效。

这种实现的简单性和证明过程的优化证明将其纳入信标链的性能是合理的。

EIP-7594：PeerDAS

PeerDAS 旨在利用以太坊中已投入生产的知名且经过实战检验的 p2p 组件来扩展数据可用性，使其超出 EIP-4844 提供的范围，同时保持诚实节点的工作负载与 EIP-4844 中的类似（每个插槽下载少于 1MB）。

我们相信，该提案可能会成为下一次共识硬分叉的最大实施工作。数据空间可能是区块链中最重要的商品之一。提高可扩展性所带来的好处将证明这项工作的合理性。通过重用可靠的组件，我们可以更轻松地实现此功能，同时为各种规模的单个节点维护可管理的工作负载。

SSZification

本部分包含以下完整完成的 EIP：

EIP-7495：SSZ 稳定容器
EIP-6493：SSZ 交易签名方案
EIP-6404：SSZ 交易根
EIP-6466：SSZ 收据根
EIP-6465：SSZ 提款根

我们支持 SSZ 数据结构的一致性，并希望继续向 SSZ 化这些结构过渡，即使速度很慢。高效的Merkle Proofs将有助于进一步赋能轻节点/客户端，并在数据存储、网络传输和代码复杂度方面带来更多优化。我们首先建议支持和StableContainer迁移，因为这些结构更有可能通过每个硬分叉进行修改。BeaconBlockBodyExecutionPayload