观点 | 以太坊状态规模管理诸提议(上)_PAR:非小号

写于2021年2月12日

以太坊协议所面临的一个最为长久且尚未解决的挑战,就是由于状态数据规模不断增长而带来的问题。以太坊区块链上的许多操作都会给以太坊添加状态内容,而所有全节点都必须存储全量的状态数据,这样才能验证新区块以及制造新区块。这些操作只需事务的发送者一次性缴交按gas用量来计量的手续费,但会给整个网络造成永久的持续性成本,因为节点需要存储这些新数据。

这是系统设计中的一个显著的失衡,可能会让以太坊系统变得越来越难用,因为状态中充斥着不再有用处的“垃圾数据”。本文的目的是详细解释问题产生的根源,以及一些解决该问题的方法。如果我们能实现某个解决方案,这将为安全地大幅提高区块Gas上限铺平道路。

本文所论述的研究领域仍在推进中,随时有可能出现更新、更好的想法和更优雅的权衡。

引言:问题出在哪?

“状态”指的是节点若想处理新产生的区块和事务就必须存有的信息。状态与“历史”完全不同,后者是关于过去时间的信息,节点可以保存这些信息以便日后重新广播或归档,但并不是处理区块链所必需的。

观点:Coinbase在与美SEC的法律斗争中面临生死考验:6月7日消息,彭博社今日刊文称Coinbase在与美SEC的法律斗争中面临生死考验,SEC的执法推动对Coinbase尤其不利,Coinbase去年80%以上的收入来自美国,现在其商业模式面临着近乎生死存亡的威胁。Ashbury Legal的律师Ashok Ayyar表示:“对于Coinbase来说,这个案子是生死攸关的,因为它更集中在美国市场。预计Coinbase会对此展开激烈的诉讼。”

此前昨日消息,SEC起诉加密交易所Coinbase,指控Coinbase未能在该机构注册为经纪商、交易所或清算公司,且Coinbase的质押计划也违反了证券法。在对Coinbase的诉讼中,SEC将SOL、ADA、MATIC、FIL、SAND、AXS、CHZ、FLOW、ICP、NEAR、VGX、DASH和NEXO代币认定为证券。[2023/6/7 21:21:16]

在以太坊协议中,状态信息包括:

账户的ETH余额和nonce

智能合约的代码

智能合约的存储项

观点:美联储加息周期接近结束,提振加密市场:7月29日消息,随着全球市场风险偏好的复苏以及对以太坊网络升级的乐观情绪,比特币和以太坊或迎来自2021年以来表现最好的月份。行情显示,比特币7月份上涨了28%,以太坊上涨了72%。

美国经济放缓正让投资者认为,美联储将在年底前结束加息,并在2023年转向降低借贷成本,为投机性资产创造更有利的流动性背景。

咨询公司Venn Link Partners首席执行官Cici Lu表示:“有迹象表明,美联储可能正在接近加息周期的结束,这提振了所有风险资产,加密货币也从中受益。杠杆头寸的平仓似乎已经结束,市场可能已经见底。”

加密货币正试图从今年的暴跌中恢复过来,该暴跌导致MVIS CryptoCompare数字资产100指数下跌超过50%。而以太坊区块链也将转向更节能的权益证明系统。

Fundstrat技术策略主管Mark Newton表示,未来几天,以太坊可能会涨至1915至2000美元,并称以太坊在短期内看起来比比特币更有吸引力。(彭博社)[2022/7/29 2:45:57]

与共识机制相关的数据

特斯拉创始人对“比特币是修复储备银行疯狂通胀的补丁”的观点表示赞同:近日,SpaceX和特斯拉创始人Elon Musk与一名推特用户探讨“货币只是在时空上转移价值的工具”。推特用户@Robert Breedlove发推文称:“货币只是一种跨越时空移动价值的工具。黄金可以让价值在时间上移动,但不能移动空间。法币很适合在空间上移动价值,但不适合在时间上移动。而比特币优化了在空间和时间上移动价值。”SpaceX和特斯拉创始人Elon Musk对此回复称:“我们称之为金钱的东西只是劳动分配的信息系统。真正重要的是制造商品和提供服务。我们应该从信息论的角度来看待货币。错误和延迟最少的一方获胜。”随后,推特用户@Cerberus对Musk的观点评论道:“比特币有延迟和交易成本。但如果将其用作价值储存和大价值传递,它的效率会非常高。货币本身就是货币。比特币不需要取代它们。相反,比特币是修复储备银行疯狂通胀的补丁。”Elon Musk对此表示赞同,回复称:“好主意。”[2021/1/17 16:21:02]

