特别感谢 Justin Drake、Dankrad Feist、Alex Obadia、Hasu 和其他人对这篇文章不同版本的反馈和评论。
当前，(信标链) 以太坊区块需要 64-95 个 slot (约 15 分钟) 来实现最终敲定。在去中心化/敲定时间/开销权衡曲线上，选择这样一个中等时长、在任意维度都不差的权衡是合理的：15 分钟不算太长，与当前的交易所的确认时间相当，且这允许用户在常规计算机上运行节点，即使有大量质押了 32 ETH (而不是早期要求的 1500 ETH) 的验证者也能如此。然而，有很多关于将敲定时间减少到单个 slot 的很好论据。本文是一个处于研究状态的帖子，评估了一些用于实现此目的可能策略。
当前，大约有 285,000 个验证者，这些账户已经存入了 32 ETH，因此可以参与以太坊 staking (质押)。验证者数量并不与实际参与质押的用户 (质押者) 数量完全对应：一些富有的质押者可能控制着数百个验证者。32 ETH 的最低质押要求限制了可能的验证者账户数量，确保了以太坊链仍然拥有计算能力来处理这些账户。
每个 slot (12 秒) 会有一个新区块被添加到链中。在每个 slot 中，还有数千个 (由验证者提交的) 证明 (attestations)，用于对 (信标链) 链头进行投票。有一个称为 LMD GHOST 的分叉选择规则，该规则会将这些证明作为输入，来确定链的头部。这种由数千个证明进行的并行投票，使得以太坊要比传统的最长链系统更加强健：除非发生一次主动攻击 (active attack) 或者一个重大的网络故障，不然即便是单个 slot 也几乎永远不会被逆转 (恢复)。
这些证明还有第二个目的：它们在一个称为 Casper FFG 的大规模共识算法中扮演着选票 (votes) 的角色。每个 epoch (每 32 slots 称为一个 epoch，约 6.4 分钟)，所有活跃的验证者都有机会进行一次证明。两轮之后，如果一切顺利，前一个 epoch (以及其中的所有区块) 将被敲定 (finalized)。一旦某个区块被敲定了，逆转该区块将至少需要所有验证者中的 1/3 验证者数量销毁它们的存款 (质押金)：攻击成本超过了 300 万 ETH。
Vitalik：以太坊需要改进的不仅是协议的功能，需要对应用程序和钱包进行深度改变:金色财经报道，以太坊创始人Vitalik Buterin发布《The Three Transitions》文章。Vitalik称，当以太坊从一个年轻的实验性技术过渡到一个成熟的技术栈，能够真正为普通用户带来开放、全球和无需许可的体验，堆栈需要大致同时经历三个主要的技术过渡：向L2扩展过渡，每个人都转向Rollup；向钱包安全过渡，每个人都使用智能合约钱包；向隐私过渡，确保保护隐私的资金转移可行。
由于上述原因，这三个转变至关重要。但它们也具有挑战性，因为要妥善解决这些问题需要密切协调。需要改进的不仅是协议的功能；在某些情况下，我们与以太坊交互的方式需要从根本上改变，需要对应用程序和钱包进行深度的改变。[2023/6/9 21:27:01]
持续地审查验证者或交易同样成本高昂，尽管抵抗审查攻击需要额外的协议干预。如果 51% 的验证者开始审查 (验证者或交易)，受害者和用户可以协调发起一个少数软分叉 (minority soft fork)，他们在彼此的区块上构建，并忽略该攻击者。在这个少数软分叉上，该攻击者的存款将因为其受到了怠工惩罚 (inactivity leak) 而损失数百万 ETH，几周后，这条链将恢复敲定。
尝试改变现状并将敲定时间缩短在单个 Slot 完成，这里面有几个关键原因：
用户体验。大多数用户不愿意等待 15 分钟的敲定时间。今天，即便是交易所也时常在仅 12-20 次确认 (约3-5分钟) 就将用户的存款视为“敲定了”(finalized)，尽管 (与真正的 PoS 敲定相比) 这种提供 12-20 次的 PoW 确认的安全性较低。单个 slot 的敲定将满足用户越来越习惯的速度的同时，提供一个非常高的安全性。
抗 MEV 重组。在单个 slot 敲定将使得即使是大多数验证者也不可能为了提取 MEV (矿工可提取价值) 而对区块链进行重组。合并中的 LMD GHOST (分叉选择规则) 已经让这种情况的发生变得非常困难了，而在单个 Slot 敲定让这种保证更加强大，并创造了一个强大的、压倒性的抑制因素，甚至可以阻止恶意的绝大多数验证者串谋和攻击。可以参阅这篇文章，了解关于这个论点的更详细的阐述：
V神、孙宇晨支持的生命科学组织VitaDAO拟设营利性公司推动长寿技术发展:4月6日消息，由以太坊创始人“V神”支持创立的生命科学研究去中心化组织VitaDAO在推特宣布，正在投票决定是否创建一家营利性公司来确保和分配长寿研究的资金。该公司将命名为 VitaTech，作为 VitaDAO 的子公司/附属公司运营，它将利用公共资金来授权美国大学开发的长寿技术，并支持它们的持续发展。除V神外，波场TRON创始人孙宇晨此前也曾大力支持VitaDAO的发展。
今年1月，VitaDAO宣布完成410 万美元融资，融资方包括Coinbase的前首席技术官 Balaji Srinivasan、全球最大的药企辉瑞的投资部门 Pfizer Ventures，这也是辉瑞在 Web3 领域的首笔投资。VitaDAO 表示将会利用这笔资金进一步资助长寿研究项目和将于明年从DAO中剥离出来的生物技术初创公司。
去年10月，孙宇晨向VitaDAO旗下“长寿奖基金”进行捐款，孙宇晨也因此次捐赠成为“长寿奖基金”的第二大捐赠者，仅次于以太坊创始人V神。[2023/4/6 13:47:30]
https://www.paradigm.xyz/2021/07/ethereum-reorgs-after-the-merge/
有机会减少协议复杂性和 bugs。Casper FFG 敲定和 LMD GHOST 分叉选择规则之间的“接口”是使得协议非常复杂的一个来源，导致许多攻击需要相当复杂的补丁来修复，且还有更多的弱项定期在被发现。在单个 slot 敲定提供了一个在单个 slot 确认机制和该分叉选择规则之间创建一个更清晰的关系的机会 (只有当离线的验证者比例少于或等于 1/3 时才能运行)。协议复杂性的其他来源 (比如将验证者打乱分配至固定规模的委员会中) 也可能减少。
想法1：通过「超级委员会」来实现单个 Slot 敲定
不是所有验证者都参与每一轮 Casper FFG 共识，而是只有一个由几千名验证者组成的中型超级委员会 (a medium-sized super-committee) 参与，从而允许每一轮共识都在单个 Slot 中发生。相关的技术思想首先在这篇 etheresear.ch 帖子中进行了介绍：
Vitalik Buterin：中心化的任何东西都是有风险的:金色财经报道，以太坊创始人Vitalik Buterin在社交媒体上称，“默认情况下，中心化的任何东西都是有风险的，使用“DeFi和自我托管的精神”在本周表现非常好，但请记住它也有风险，智能合约代码中的错误。”
Vitalik表示“重要的是要防范它，保持代码简单、审计、形式验证等、深度防御。我最担心的是，如果我们在两年后的ZK-rollup中拥有100亿美元，并且由于电路约束代码或其周围的EVM封装器中的错误而被黑掉。对于后者，保持简单并进行形式验证。”[2022/11/16 13:13:32]
https://ethresear.ch/t/a-model-for-cumulative-committee-based-finality/10259
该帖子对这个想法进行了更加详细的介绍，但其核心原则如下：
并不是在每个 epoch 运行 BFT (拜占庭容错) 共识，而是在每个 slot 运行。这意味着一旦某笔交易被打包进某个区块中，那么在一个 slot 之后，逆转这笔交易的成本将是数千 ETH。
我们不依赖于全部的活跃验证者来敲定单个 slot。相反，我们依赖于一个随机挑选的、由几千名验证者组成的「超级委员会」(super-committee) 来敲定单个 slot。
只有当某个委员会不执行确认的职责的情况下 (这需要超过 1/4 的验证者离线或者是恶意验证者才会发生)，LMD GHOST 分叉选择规则才会被使用。如果这种情况发生了，那么该分叉选择规则会决定哪个区块才是链头，且该委员会将会受到怠工惩罚 (inactivity leak)，直到其再次开始执行确认职责。
?上图：如果某个委员会未能执行确认职责，那么区块链将使用分叉选择规则来决定哪个区块是链头，并对该委员会的验证者进行怠工惩罚，直到这些验证者的余额被削减到某一个程度，即剩余的验证者中有超过 2/3 的验证者余额处于在线，且该委员会再次执行确认。
安全团队：Vitalik出售25万亿枚SHIT币，价值约33000美元:金色财经消息，据派盾（PeckShield）监测数据显示，Vitalik.eth的地址0xd8da6b...7aa96045显示，25万亿枚SHIT币在Uniswap上被出售，价值约33000美元。[2022/8/4 12:01:49]
转向使用「超级委员会」的次级效益
从全局验证者转向超级委员会还有一些刺激效益：
运行验证者节点的计算负载变得更加稳定。运行验证者节点的计算要求不再需要与验证者总数成正比，迫使验证者拥有强大的机器以应对验证者数量的大幅增加，而是使得运行验证者节点的计算负载变得更加稳定，这样验证者就确切地知道他们需要什么计算需求。
大多数时候，验证者可以立即取款。当下不属于某个委员会的验证者将能够立即取款 (除非有非常多验证者正在取款，存在一个区块队列)。但即便是属于委员会的验证者也能够非常快速地取款 (1-5分钟)，因为委员会能够在基于单个 Slot 敲定的基础上进行快速轮换。只有在真正异常的情况下 (无论是意外的大规模取款还是正在进行的主动攻击)，验证者才会被要求留下来并继续保护区块链，直到一切恢复正常。
就验证者数量而言，超级委员会的规模应该“大到足以成为一个安全的委员会”。但委员会也必须在其 ETH 总量 (即委员会中所有验证者的总质押量) 方面足够大。被罚没和被怠工惩罚的 ETH 数量需要大于从攻击中实际可以获得的收益，而且它需要足够大，以阻止或使强大的攻击者破产，因为攻击者有巨大的外部动机来破坏这条链。
这个需要多少 ETH 的问题不可避免是一个直觉问题。你可以问下面这些问题来引导你的直觉：
假设以太坊链受到 51% 的攻击，社区需要花几天时间协调一个链下治理事件来恢复，但有 X % 的 ETH 会被销毁。这个 X 需要多大才能对以太坊生态系统带来净效益？
假设一个主要的交易所被盗走了数百万 ETH，然后该攻击者将收益进行质押并获得了超过 51% 的验证者数量。那么在该验证者偷来的所有资金被销毁 (罚没) 之前，他能够对区块链发起多少次 51% 攻击？
明星在其官网添加VIT支付:据Coindesk消息，美国明星Stormy Daniels在其官网中添加VIT支付，意在奖励观看视频的网站访问者，获得VIT的用户可以购买网站上的优质内容，或购买、订阅支持该令牌的其他网站的服务。Stormy Daniels称2006年与特朗普有过一段交往经历，并因此出名。[2018/5/25]
假设一个 51% 攻击者开始在很短的时间内重复重组区块链以捕获所有的 MEV。我们希望攻击者的每秒成本达到什么水平？
据 Justin Drake 估计，如今对比特币发起覆巢式攻击 (spawn-camp attack) 的成本 (也即在比特币社区改变 PoW 算法之前，反复对比特币进行 51% 攻击的成本) 约为 100 亿美元，相当于其市值的 1%。一次性 51% 攻击以太坊的成本应该比该成本高出多少倍？
上图：针对“你认为攻击以太坊的最低成本是多少？”的以太坊研究人员内部调查结果。
如果我们只关注不依赖延迟的 51% 攻击，那么 100 万 ETH 的攻击成本将意味着一个「超级委员会」的规模是 200 万 ETH (大约 65,536 名验证者)，如果我们还将涉及到复杂的恶意验证者和网络操控结合起来的 34% 攻击，那么超级委员会的规模应是 300 万 ETH (大约 97,152 名验证者)。但如果我们想要以太坊链的负载保持在今天的水平 (每个 slot 约 9000 名验证者，也即大约 288,000 ETH)，这对应的攻击成本为 96,000 到 144,000 ?ETH。这两个数字之间仍有很大的差距。
因此，除非以太坊社区能够相信攻击以太坊的成本更低是可以接受的 (记住：攻击者仍然需要控制 50% 以上的所有被质押的 ETH，这只是他们将失去的数量)，否则仅依靠这条路径似乎很难。
想法2：努力让尽可能多的证明者 (attesters) 发挥作用
假设我们确实想要一条在每个 slot 都有大量验证者参与的区块链 (比如，每个 slot 有 131,072 名验证者，也即相当于保守的是 400 万 ETH)。那么这个基础上的性能数字将是怎样的呢？
事实证明，拥有大量验证者来证明每个 Slot 的链上成本并没有看上去那么高：
存储验证者记录所需的状态空间将与今天完全相同 (每个验证者大约 150 字节)。
验证一个签名将需要将 131,072 个公钥的随机子集加在一起。每个椭圆曲线的添加可以在大约 1 微秒内完成，所以这可以在大约 130 毫秒内完成。每个 slot 需要执行两次 (如果一个区块包含冗余证明，则可能需要执行更多次)。
如果我们假设在 slot N 活跃的某个验证者通常在 slot N+1 也保持活跃，那么链上添加成本可以进一步优化；这意味着对于每个 slot，我们只需要计算新旧聚合公钥之间的变量 (delta)，在良好的条件下，聚合公钥可能由几千或者甚至几百个验证者公钥组成。即使在最坏的情况下，也应该总是能够进行至少 2 倍的优化 (即~65毫秒)。
仍然存在的最大问题是签名聚合。单个 Slot 中生成和发送签名的验证者有 131,072 名，这些签名需要快速地组合成一个大型聚合签名。
今天，签名聚合是在 p2p 子网中完成的。每个包含了 256 名验证者的委员会都有其自身子网络的签名聚合。有 16 个随机选择的特权聚合器，它们可以进行签名聚合并将它们提交到主子网 (main subnet)。然后，区块提议者然后从每个委员会中取最佳的签名聚合，并将它们加在一起，形成一个大的签名聚合。如下图所示:
这给每个小组委员会带来了负载，其中验证者需要单独验证签名，特别是在发生攻击，使得网络充斥着无效签名的情况下，且在全局子网中，如果有n个委员会，提议者必须验证16 * n个签名。
聚合很可能是未来两年内显著优化的目标。目前，实际应用中最大的瓶颈是每个子网的负载，特别是对于需要在多个子网中的节点而言。
通过两种有前景的简单方法可以获得显著的改进：
增加子网数量，以允许更多的证明 (attestations) 总数，而不增加每个子网的负载。主子网的负载会增加，但 dank-sharding 可以弥补这一点，dank-sharding 允许一个 slot 中的所有验证者对相同的数据进行签名，从而提高效率，使这些签名更容易被批量验证。
更改网络规则，这样即使有许多验证者的节点也只需要参与一个子网，从而为增加每个子网的负载和子网计数提供了空间。只有当某个验证者是某个子网中的聚合器时，该验证者才需要严格订阅该子网；一个仅仅发布到子网的验证者只需要找到一个订阅到该子网的另一个诚实验证者，而不需要自己订阅它。
支持更多验证者的一种可能的更激进的策略是，将签名聚合转变为一个更专门化的角色 (类似于 PBS (提议者/构建者分离) 方案中的区块构建者)，在这个角色中，我们希望专业的参与者能够持久地存在于每个子网 (甚至所有子网) 中，并能够很好地收集签名。这些参与者可以是有偿的，也可以是自愿的角色 (因为对于已经质押了许多验证者的用户来说，这个额外成本非常低)。
针对这种情况的一个简单的协议是允许验证者签名一条?ProposedAggregate?消息，其中包含 (i)一个聚合签名，(ii) 参与者的位字段 (假设有 131,072 名验证者，那么只有 16 kB)，以及 (iii) 聚合器对这两个对象的签名。
提议者将侦听?ProposedAggregate?消息息，并验证那条有着最高参与人数的签名。如果该签名有效，则提议者将打包该签名；如果无效，则提议者将因为验证该签名而损失大约 130 秒，然后继续验证下一个有着第二高参与人数的聚合 (如果需要，还可能会继续验证参与人数第三高的聚合，等等)，所有无效?ProposedAggregate?消息的聚合器将可能受到罚没 (slashing)?惩罚。
转向单个 Slot 确认是一个需要多年时间的路线图；即使很快就会开始大量的开发工作，它也将是以太坊在完成 PoS、分片和 Verkle 树的推出之后，这将是以太坊之后的重大变化之一。总的来说，实现的路径大致如下：
加紧优化证明聚合的工作。无论如何，这都是一个重要的问题，因为验证者的数量预计会增加。我们需要在这个问题上更专注的研究和开发努力。
就常规参数达成一致：我们的目标是「超级委员会」有多大规模 (或者超级委员会的规模是否将是所有活跃验证者的集合，并且我们实现了某种不同的机制来控制可以有多少活跃验证者)？我们可以接受什么样的开销水平？我们将使用什么技术来减少开销？
为了实现单个 Slot 敲定，需要对一个理想的共识和分叉选择机制进行研究、达成共识和明确下来。这将结合 BFT 共识机制 (Casper FFG 或其他更传统的机制) 和分叉选择规则，其中分叉选择规则只在 ≥1/3 的验证者离线的情况下才有意义。
就实现路径达成一致并执行。这可能是需要多步骤实现的，其中一步引入超级委员会机制，然后下一步添加全新的共识和聚合机制。
在单个 slot 实现敲定的最终好处将是非常显著的，技术可以随着时间的推移而改进，以实现本文没有描述的其他好处 (比如，使用增加的最大验证者计数来减少最小 ETH 质押量)。因此，这篇文章中所描述的技术挑战值得我们尽快开始更深入、更专注的研究和开发。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。