以太坊如何完成从1到2的转变?

原文标题:引介 | eth1 -> eth2 转换

编者注:本文为 Vitalik 于 2020 年 10 月 19 日在以太坊研究者论坛上发表的帖子,提议了他所设想的 Eth1 如何转换成分片化信标链的子系统的过程,并解释了开发者、用户对这个过程会有什么知觉。确切来说,这并不是一个针对 Eth1 的提案,因为提案的内容无涉于 Eth1 的链和生态如何形成广泛的社会共识来完成这种转换,相反,它仅仅涉及到了分片化信标链的一个子系统(“Eth1 EE”)要按什么样的程序选取 Eth1 上的哪个状态作为自己的起始状态。此外,读者还可借此一窥作者心中一个准备好完成转换的分片化信标链应具备哪些基础设施,例如,无状态性和 EE;借此可反推分片化信标链的开发方向和进度。

本文介绍的路线图被用来完成从eth1 向 eth2 转换,如果你是应用开发者或用户,你所能感受到的变化乃至颠覆实际上非常有限。已有应用将继续运行,而不会发生任何改变。所有账户余额、合约代码和合约存储(包括 ERC20 余额、质押债仓等)都将继续存在。

你需要应对以下情况:

IO 访问操作码(SLOAD、BALANCE、EXT*、CALL*)的 gas 成本将增加。CALL(调用)的 gas 成本大概是每访问 1 字节的代码需要消耗 1 gas。

你需要下载实现网络升级的代码。这在根本上与拜占庭和君士坦丁堡等其它升级没有区别。但是下载量更大一点,因为如果你还没有 eth2客户端,那你需要下载一个。

以太坊区块链可能会暂停大约 1 小时。1 小时后,“以太坊” 看似重新上线了,但是实际上 eth1 不再是一个独立的系统,而是成了在 eth2 内运行的子系统。

就是这样。如果你是开发者,只要你确保自己的应用所需的 witness 规模不会太高(可通过单笔事务所访问的全部 存储槽+合约+合约代码 的数量来衡量),你的应用因为 gas 消耗量改变而崩溃的可能性就很小。

假设 phase 0-2 已经完成,并且 eth2 链正在稳定运行。eth1 链也在稳定运行中。phase 0 规范已经安排了一个名为?eth1_data?voting 的机制。在这个机制中,验证者会通过投票就 eth1主链最新的区块哈希值达成共识;这个机制目前被用来处理押金。我们将重新改变该机制的用途,用它来将 eth1 的完整状态(根)传入 eth2。

Upbit 宣布将上线 Threshold 代币 T:3月2日消息,Upbit宣布今日将上线 Threshold 代币 T,并开通BTC交易对。[2022/3/2 13:31:36]

目前,该机制有大约 6 小时的延迟(其中有 4 小时的延迟是因为 ETH1_FOLLOW_DISTANCE “Eth1 主链跟随距离”,另外 2 小时是因为投票期) ,但是在转换完成前,这些参数会随着时间的推移而减小,将延迟降至 1 小时左右。

影响 eth1 向 eth2 转换的基本机制如下图所示:

指定一个(eth1 链的) 高度?TRANSITION_HEIGHT。高度为?TRANSITION_HEIGHT?的 eth1 区块将被视为 eth1 链的 “最终” 区块。从该区块往后,(原本是 “正统链的”)eth1 将作为 eth2 的子系统运行。

eth2 的 “诚实验证者” 代码会根据(1)做出相应调整,不允许验证者投票给区块号 >?TRANSITION_HEIGHT?的 eth1 区块。如果投票算法已经选出了某个区块编号 >?TRANSITION_HEIGHT?的 eth1 区块,则改成为?TRANSITION_HEIGHT?的 eth1 区块投票。

此外,在已触发(2)的情况下,验证者会将?deposit_count?设置为比实际值高 2**63(就是将deposit_count?的 top bit 作为 “eth1 已完成” 的标记)

当 eth2 在 “eth1 已完成” 标记开启的情况下接受?eth1data?时,eth2 会执行一次 “非常规的状态变换”,将该 eth1 区块的状态根放到 “eth1 执行环境”(eth2 上的一类系统级智能合约)的状态中。与 eth1 链上的总 ETH 供应量等量的 ETH 会添加到这个 eth1 执行环境的余额中。

在这之后,转换完成。从技术层面来说,eth1 链会继续运行,但它已经变成了一条毫无价值的链;等到冰河期到来时,这条 eth1 链将彻底消失。

