一份新的无状态以太坊路线图_ETR:TRI

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

我们没有在做什么

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

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

关键路径

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

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

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

为此,我们需要:

Canto即将发起关于引入B-Harvest作为核心贡献者的一份提案:9月16日消息,Cosmos生态兼容EVM的Layer 1公链Canto即将发起关于引入B-Harvest作为核心贡献者的一份提案。B-Harvest也是核心流动性模块Gravity DEX的开发团队,以及Cosmos生态系统网络中的领先验证者。[2022/9/16 7:00:26]

A:大大缩小见证

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

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

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

Cardano创始人:IOHK与安全审计公司Runtime Verification签署了一份七位数的合同:Cardano创始人、IOHK首席执行官Charles Hoskinson在最新的AMA上透露,IOHK已与安全审计公司Runtime Verification签署了一份七位数的合同。此外,Charles还表示将在10月29日的月度产品更新中发布关于Goguen的路线图。(Crypto News Flash)[2020/10/11]

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

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

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

我们的目标是对总体状态规模施以经济限制。我们计划通过“状态保质期”来实现该目标,详情请参阅:Resurrection-conflict-minimizedstatebounding,take2-#17byvbuterin。

动态 | CBOE最后一份比特币期货合约已结束交易:据金十消息,芝加哥期权交易所(CBOE)的最后一份比特币期货合约(6月合约)已于北京时间凌晨3:45结束交易。CBOE未来将不再挂牌新的合约,停止比特币期货服务。CBOE曾于2017年推出全球首个比特币期货合约。[2019/6/20]

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

次关键路径

通过“门户客户端”实现无状态客户端架构

延伸阅读:Completerevampofthe"StatelessEthereum"roadmap-#2bydankrad

声音 | Okex:网络流传一份针对okex的假文件:Okex官方微博表示,今日“网络上流传一份针对okex的假文件,特此声明:1.okex注册地为马耳他,并未在北京注册,也不会以任何中国公司名义签订合同。2.图中公章无编号,作假明显,针对个别制造谣言并传播的自媒体,我们将保留使用法律手段追究其责任的权利。 ????[2018/10/22]

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

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

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

1.按需检索任意状态。

StateNetworkDHT-DevelopmentUpdate#2-#5bypipermerriam

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

Alexandria-HackMD

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

ScalableTransactionGossip-#3bypipermerriam

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

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

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

Regenesis

过去,“Regenesis”有两个不同的涵义:

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

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

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

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

被移出关键路径的内容

BinaryTrie

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

参考阅读:EIP-3102:Binarytriestructure

代码默克尔化

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

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

原文链接:

https://ethresear.ch/t/an-updated-roadmap-for-stateless-ethereum/9046

作者:??pipermerriam

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

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

金智博客

[0:0ms0-3:588ms