ERK:一文纵览无状态以太坊路线图新变化

关键路径:通过区块见证实现无状态验证者,通过状态保质期来抑制状态增长。

原文标题:《通告|一份新的无状态以太坊路线图》

自上一版无状态以太坊的全面「路线图」发布以来已经过去了一段时间,现在很多东西都发生了改变。似乎又到了需要「全都写下来」的时候了。

我们没有在做什么

我们没有在解决无状态挖矿的问题。

我们没有在解决DSA问题,也不准备出于执行的目的为事务附加见证数据。

关键路径

很难确定我们的目标到底是什么。但是我认为,只要我们着眼于需求,自然会出现一个目标梯度。

通过区块见证实现无状态验证者

我们希望/需要验证者无需保存完整的状态就能验证区块。一种提议是在协议中要求为区块附加区块见证,以便客户端使用区块见证数据来验证执行区块得到的状态根。

数据:zkSync Era上25个巨鲸持有链上32%的代币,链上“闲置资金”较多:4月28日消息,据Nansen Research在社交媒体披露数据显示,当前zkSync Era上前25名头部巨鲸桥接用户拥有32%的链上代币总持有量,主要集中在ETH、USDC和MUTE,表明zkSync上仍有大量“闲置资金”。此外,数据显示zkSync Era链上活动主要围绕DEX,尤其是SyncSwap、iZUMi Finance、Mute.io和Velocore上的流动性提供者(LP),当前大多数LP集中在ETH/USDC池,而zkSync Era链上闲置资金则仍在等待部署。[2023/4/28 14:32:33]

为此,我们需要:

A:大大缩小见证

B:让验证者可以连同区块一起获得可靠的见证

美SEC已正式向Justin Sun发出电子传票:4月14日消息,据美国法庭文件显示,美国证券交易委员会(SEC)已正式向波场创始人、Huobi 全球顾问委员会成员 Justin Sun 发出电子传票,指控其涉嫌非法销售证券、欺诈和操控市场。

此前报道,SEC 在此前的新闻稿中表示,其正在起诉 Justin Sun、Tron 基金会、BitTorrent 基金会和 BitTorrent(现称为 Rainberry)出售 Tron(TRX)和 BitTorrent(BTT)Token,将其描述为未注册的加密资产证券,并进一步指控 Justin Sun 欺诈性地操纵 TRX 的二级市场。[2023/4/14 14:02:21]

我们使用VerkleTrie来解决需求A,将证明开支降至恒定大小。另请参见「为以太坊状态应用verkletrie的提议」。还值得一提的是,统一verkletrie需要修改SELFDESTRUCT操作码的行为,或完全删除该操作码。

稳定币BUSD发行方Paxos在以色列启动工程研发卓越中心:金色财经报道,稳定币 Binance USD(BUSD)发行方 Paxos 宣布在以色列启动工程研发卓越中心,据悉该中心将负责在区块链之上构建、维护和评估包括多方计算在内的链上安全解决方案,为 PayPal、Interactive Brokers、Mastercard、MercadoLibre、Nubank、美国银行、瑞士信贷和法国兴业银行等机构提供支持,后续还将转型为孵化中心培育加密研究人员和安全专家。(prnewswire)[2023/2/3 11:45:32]

我们通过见证消息成为协议运行的一部分来解决需求B,以便收到该证明的人确认它是对应区块的正确证明。关于生成并通过gossip广播见证的责任归属尚未确定。

延伸阅读:《为什么无状态性对于ETH2.0来说如此重要?》

俄罗斯金融委员会负责人:顶级交易所已经准备好推出国际加密货币支付:金色财经报道,Bitcoin Archive 在社交媒体上称,俄罗斯金融委员会负责人表示,顶级交易所已经准备好推出国际加密货币支付。[2022/9/28 22:37:29]

通过状态保质期来抑制状态增长

区块提议者依然需要生成区块。我们不建议解决无状态区块挖矿的问题,因为这会将我们的目标变成减轻日益增长的状态维护负担。

我们的目标是对总体状态规模施以经济限制。我们计划通过「状态保质期」来实现该目标。

详情请参阅:《Resurrection-conflict-minimizedstatebounding,take2-#17byvbuterin。》

大致上讲,所谓的状态保质期,就是让状态在一段时间后「失去活性」。失活状态不再由协议管理。任何与失活状态的交互都需要附带一个证明,让失活状态重新恢复活性。该方案不会将任何复杂的「租赁」机制引入EVM,但它实际上还是强制实现了「状态租赁」。其结果就是为总体状态规模设置了严格的上限。

次关键路径

通过「门户客户端」实现无状态客户端架构

延伸阅读:《Completerevampofthe「StatelessEthereum」roadmap-#2bydankrad》

当前的DevP2P以太坊协议不能很好地支持无状态客户端。即使为支持无状态客户端而修改协议,这也并非易事。也就是说,仅依靠「关键路径」,我们就可以构建出适用于Eth1+Eth2合并基础设施的客户端,但是这些客户端对于大多数为了使用JSON-RPCAPI而使用客户端人来说没什么用。

另一项正在开展的计划是构建支持广泛部署超轻量级「门户客户端」所必需的网络基础设施。所谓的「门户」,就是指客户端可以查看网络和相关数据,但是不必通过任何有意义的方式参与协议。

「门户客户端」将参与专为满足以下需求而设计的专用型点对点网络:

1.按需检索任意状态。

StateNetworkDHT-DevelopmentUpdate#2-#5bypipermerriam

2.按需检索任意区块链历史。

Alexandria-HackMD

3.参与交易gossip广播,但是无需访问状态。

ScalableTransactionGossip-#3bypipermerriam

4.参与区块gossip广播,但是无需满足DevP2P以太坊协议的隐形要求。

任何想要吸引JSON-RPCAPI用户的「无状态客户端」都会参与这类网络。我们希望现有客户端会利用这类网络来让自己变得更加轻量级。

这不是实现Eth1+Eth2合并这一主要目标的关键路径,但它有助于将无状态客户端扩展至除验证者以外的用例。

Regenesis

过去,「Regenesis」有两个不同的涵义:

使用一个新的创世块来重新启动区块链,并就创世状态达成共识。

让状态「失去活性」,必须提供证明来让状态「恢复活性」。

活性/失活机制现已归类为「状态有效期」方案。

使用新的创世块来重启区块链有很多好处。其中,最主要的一点是,将所有客户端从历史分叉规则所带来的隐形需求中解放出来,让客户端变得更加简单。这也可以帮助节点缩短获得完整状态副本所需的同步时间。

被移出关键路径的内容

BinaryTrie

原本是用来减少见证大小的主要机制,现已被VerkleTrie替代。

参考阅读:《EIP-3102:Binarytriestructure》

代码默克尔化

原本是用来减少见证大小的次要机制,现已被VerkleTrie替代。

参考阅读:《EIP-2926:Chunk-BasedCodeMerkleization》

作者:pipermerriam

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

金星链

[0:0ms0-1:511ms