历史信息则由旧的区块和收据组成。EVM中没有操作码可以让你访问旧区块、旧事务和内容和收据输出,所以节点丢弃这些数据也仍然能验证新区块,所以这些是历史信息。

观点:ETH 2是以太坊的中枢神经系统 可以解决可扩展性等问题:3月12日,因为整个市场都急于在价格暴跌的情况下出售其代币,以太坊每日费用也创下第二高的记录。CoinMetrics最近在推特发布ETH费用飙升的消息,原因是人们在市场波动中急于进行交易。在这种背景下,SetProtocol市场营销总监兼ethhub_io联合创始人Anthony Sassano最近接受采访时指出,ETH 2.0可能是一个有前途的生态系统解决方案。Sassano将ETH 2称为以太坊的中枢神经系统,并断言该升级可以解决很多问题,包括可扩展性问题。他还指出,ETH可以很好地扩展到第二层,并引入Optimistic Rollups和其他附加协议。“因此,我们实际上可以在ETH 1和ETH 2之间实现这种互操作性,而不必等到第二阶段。”(AMBCrypto)[2020/3/20]

上述状态信息列表中的最后一项——共识机制相关数据——在设计上已经精心限制了其规模,因此我们不太需要为此困扰。但前面三项,就令人头大了。这三类状态信息的规模会随着时间推移而不断增大,因为不断会有新用户加入网络,他们会创建新的账户、新的合约,还会加入合约、收到token什么的。

观点:区块链+供应链金融难纾企业融资之困:目前国内区块链+供应链金融已经出现较多案例,但在解决中小企业融资难方面仍重重困难。比如很多产业分散扁平、各自为战,链条很短(互联网公司);很多产业主要是用脑,订单少,但金额大(咨询公司)等。另一方面,将区块链引入供应链金融都会标榜:降低融资成本,提高融资效率。从实践来看,基于区块链的可信数据确实使资金方提高了审核效率,但融资成本却没有下降多少。主要原因是,目前的区块链+供应链金融系统,相关的业务方一个不能少,各方也都有自己的利润追求。(互链脉搏)[2020/3/12]

难办的是,许多状态用过之后就会静静地躺在那里;一旦某个用户停用某个应用之后,就会产生一些“垃圾状态”——不会再派上用场,但会永远存在那里。

理论上,用户可以做到“垃圾不落地”。用户可以仅发布带有SELFDESTRUCT条件的合约,等他们再也用不上这个合约的时候,就调用这个操作码移除这个合约、清空其token余额;他们还可以使用智能合约钱包,通过一个已有的外部持有账户来发送交易,而无需生成一个新的EOA。

但是在实践中,这样的激励非常少,而适当的状态清理的技术复杂性又太大了。在许多合约中,给任何人赋予这样调用SELFDESTRUCT的权限都是不合适的,而且,也会给用户体验和代码上也会增加很多复杂性。实际上,由于SELFDESTRUCT用处极其有限而副作用极大,我更倾向于永远移除这个操作码。如果我们真想控制状态数据的规模,我们需要的是一个网络中的节点可以默认丢弃不再被使用的“垃圾状态”的方法。

无状态客户端

这个问题的一类解决方案基于“无状态客户端”的观念。基本原理是,让区块验证不再以持有全局状态为前提。相反,区块会自带证据”),证明其所访问状态的值。就跟现在的设计一样,区块内会包含一个“状态根”,所访问的值可以对应着状态根得到证明。以太坊现在的状态树方案支持这样的证明技术,像二进制树或者VerkleTrie这样更高效的方案也可以。见证数据也会证明处理完该块后新状态根的正确性。

无状态性有两种形式:

弱无状态性:出块者仍然需要完整的状态,以为区块生成见证数据;但验证区块的阶段可以是无状态的;

强无状态性:没有任何节点需要完整的转台。反过来,是交易发送者需要提供见证数据,而出块者可以聚合这些数据。交易发送者自己负责存储为所关切的账户生成见证数据所需的部分状态树。

强无状态性是一个非常“优雅”的解决方案,因为它把责任完全转移给了用户,虽然为了保证实践中的良好用户体验,我们需要创造某些类型的协议来帮助不运行个人节点的用户维护状态、并处理用户需要与意料之外的账户交互的情形。打造这样的协议非常难。

