以太坊基金会制定了到 2029 年的七分叉“草稿图”

本文为机器翻译
展示原文

以太坊的核心研究人员在一份新发布的「草稿图」中勾勒出了该网路未来四年的发展蓝图,其中包括七次硬分叉、更快的区块生成、近乎即时的最终性、抗量子密码学和原生隐私,该蓝图一直延续到 2029 年。

研究员贾斯汀·德雷克在推特上公布了strawmap ”(“strawman”和“roadmap”的合成词)的细节,该词概述了在本十年结束前每六个月进行一次分支的大致节奏。

该计划旨在缩短交易时长,以秒而不是分钟来衡量最终性,并提供诸如屏蔽ETH转帐等功能,同时映射共识、数据和执行层之间的依赖关系。

Drake 将其描述为“邀请大家以整体的视角来看待 L1 协议升级”,将提案放在一个可视化的时间线上,以揭示 All Core Devs 和 forkcast.org 逐个分支关注通常掩盖的依赖关系。

他表示,「稻草人」限定词既承认了去中心化生态系统中路线图的局限性,也承认了该文件仍处于发展阶段,它最初是 1 月份 EF 研讨会上的一个讨论引子,现在「本著积极透明和加速主义的精神」公开分享。

目前的草案假定以人为本的开发模式,但德雷克指出,人工智慧驱动的开发和形式化验证「可以大大缩短开发进度」。

以太坊联合创始人 Vitalik Buterin 称该草图为“一份非常重要的文件”,并在推特上表示,该网络可能会逐步减少槽位时间——“12 -> 8 -> 6 -> 4 -> 3 -> 2”——同时使用单轮拜占庭容错 (BFT) 设计,将最终确认时间从目前的大约 16 分钟。

该机制是从目前的 Gasper 共识演算法转向名为 Minimmit 的单轮 BFT 演算法。

BFT 协议允许分散式网路即使某些节点恶意行为或发生故障也能达成一致,这一特性支撑著以太坊的最终性保证,并且随著槽位时间缩短和时间裕度收紧,这一特性变得越来越重要。

Buterin 将这一转变描述为复杂的,尽管最终状态“在我看来比现状 Gasper 更简单”,并表示该计划是将最大的变化与同时切换到基于后量子哈希的签名和 STARK 友好的哈希函数捆绑在一起。

他指出,这种渐进式方法会产生一个有用的副作用:槽级量子抗性可能在最终性级量子抗性之前很久就出现,这意味著如果量子计算机突然出现,“我们将失去最终性保证,但链条会继续向前推进。”

以太坊第一层(L1)「一流隐私」的目标一直是 Buterin 的长期愿景,他此前曾将隐私比作「卫生」。这位以太坊联合创始人去年发表了一篇长文,详细阐述了他对以太坊生态系统中隐私保护的支持,并概述了一个“尽可能简化的 L1 隐私路线图”,目标是使私密发送在“许多情况下成为预设选项”。

Blockscout 研究主管 Kirill Fedoseev 告诉Decrypt ,向更短的槽位和单轮最终性的转变「收紧了工程限制,但这本质上并不是去中心化的权衡。

他指出,虽然更快的时隙“增加了对延迟的敏感性”,但对纠删码点对点网路的研究以及每个时隙约 256-1024 个验证者的较小、随机选择的测试委员会,可以保持安全性。

他补充说:“验证者数量不会减少,参与仍然无需许可。改变的是协调速度,而不是验证者的访问权限。”

Buterin 指出了同样的动态,并引用了使用纠删码的优化 p2p 层的工作,他的统计数据显示,“可以大大减少第 95 个百分位块的传播时间,使更短的时隙成为可能,而不会在安全性上做出妥协。”

他将整体方向概括为「忒修斯之船」式的替换,逐步地、逐个组件地进行,最终得到「更干净、更简单、抗量子、对证明者友好、端到端形式化验证」的东西。

来源
免责声明:以上内容仅为作者观点,不代表Followin的任何立场,不构成与Followin相关的任何投资建议。
喜欢
56
收藏
16
评论