以太坊协议所面临的一个最为长久且尚未解决的挑战,就是由于状态数据规模不断增长而带来的问题。以太坊区块链上的许多操作都会给以太坊添加状态内容,而所有全节点都必须存储全量的状态数据,这样才能验证新区块以及制造新区块。这些操作只需事务的发送者一次性缴交按gas用量来计量的手续费,但会给整个网络造成永久的持续性成本,因为节点需要存储这些新数据。
这是系统设计中的一个显著的失衡,可能会让以太坊系统变得越来越难用,因为状态中充斥着不再有用处的“垃圾数据”。本文的目的是详细解释问题产生的根源,以及一些解决该问题的方法。如果我们能实现某个解决方案,这将为安全地大幅提高区块Gas上限铺平道路。
本文所论述的研究领域仍在推进中,随时有可能出现更新、更好的想法和更优雅的权衡。
引言:问题出在哪?
“状态”指的是节点若想处理新产生的区块和事务就必须存有的信息。状态与“历史”完全不同,后者是关于过去时间的信息,节点可以保存这些信息以便日后重新广播或归档,但并不是处理区块链所必需的。
观点:Uniswap和Curve并非纯粹的竞争关系:2月10日消息,Crypto研究员0xmc等在其分析文章《从Uniswap v3到crvUSD LLAMMA》中推演出,crvUSD中的LLAMMA算法试图让Uniswap V3的各种参数能够动态变化出来。
DeFi领域近期围绕“Uniswap和Curve谁更加优秀”展开热烈讨论。同时,针对加密世界的强监管提升了人们对去中心化稳定币的期待。
此文试图帮助大家理解crvUSD的设计思路和crvUSD缺失的推导思路,让大家了解到Uniswap和crvUSD之间异乎寻常的紧密联系。crvUSD借鉴了Uniswap V3最自豪AMM算法来扩大其稳定币市场服务,可谓“相爱相杀”。[2023/2/10 11:59:18]
在以太坊协议中,状态信息包括:
账户的ETH余额和nonce
智能合约的代码
观点:美国OCC决定表明美国监管认可并鼓励稳定币的使用推广:针对此前美国货币监理署(OCC)宣布银行可以使用稳定币进行支付,区块链和加密数字资产研究者谷燕西在接受采访时表示,结合几天前美国总统金融工作小组的声明,这表明美国监管认可并鼓励稳定币的使用推广。美国商业银行因此可以不必在合规方面有顾虑地开展稳定币的相关业务。谷燕西预测,在2021年,会有更多的美元稳定币推出,会有美国商业银行成为Diem(原Facebook天秤币)的协会成员。他说:“美元稳定币正在成为加密数字金融世界中的主导货币。”(澎湃新闻)[2021/1/5 16:29:32]
智能合约的存储项
与共识机制相关的数据
历史信息则由旧的区块和收据组成。EVM中没有操作码可以让你访问旧区块、旧事务和内容和收据输出,所以节点丢弃这些数据也仍然能验证新区块,所以这些是历史信息。
观点:随着黄金需求上升供应受限,投资者将逐渐转向比特币:随着世界走向数字化,黄金将在未来十年变得更像比特币。Digix联合创始人兼首席运营官Shaun Djie表示,由于疫情后的黄金供应将受到限制,需求不断增加,投资者缺乏获取和持有实物黄金的方法,因此他们将越来越倾向于数字黄金。Djie进一步补充称,“由于像新冠疫情这样的事件,数字货币的整体扩张速度正在加快。这样的困难时期迫使人们以新的方式使用技术,无论是通讯还是购买食物。”(Bitcoinist)[2020/5/23]
上述状态信息列表中的最后一项——共识机制相关数据——在设计上已经精心限制了其规模,因此我们不太需要为此困扰。但前面三项,就令人头大了。这三类状态信息的规模会随着时间推移而不断增大,因为不断会有新用户加入网络,他们会创建新的账户、新的合约,还会加入合约、收到token什么的。
难办的是,许多状态用过之后就会静静地躺在那里;一旦某个用户停用某个应用之后,就会产生一些“垃圾状态”——不会再派上用场,但会永远存在那里。
声音 | 观点:考虑当下CEO辞职潮和股市暴跌,现在购买BTC很划算:网友CryptoBird在推特上表示,考虑到最近一波《财富》500强首席执行官的离职潮,现在买比特币还是相当划算的:“2008年,CEO们纷纷离职,此时BTC应运而生;2019-2020年,全球CEO再次迅速下台,道琼斯指数表明出现熊市背离。历史不会重演,但往往有共通性。朋友们,比特币现在算是很便宜了。”CEO辞职潮似乎正好发生在2008年股市崩盘之前,这刺激了当前的股市清算,推动了美元、黄金和比特币等安全避风港的形成。一旦眼下迎来经济衰退,考虑到当前的情况,最好的行动方案是积累比特币等避险资产。(CoinGape)[2020/2/27]
理论上,用户可以做到“垃圾不落地”。用户可以仅发布带有SELFDESTRUCT条件的合约,等他们再也用不上这个合约的时候,就调用这个操作码移除这个合约、清空其token余额;他们还可以使用智能合约钱包,通过一个已有的外部持有账户来发送交易,而无需生成一个新的EOA。
BlockVC观点:春季躁动逻辑证伪,市场短线临近变盘窗口,平台币或迎戴维斯双击:BlockVC策略研究本周核心观点:
1. 市场短期涨幅过高,存在调整需求,整体多空分歧加大,市场临近变盘窗口;
2. BlockVC策略研究对比特币近5年历史走势进行回测,证伪市场春季躁动传言,五一假期效应对加密货币走势影响较小;
3. 币安与火币近期发布平台币销毁/回购公告,隐含盈利超出市场预期,平台币价值重估启动,或迎来戴维斯双击;[2018/4/23]
但是在实践中,这样的激励非常少,而适当的状态清理的技术复杂性又太大了。在许多合约中,给任何人赋予这样调用SELFDESTRUCT的权限都是不合适的,而且,也会给用户体验和代码上也会增加很多复杂性。实际上,由于SELFDESTRUCT用处极其有限而副作用极大,我更倾向于永远移除这个操作码。如果我们真想控制状态数据的规模,我需要的是一个网络中的节点可以默认丢弃不再被使用的“垃圾状态”的方法。
无状态客户端
这个问题的一类解决方案基于“无状态客户端”的观念。基本原理是,让区块验证不再以持有全局状态为前提。相反,区块会自带证据”),证明其所访问状态的值。就跟现在的设计一样,区块内会包含一个“状态根”,所访问的值可以对应着状态根得到证明。以太坊现在的状态树方案支持这样的证明技术,像二进制树或者VerkleTrie这样更高效的方案也可以。见证数据也会证明处理完该块后新状态根的正确性。
无状态性有两种形式:
弱无状态性:出块者仍然需要完整的状态,以为区块生成见证数据;但验证区块的阶段可以是无状态的;
强无状态性:没有任何节点需要完整的转台。反过来,是交易发送者需要提供见证数据,而出块者可以聚合这些数据。交易发送者自己负责存储为所关切的账户生成见证数据所需的部分状态树。
强无状态性是一个非常“优雅”的解决方案,因为它把责任完全转移给了用户,虽然为了保证实践中的良好用户体验,我们需要创造某些类型的协议来帮助不运行个人节点的用户维护状态、并处理用户需要与意料之外的账户交互的情形。打造这样的协议非常难。
此外,所有类型的无状态性都提高了网络所需的数据带宽;而强无状态性还需要交易声明其所交互的账户及存储项的键。
一个更温和的解决方案:状态过期
更温和的解决方案可以归结为不同形式的“状态过期”方案。必须持续得到访问的状态才能保持“激活状态”;而长期无人问津的状态会变成“失活”。具体用什么机制来更新状态,有很多选择,但一般原则是,除非某个状态对象被显式地更新,否则就以某种形式处于失活状态。因此,任何创建新状态对象的活动,都只能成为节点在一段时间内的负担,而不像现在这样变成永久负担。
失活状态,故名思义,就不是“状态”的一部分;想要处理区块或创建区块的节点无需存储失活状态。不过,失活状态不是被完全删除了!在所有类型的状态过期提案中,都预设了某种方法可以“复活”已经失活的状态。
一般原则是,激活状态的使用与当前相同,而失活状态则需通过上述无状态客户端的机制来使用。复活一个过期状态对象的事务需要提供一个证据,来证明该对象是失活状态的一部分。为了能够生成这样的证据,用户自己需要存储和维护至少一部分失活状态。
何时过期
决定过期条件的设计也有很多种。最常见的几种是:
直接租金:逐块逐块收取“租金”,直接以每个账户的余额来支付;状态对象的余额降到了零,该账户就过期了。
剩余存活时间值:每个状态对象都存储一个”剩余存活时间“值,这个值可以通过支付费用来增加
触达即刷新:每个状态对象都存储一个”剩余存活时间“值,并且每逢读取或写入该账户都会增加该值
所有状态对象定期过期:也就是ReGenesis提案
我自己越来越喜欢”触达即刷新“方案,因为它避免了应用需要创造复杂的经济模型来让用户承担状态租金;以及它保证了激活状态的规模有一个清晰的上限。让大量状态按照规律的时间间隔过期的方案也有同样的好处,但也有一些有趣的权衡:关键好处是,过期方案更简单,但关键不足是,跨过一个过期时点后,你再激活自己的状态对象时,需要多少见证数据会跟你触达状态对象的时间点有关。
账户层面的过期vs.存储槽层面的过期
状态过期的逻辑既可以运营到账户层面,也可以运用到单个存储槽层面。当前,我强烈偏向于在存储槽层面实现状态过期方案。因为很多合约账户的存储槽数量是不受限制的,任意用户都能加入合约并增加合约名下的存储槽的数量。不管使用什么样的账户层过期方案,想要实际限制状态的规模,租金的数量都必须与合约内存储槽的数量成比例。结果是,用户还是能够仅支付一次性的费用就给合约及其用户施加永久的持续性成本。
要解决这个问题,合约要么加入复杂的内部逻辑,将存储操的租金“转嫁”给用户,要么重新设计自己合约的模式,转向使用CREATE2操作码创建新的合约并使用这些合约来充当存储槽。不管是哪种办法,最后都会变成等价于存储槽层面的过期方案。因此,我个人认为,我们应该仅在合约存储槽层面实现状态过期方案。
但是,存储槽层面的过期方案也有自己的缺点:每个存储槽都要增加一个元数据,指明它何时过期,这也意味着“复活冲突问题”不仅会影响账户,也会影响存储槽。
Gate.io牛熊证实盘牛人争霸赛,赢$10,000美元锦鲤牛人奖活动已圆满结束,根据活动规则,我们已为符合规则的用户发放了活动奖励,锦鲤牛人奖也已抽出.
1900/1/1 0:00:00尊敬的用户:币虎永续合约“牛币哄哄”第三期活动正式开启,为回馈广大用户一直以来的支持,特送上5,000USDT福利等你来领!参与Polkadot永续合约交易即有机会赢得奖励.
1900/1/1 0:00:00早春二月,时钟摆入农历牛年之时,加密货币市场也迎来了一轮更惊艳的牛市。特斯拉、灰度、Microstrategy、PayPal等一众大型传统机构开启买买买模式,为牛市注入一剂剂“强心针”,比特币在.
1900/1/1 0:00:00亲爱的用户:BigONE为支持ATOM的硬分叉及网络升级,将于2021年2月17日19:00暂停ATOM的充值和提现服务,待ATOM的硬分叉及网络升级完成,网络运行稳定后,我们将恢复充提.
1900/1/1 0:00:00尊敬的社区用户:霍比特交易所举行的“交易瓜分100,000个XEM”活动已结束,活动奖励已发放完毕,请注意查收.
1900/1/1 0:00:002020年绝对是DeFi之年,DeFi项目备受人们追捧,但火爆之后伴随着的却是迅速消退。为延续DeFi热度,不少项目方和投资者把目光投向了DeFiNFT的玩法,让NFT这一小众市场出圈整个加密市.
1900/1/1 0:00:00