EIP 7251 解释
- AI 翻译官
- 更新于 2024-04-21 18:04
- 阅读 1101
EIP 7251 解释
一个非技术指南，了解 EIP 7251 提议的变化
实质上，EIP 7251 是对以太坊验证者网络快速增长和成功的反应。它希望通过解决计算限制和简化验证者操作，为以太坊持续的可扩展性和功能性铺平道路。
以太坊网络大约有 800k 个验证者，并且按照当前增长速度，到 2023 年底将超过一百万。
尽管这种增长是积极的，但它给网络带来了压力。
以太坊研究员 Aditya 在 2023 年 5 月讨论了 P2P 网络的压力。
在此之后，以太坊基金会的 Devops 在新的 Holesky 测试网（Holesky 于 2023 年 9 月推出，将取代 Goerli 作为一个权益、基础设施和协议开发者测试网。）上运行了一些测试，开发人员发现客户端软件的计算限制正在进行测试；在 210 万个验证者时，由于大量验证者过度使用对等网络，链无法完成最终确定性。
按照当前的速度，以太坊主网上的验证者将在短短 11 个月内达到 210 万，并有可能面临类似的最终性问题。
跟踪验证者数量：https://beaconscan.com/statistics
测试结果: https://notes.ethereum.org/@parithosh/bigboi-beaconchain-test-2
Pari，DevOps：
“我预计测试将是一个基本的合理性检查，我们可以进行一个 210 万的测试网，并且我们可以承诺 Holesky 在该值以下；第一次失败有点让我吃惊，并引发了一系列关于我们可以在哪里使用这些数据的想法。看起来我们无意中发现了信标链的一些上限。”
这些测试显示，以太坊主网将面临这么多活跃验证者的计算限制。节点上的计算负载可能会因网络层的消息量增加而增加 3 倍。https://ethresear.ch/t/removing-unnecessary-stress-from-ethereums-p2p-network/15547
潜在解决方案
这个问题已经在全核心开发者会议上讨论过，以太坊研究人员一直在讨论可以实施的潜在行动。
- Dapplion 提议将每个时期的验证者进出限制设定为 12 个*目前，随着验证者集合的增长，活跃验证者的限制也在增长；这将限制增长——然而，其他开发人员反对实施这一短期修复。
- 以太坊研究员 Dankrad 表示，在他看来，调整验证者的奖励曲线是一个更公平的方式，来限制验证者集合大小的增长，而不是设定进出限制。
- 由以太坊研究人员创建的 EIP 7251 提议是允许一个验证者持有最多 2048ETH；这个范围内的每个 ETH 都有机会获得奖励并提出区块。
EIP 7251
为了解决验证者数量的增长，EIP 7251 提议更改验证者结构中的一个字段，不影响其他领域，比如验证者经济。
受到影响的字段是 MAX_EFFECTIVE_BALANCE（‘最大有效余额’）。
- 有效余额：代表每个验证者抵押的 ETH 数量。它有助于：
- 决定何时激活验证者。
- 计算惩罚和奖励。
- 衡量验证者的见证。
- 选择一个提议者。
- 将验证者分配给一个委员会，等等。
- 它被限制在由 MAX_EFFECTIVE_BALANCE（目前为 32 ETH）设定的最大值。
- 如果验证者的余额超过这个上限，额外余额的提取将被激活。
新提议有效地设定了 32 ETH 的最小值和 2048 ETH 的最大值。允许多个验证者合并为一个。
- 创建一个‘最小有效余额’为 32 和一个‘最大有效余额’为 2048
- 64 个验证者可以合并为一个。
为什么应该增加 MAX_EFFECTIVE_BALANCE
- 未来升级：
- 当前的验证者集合大小阻止了实现“单槽最终性”。
- 引入固定的提议者-构建者分离（ePBS）在当前庞大的验证者集合下变得风险较大。
- 当前共识层挑战：
- 大型验证者集合导致延迟和资源利用问题。
- 网络的 P2P 层面临挑战，因为来自不同验证者的许多证明。
- 每个时期由于验证者超过当前 MaxEB 而产生高额提取负载。
- 从验证者的角度看：
- 独立抵押者： 他们无法像抵押池那样复利他们的奖励。通过提高 MaxEB，任何规模的验证者都可以复利奖励。
- 大规模抵押者 目前管理成千上万的验证者，这使得操作上非常繁重。提高上限可能会减少他们的操作开销。
示例
A) 如果你是抵押 256k ETH 的大型运营商，有 8000 个验证者，这个提议将允许你减少到 125 个验证者。
B) 如果你是持有 40ETH 的独立抵押者，现在你可以使用你的全部余额（40）来获得奖励。目前，独立抵押者无法像更大的池子那样进行复利。
反对增加 MaxEB 的原因：
- 简单性： 当前系统具有固定的约束，使得对不同共识方面进行推理更容易。改变这一点可能会使注意力从其他关键领域转移。
- 委员会考虑：
- 鉴于验证者抵押的数量不同，分区可能导致委员会中的影响不均衡。
- 减少验证者集合可能增加恶意行为者主导委员会的概率。
罚没风险分析
在大型抵押池反馈中提出的最大关注点是可能发生重大罚没事件。
基于此，提出了新的分析和新的二次方衡量：
- 调整初始惩罚，使其不随验证者余额增加而增加，或者增加但比以前的速度慢。
- 相关惩罚被修改为二次方衡量而不是线性衡量。
相反，我们建议保持见证和不活跃错失惩罚不变。
完整详情请参阅：https://ethresear.ch/t/slashing-penalty-analysis-eip-7251/16509
另一个与EIP 7251 一起被节点运营商强烈希望引入的 EIP 是 EIP-7002：执行层触发退出。
验证者使用两个密钥：用于日常任务的活动 BLS 密钥和用于管理抵押 ETH 的提取凭证。
虽然活动密钥经常被使用，但只有它可以启动验证者的退出。
当不同方持有这两个密钥时，这种设计可能会导致问题，因为抵押的 ETH 所有者（提取凭证持有者）需要帮助独立启动提取过程。
这可能会导致信任问题，比如活动密钥持有者可能会扣留 ETH。为了解决这个问题，新规范允许具有 0x01 提取凭证的人触发退出，为所有用户（包括智能合约）提供对抵押 ETH 的无信任控制。
其他关键点
- 这也是一个‘选择加入（opt in）’的提议，因此独立抵押者/池可以继续获得自动奖励，就像目前的情况一样。
- 合并也是对整个以太坊网络健康的一种亲社会行为。此外，验证者的合并可能减少抵押池需要维护的信标节点数量。这可能会降低操作/基础设施成本。
- 我们相信提高
MaxEB不会对协议的安全性产生实质性影响。请参阅安全考虑文档获取更多详细信息。 - 提议的自定义提取金额，即验证者可以退出 2048 ETH 中的 400 ETH 而无需完全退出。
- 以太坊研究员 Aditya 提出了一个非常有力的观点，即 DVT 可以增加大型验证者的安全性 DVT 可以通过增加 MaxEB 来增加安全性。
“目前，大型抵押者将他们的抵押分成在独立机器上运行的多个验证者（我希望如此！）。通过将他们的抵押合并为在一台机器上运行的单个验证者，他们将在他们的抵押基础设施中引入一个单点故障。解决这个问题的一个很棒的方法是分布式验证者技术（DVT）22，它通过允许一个验证者从一组机器中运行来引入弹性。”
这会影响网络的去中心化吗？
当前系统目前通过单个质押者可以运行多个验证者来膨胀以太坊的去中心化。
该提案将提供更现实的概述，同时允许：
- 未来升级不受阻碍（例如单个插槽终态 ）
- 改进当前共识机制和点对点层的性能。
- 提升小型和大型验证者的运营效率。
- 未来可能降低 32 ETH 的要求。
潜在时间表：
EIP 7251 将包含在 Electra 中。Deneb 之后进行共识层升级。
EIP 7251 资源：
首次讨论减轻点对点网络压力
https://ethresear.ch/t/removing-unnecessary-stress-from-ethereums-p2p-network/15547
测试 210 万个验证者
https://notes.ethereum.org/@parithosh/bigboi-beaconchain-test-2
EIP 7251 提案
https://ethresear.ch/t/increase-the-max-effective-balance-a-modest-proposal/15801
EIP 7251 常见问题
https://notes.ethereum.org/@mikeneuder/eip-7251-faq
惩罚分析
https://ethresear.ch/t/slashing-penalty-analysis-eip-7251/16509
[DRAFT] 增加 MAX_EFFECTIVE_BALANCE — 一个适度的提案
https://notes.ethereum.org/eFrRbZUkT3OoF2md08gSoA
先前讨论
https://ethresear.ch/t/horn-collecting-signatures-for-faster-finality/14219
最初发布在https://hackmd.io/@zd6Q_haMSAe5v3MM5IFZ9Q/EIP7251Explainer
