以太坊研究人员瞄准数秒级最终性,探索解耦式共识模型

  • 以太坊研究人员正在开发一种将区块生产与最终性分离的共识模型。
  • 该重构方案旨在实现数秒级最终性,而以太坊当前的最终性窗口约为15至16分钟。
  • 以太坊基金会研究人员使用Lean 4对该模型的关键属性进行了形式化验证。

以太坊研究人员正在开发一种共识重构方案,旨在将交易最终性从约15至16分钟缩短至数秒。该模型将区块生产和分叉选择与不可逆确认分离,使约256至512名验证者组成的较小委员会能够处理快速活动,同时由完整验证者集合支持并行最终性机制。以太坊基金会研究人员已在Lean 4中对该模型的关键安全性和最终化属性进行了形式化验证,且未使用“sorry”占位符。Ben Edgington在2026年5月的一篇博客文章中概述了分阶段路线图,其中包括Minmitt和Goldfish在内的协议正在进行研究,以推动后续单轮最终性改进。这项工作是以太坊更广泛“strawmap”路线图的一部分,该路线图计划最晚于2029年实现最终性改进,并可能减少影响高价值交易和跨链桥的延迟与重组风险。

本网站上的信息是使用AI生成的,我们无法保证其准确性。 请仅作为参考信息使用。