此外,所有类型的无状态性都提高了网络所需的数据带宽;而强无状态性还需要交易声明其所交互的账户及存储项的键。

一个更温和的解决方案:状态过期

更温和的解决方案可以归结为不同形式的“状态过期”方案。必须持续得到访问的状态才能保持“激活状态”;而长期无人问津的状态会变成“失活”。具体用什么机制来更新状态,有很多选择,但一般原则是,除非某个状态对象被显式地更新,否则就以某种形式处于失活状态。因此,任何创建新状态对象的活动,都只能成为节点在一段时间内的负担,而不像现在这样变成永久负担。

失活状态,故名思义,就不是“状态”的一部分;想要处理区块或创建区块的节点无需存储失活状态。不过,失活状态不是被完全删除了!在所有类型的状态过期提案中,都预设了某种方法可以“复活”已经失活的状态。

一般原则是,激活状态的使用与当前相同,而失活状态则需通过上述无状态客户端的机制来使用。复活一个过期状态对象的事务需要提供一个证据,来证明该对象是失活状态的一部分。为了能够生成这样的证据,用户自己需要存储和维护至少一部分失活状态。

**

**

何时过期

决定过期条件的设计也有很多种。最常见的几种是:

直接租金:逐块逐块收取“租金”,直接以每个账户的余额来支付;状态对象的余额降到了零,该账户就过期了。

剩余存活时间值:每个状态对象都存储一个”剩余存活时间“值,这个值可以通过支付费用来增加

触达即刷新:每个状态对象都存储一个”剩余存活时间“值,并且每逢读取或写入该账户都会增加该值

所有状态对象定期过期:也就是ReGenesis提案

我自己越来越喜欢”触达即刷新“方案,因为它避免了应用需要创造复杂的经济模型来让用户承担状态租金;以及它保证了激活状态的规模有一个清晰的上限。让大量状态按照规律的时间间隔过期的方案也有同样的好处,但也有一些有趣的权衡:关键好处是,过期方案更简单,但关键不足是,跨过一个过期时点后,你再激活自己的状态对象时,需要多少见证数据会跟你触达状态对象的时间点有关。

**

**

账户层面的过期vs.存储槽层面的过期

状态过期的逻辑既可以运营到账户层面,也可以运用到单个存储槽层面。当前,我强烈偏向于在存储槽层面实现状态过期方案。因为很多合约账户的存储槽数量是不受限制的,任意用户都能加入合约并增加合约名下的存储槽的数量。不管使用什么样的账户层过期方案,想要实际限制状态的规模,租金的数量都必须与合约内存储槽的数量成比例。结果是,用户还是能够仅支付一次性的费用就给合约及其用户施加永久的持续性成本。

要解决这个问题,合约要么加入复杂的内部逻辑,将存储操的租金“转嫁”给用户,要么重新设计自己合约的模式,转向使用CREATE2操作码创建新的合约并使用这些合约来充当存储槽。不管是哪种办法,最后都会变成等价于存储槽层面的过期方案。因此,我个人认为,我们应该仅在合约存储槽层面实现状态过期方案。

但是,存储槽层面的过期方案也有自己的缺点:每个存储槽都要增加一个元数据,指明它何时过期,这也意味着“复活冲突问题”不仅会影响账户,也会影响存储槽。

原文链接:

https://hackmd.io/@HWeNw8hNRimMm2m2GH56Cw/state_size_management

作者:VitalikButerin

翻译:阿剑

你可能还喜欢:

干货|以太坊无状态客户端初探

引介|ReGenesis:重启以太坊以降低节点的负担

观点|以“状态”视角理解以太坊及其未来

免责声明:作为区块链信息平台,本站所发布文章仅代表作者个人观点,与链闻ChainNews立场无关。文章内的信息、意见等均仅供参考,并非作为或被视为实际投资建议。

本文来源于非小号媒体平台:

VitalikButerin

现已在非小号资讯平台发布38篇作品,

非小号开放平台欢迎币圈作者入驻

入驻指南:

/apply_guide/

本文网址:

/news/9688831.html

免责声明:

1.资讯内容不构成投资建议,投资者应独立决策并自行承担风险

2.本文版权归属原作所有,仅代表作者本人观点,不代表非小号的观点或立场

上一篇:

盘点零知识证明代表性项目:如何影响和塑造区块链生态系统?

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

金宝趣谈

[0:15ms0-3:341ms