Dencun 和 Pralectra:以太坊核心开发者描绘了雄心勃勃的 2024 年

以太坊的核心开发人员正在讨论“Dencun”之后下一次硬分叉的优先事项,该硬分叉可能会在 2024 年末或 2025 年出现。

在周四的全核心开发者电话会议之后,Dencun 分叉的暂定时间表保持不变,Goerli 测试网将于 17 月 XNUMX 日首次上线。

随着升级有望在三月份推出,开发人员将注意力转向布拉格-伊莱克特拉(简称 Pralectra)接下来的升级。

关于整体愿景的争论仍在不断变化:要么是一组以功能为中心的小型以太坊改进提案(EIP),要么是主要协议升级以将 Verkle 树引入执行层。

Verkle 表示,Verkle 树是一种新的数据结构,它使用更复杂的数学技术(基于椭圆曲线配对的向量承诺)演变了当前使用的 Merkle 树,这与 Merkle 树中使用的更简单的哈希函数有很大不同。信息。

这种结构使用更少的空间并且可以更快地验证,这两者都允许网络处理更多的交易。

简而言之,这是解决“状态膨胀”长期问题的一种方法,随着以太坊的扩展,这一问题将变得越来越重要。

此次升级是以太坊长期路线图的一个重要里程碑,这一阶段被称为“The Verge”。

会议上没有达成明确的共识——一些人主张将重点放在 Verkle Trees 上,以太坊基金会的 Guillaume Ballet 警告说“不存在小分叉”,但另一些人则呼吁坚定地致力于升级网络2024 年再次。

人们担心 Verkle Trees 可能需要 18 个月或更长时间才能交付——这对于加密货币来说是永恒的。

Dencun 原定于 2024 月举行,但最终于去年 XNUMX 月推迟到 XNUMX 年。

了解更多: 核心开发者今年排除了 Dencun 分叉的可能性

“就复杂性而言,Verkle 的规模即使不是更差,也与 Merge 相当,”Ballet 说道。 “你不能真正在[执行层]一侧同时发送任何东西。”

Nethermind 执行客户端团队的 Lukasz Rozmej 对此表示同意,并建议开发人员在完全转向 Verkle Trees 之前首先优先考虑功能丰富的分叉。

“我的经验告诉我,国家重新设计非常困难,而且需要很长时间,”他在电话中告诉同事。 “Verkle 韧性不是规范,而是实施、优化和测试。”

功能是的,但是哪些功能呢?

Nethermind、Besu 和 Reth 的客户团队主张在 2024 年进行第二次分叉,重点关注功能。但问题是什么优先呢?

Erigon 客户端团队的软件工程师 Andrew Ashikhmin 建议,EVM 对象格式 (EOF) 将成为推动下一次升级的候选者之一,同时不会分散 Verkle Trees 的长期工作,因为它可以由较小的团队来实施,并且是对代码库的更孤立的更改。

“但维尔克尔应该是主要焦点,”他说。

EOF 最初被考虑用于 Shapella 硬分叉,但被认为太大,无法与主要“驱动程序”Proto-Dank 分片或 EIP-4844 一起作为“乘客”配对。

了解更多: 以太坊的下一次升级将专注于 Blob 

Besu 客户端团队的协议工程师 Justin Florentine 表示,EOF“绝对不是乘客”,但他表示 Besu 已经在该功能上取得了“很大进展”,因此赞成在 Pralectra 中采用该功能

正在构建 Rust 以太坊 (Reth) 客户端的投资公司 Paradigm 的首席技术官兼研究员 Georgios Konstantopoulos 表示,他的团队“对 EOF 没有意见,因为这是[一项]单人工作并且[需要]隔离测试。”

但以太坊基金会开发者 Marius van der Wijden 也认为“EOF 不会出现在小分叉中”。

去年 4 月,以太坊基金会的 Ansgar Dietrichs 支持将 EOF 纳入 Pralectra,并在周四的电话会议上指出,维护 EVM 主要智能合约编程语言的 Solidity 团队强烈支持。

然而,电话会议中没有人明确支持 EOF,这促使 Nethermind 创始人 Tomasz Stanczak 评论道:“如果在这次电话会议上没有人支持 EOF,那么这就总结了它尚未发布的原因。”

Stanczak 称 EIP-7002 或“执行层可触发退出”是以太坊魔术师论坛中获得最多支持的 EIP,并且“非常重要”,因为它修复了“与质押相关的重大设计错误,并且无法尽早到来”。

核心开发人员同事 Paritosh Jayanthi(绰号“Potuz”)表示,如果他必须选择一项功能来发布,他会选择 EIP-7002。然而,在他看来,EIP-7549“绝对应该加入”。

该功能仅影响共识层,修复了以太坊设计中的错误,旨在减少验证共识规则所需的平均配对数量。配对是某些涉及椭圆曲线的密码算法中使用的操作。

目前,要达成共识,需要验证至少 1366 个证明(表明验证者之间达成一致),但在 EIP-7549 之后,这一数字将减少到仅 22 个。

“实施起来很简单,并且可以节省大量聚合时间,”波图斯说。 “它可以帮助去信任的桥梁——以及 zk-provers、zk-bridges——这绝对应该出现在我们下一步做的任何分叉中。”

此次电话会议的目的是启动讨论,具体方法和改进建议将在稍后决定。以太坊升级是共识驱动的;没有明确的权力等级或投票机制来确定优先事项。

取得进展有时会显得充满挑战或混乱,就像放牧的猫一样,但这就是去中心化野兽的本质。


不要错过下一个重大新闻 - 加入我们的免费每日时事通讯。

资料来源:https://blockworks.co/news/ethereum-devs-plan-2024