eth1 系统现在位于 eth2 系统内部。因此,通过在 eth2 上提交针对 eth1 执行环境(即上文所述的 eth2 子系统)的交易,eth1进一步转换成 eth2 的子系统。eth1 执行环境拥有可以实现整个 eth1 EVM 和交易处理逻辑的代码;它有一个?update(state_root, transaction, witness) -> new_state_root?功能,可以按照 eth1 链的规则,以交易和见证消息(状态部分的默克尔证明)作为输入处理该交易,并决定更新后的 eth1 状态根。关于见证消息和状态根的运作原理,请阅读《无状态客户端概念》。

eth1 执行环境代码可以添加额外的功能,即,将 ETH 和消息从 eth1 执行环境提取到 eth2 的其它部分,以及其它分片上的 eth1 执行环境副本中。在默认情况下,所有 eth1 账户/合约都会放在同一个分片上,因此为了利用 eth2 更大的容量,你需要主动使用这个功能将你的 ETH 或其它应用转移到其它分片上,不过难度不大。我们需要通过扩展 ERC20 标准来支持跨分片代币转账。

在转换至两种代码路径之前,我们需要对客户端面向用户的部分进行修改。客户端会检查 eth2,来查看转换是否已经发生。如果转换尚未发生,客户端就会像之前那样使用 eth1 来发送交易,查看余额等,不同之处在于客户端会假装所有区块编号 >?TRANSITION_HEIGHT?的 eth1 区块都不存在。如果转换已经发生,客户端就会在 eth2 上查看 eth1 执行环境。完整的客户端将按顺序处理 eth2 上所有针对 eth1 执行环境的交易,以便继续更新完整的 eth1 状态树。这使得完整的客户端可以为它们想要发送的交易生成见证消息,并使用 eth2 格式对其进行 “打包”。轻客户端(以及钱包,如 metamask)会将它们的交易广播给完整的客户端,由后者为其添加见证数据。

从用户的角度来看,以太坊能够 “感受到” 转换前和转换后(由于 PoS 和 EIP 1559,以太坊在感受后者时更加顺畅)。虽然打包和广播交易所使用的代码路径区别很大,但是它们所提供的功能都是一样的。

我们甚至可以对这种转换进行设计,以便钱包无需经过任何修改,即可通过 RPC 与客户端通信。

假设你在 MakerDAO 上创建了一个质押债仓,然后就去睡觉了。等你醒来时,你发现转换已经发生了。你可以像以前那样发送交易来与你的质押债仓交互并将其清算,但是你的客户端会看到转换已经发送,于是会将见证数据添加到你的交易上,将其发送至 eth2 网络而非 eth1 网络上。

在 eth1 链达到?TRANSITION_HEIGHT?至 eth2 上的 eth1 执行环境获取该状态的这段时间内,我们会对 eth1 状态进行一些预处理。特别是,我们可以:

将十六叉帕特里夏树替换成二叉稀疏默克尔树和一个专门的哈希函数,以确保分支的哈希开销保持在O(log(n))。这可以将默克尔树分支的大小减少 4 倍左右。

将 RLP 替换成 SSZ 哈希树

将状态租金相关的数据字段添加到账户上

清除 “粉尘” 账户

根据抽象提案修改账户结构

我们不会在 EE 中照搬沿用 Eth1 的状态根生成方法,而是以适用上述修改后的方法来计算状态根(Instead of including the actual eth1 state root into the EE, we would include the root of the state tree generated by performing all of these modifications)。这是确定性计算,因此所有验证者都可以同时进行计算。这种一次性的计算支出可以大大提高 eth1 转换后的效率和可用性。

原文链接:

https://ethresear.ch/t/the-eth1-eth2-transition/6265

作者: Vitalik

翻译&校对:?闵敏 & 阿剑

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

金宝趣谈

以太坊不受SEC诉讼影响 Ripple如约解锁巨额XRP

Whale Alert 数据显示,在 2021 年的第一天,按照常规操作,Ripple 解锁了大量 XRP。不过这一次的解锁数量比平常稍微少了一点,由 10 亿枚 XRP 变成了 9 亿枚 XRP。 尽管美国证券交易委员会(SEC)的诉讼引发了诸多问题,但该公司仍按照此前的协议,向前首席技术官 Jed McCaleb 发送超过 4.77 亿枚 XRP。

火币网下载官方app首发 | 卖意外险的保险公司也遭受了意外?Cover Protocol漏洞分析

本文由CertiK安全验证团队撰稿,授权金色财经首发。 最近小区出现了一些流浪狗,听说邻居家有孩子看到狗吓得就跑,结果反而被狗狂追咬了一口。 还好父母机智,给孩子上了个意外险,几针狂犬病疫苗下来没怎么花钱。 作为币民如果加密资产不幸被盗,但项目方或者你个人购买了保险,那么也大可放心让保险公司偿还损失的资产。

[0:31ms0-8:895ms