一份新的无状态以太坊路线图:了解关键路径中的区块见证与状态保质期

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

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

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

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

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

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

为此,我们需要:

A:大大缩小见证(就当前的十六进制帕特里夏树而言,见证数据大小最高可达 100 MB)

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

我们使用 Verkle Trie 来解决需求 A ,将证明开支降至恒定大小(从理论上来说,根据当前 1250 万的 gas 上限来估算,证明大小的上限约为 800k,平均约为 200k)。另请参见 "为以太坊状态应用 verkle trie 的提议"。还值得一提的是,统一 verkle trie 需要修改?SELFDESTRUCT?操作码的行为,或完全删除该操作码。

Celsius矿业称托管商Core Scientific违反破产条款:金色财经报道,破产的Celsius Mining已经提交了一份动议,要求对Core Scientific实施自动中止,Core Scientific为这家破产的贷款公司的比特币采矿部门提供托管服务。该公司表示,Core Scientific违反了他们的协议,没有按时部署矿机,并不公正地试图转嫁电力费用。该公司在提交给美国纽约南区破产法院的文件中声称,Celsius欠Core Scientific大约540万美元。该公司要求认定Core Scientific违反了与Celsius的破产申请有关的自动中止令,属于民事藐视法庭。(the block)[2022/10/1 18:36:36]

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

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

通过状态保质期(State Expiry)来抑制状态增长

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

上海财经大学教授:加强“新基建”数字化,推动区块链智能基础设施:上海财经大学教授吴一平及上海财经大学博士生王伟联合刊文称,加强“新基建”数字化,增强城市基础服务韧性。推动5G、人工智能、物联网、区块链技术的智能基础设施,推动城市更加安全、高效地运营,并提供更多样化的应用场景与服务。(第一财经)[2020/11/12 12:21:50]

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

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

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

延伸阅读:Complete revamp of the "Stateless Ethereum" roadmap - #2 by dankrad

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

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

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

1. 按需检索任意状态。

State Network DHT - Development Update #2 - #5 by pipermerriam

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

Alexandria - HackMD(已经过时,但是从概念上讲具有代表性)

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

Scalable Transaction Gossip - #3 by pipermerriam

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

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

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

Regenesis(或许不会清理状态)

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

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

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

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

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

Binary Trie

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

参考阅读:EIP-3102: Binary trie structure

代码默克尔化

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

参考阅读:EIP-2926: Chunk-Based Code Merkleization

原文链接:

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

作者:??pipermerriam

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

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

区块博客

XRP金色荐读 | Fei Protocol上线在即 这三重风险你必须了解

注:原文作者是Fei协议联合创始人Brianna Montgomery。 FEI是一种高度可扩展、去中心化并有储备支持的稳定币,它旨在满足DeFi的需求,而无需依赖中心化的资产抵押品。而对于即将到来的Fei Protocol创始阶段,我们希望社区能够在完全熟悉该协议工作方式及相关风险的情况下再决定是否参与。

DOGE金色观察|Taxa如何让Layer 2具备更完善的能力?

以太坊的拥堵,让Layer 2扩容的解决方案声名大噪,也让零知识证明、rollup等证明方式成为了主流的安全技术方案。 对于基于Rollup和零知识证明的Layer 2,其出发点是解决区块链网络的性能及交易信息的隐私。其通过在链下聚合交易、链上验证,降低了以太坊链上资源的使用,从而降低成本。

瑞波币将加密技术作为一种支付系统?必须克服这几大棘手问题

上周,全球支付巨头PayPal宣布,它已经开始让美国的用户用加密货币在线支付东西。理想是丰满的,现实很骨感,将加密技术作为一种支付系统,还有很长的路要走。 首席执行官Dan Schulman告诉路透社时表示,我们认为这是一个过渡点,在这个过渡点上,加密货币从你购买、持有或出售的资产类别,到现在成为数百万商家在现实世界进行交易的合法资金来源。

火币下载圣杯寻找 2.0:以太坊有机会冲击1万亿市值

在2021年2月20日,比特币的总流通市值达到了1万亿美元,夺得了第一座圣杯。恭喜我们加密经济行业! 话接上文,在?《圣杯寻找 2.0(上)》中的一个基本观点是: 本文下半部将着于眼未来,试图斗胆再做一些预测和分析,包括生产力平台的突破点、稳定币、身份系统等,敬请关注。

[0:0ms0-7:715ms