币非凡 - 区块链|交易所导航 www.bifeifan.com
当前位置:网站首页 > 新闻 > 正文

观点:以太坊状态规模管理诸提议(上)

admin 2021-02-15 1502 浏览

以太协议所面临的一个最为长久且尚未解决的挑战,就是由于状态数据规模不断增长而带来的问题。以太坊区块链上的许多操作(创建账户、写入一个合约存储槽、发送 ETH 到一个新的账户……)都会给以太坊添加状态内容(也即是给状态数据增加数据对象),而所有全节点都必须存储全量的状态数据,这样才能验证新区块以及制造新区块。这些操作只需事务的发送者一次性缴交按 gas 用量来计量的手续费,但会给整个网络造成永久的持续性成本,因为节点需要存储这些新数据(而未来加入的节点也需要在同步过程中下载这些数据)。

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

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

引言:问题出在哪?

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

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

  • 账户的 ETH 余额nonce(流水号)

  • 智能合约的代码

  • 智能合约的存储项(storage)

  • 与共识机制相关的数据(近期的区块哈希值,叔块;权益证明的共识数据还包括验证者的公钥以及及其记录在信标链上的活动,等等)

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

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

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

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

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

无状态客户端

这个问题的一类解决方案基于 “无状态客户端” 的观念(此文是论述这个观念的出处 ,此处是演讲视频)。基本原理是,让区块验证不再以持有全局状态为前提。相反,区块会自带证据(或者叫 “见证数据(witness)”),证明其所访问状态的值。就跟现在的设计一样,区块内会包含一个 “状态根(state root)”,所访问的值可以对应着状态根得到证明(译者注:默克尔证明即是一种常见的证明技术)。以太坊现在的状态树方案(默克尔帕特里夏树)支持这样的证明技术,像二进制树或者 Verkle Trie 这样更高效的方案也可以。见证数据也会证明处理完该块后新状态根的正确性。

无状态性有两种形式:

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

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

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

此外,所有类型的无状态性都提高了网络所需的数据带宽;而强无状态性还需要交易声明其所交互的账户及存储项的键(概念上这个叫做 “访问列表”)。

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

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

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

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

何时过期

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

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

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

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

  • 所有状态对象定期过期(例如每 6 个月一次):也就是 ReGenesis 提案(中文译本)

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

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

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

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

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

相关推荐

【投研】Uniswap领跑去中心化交易所,2个月成交量超1300亿美元
  • 【投研】Uniswap领跑去中心化交易所,2个月成交量超1300亿美元
  • 【投研】Uniswap领跑去中心化交易所,2个月成交量超1300亿美元
  • 【投研】Uniswap领跑去中心化交易所,2个月成交量超1300亿美元
  • 【投研】Uniswap领跑去中心化交易所,2个月成交量超1300亿美元
错过百倍币FLOW?别急,机会还有这些
  • 错过百倍币FLOW?别急,机会还有这些
  • 错过百倍币FLOW?别急,机会还有这些
  • 错过百倍币FLOW?别急,机会还有这些
  • 错过百倍币FLOW?别急,机会还有这些
链上周报:二月比特币先扬后抑,DeFi协议清算量达1.94亿美元
  • 链上周报:二月比特币先扬后抑,DeFi协议清算量达1.94亿美元
  • 链上周报:二月比特币先扬后抑,DeFi协议清算量达1.94亿美元
  • 链上周报:二月比特币先扬后抑,DeFi协议清算量达1.94亿美元
  • 链上周报:二月比特币先扬后抑,DeFi协议清算量达1.94亿美元
一夜暴涨3000%,然后暴跌86%,筹码集中的MASK还能涨吗?
  • 一夜暴涨3000%,然后暴跌86%,筹码集中的MASK还能涨吗?
  • 一夜暴涨3000%,然后暴跌86%,筹码集中的MASK还能涨吗?
  • 一夜暴涨3000%,然后暴跌86%,筹码集中的MASK还能涨吗?
  • 一夜暴涨3000%,然后暴跌86%,筹码集中的MASK还能涨吗?
大盘下跌企稳,3月份可期待热点行情
大盘下跌企稳,3月份可期待热点行情

盘面下跌企稳,大饼重新站回MA30日均线附近,大饼只是小反弹至46000点,合约市场就出现逾50亿元的爆仓,看来在集体看空氛围严重的时候,不过分看空是对的。如此...

8小时前 admin

欧易OKEx Research:从货币演化历程看数字货币未来发展
欧易OKEx Research:从货币演化历程看数字货币未来发展

摘要:数字货币(DigitalCurrency)可以认为是一种基于节点网络和数字加密算法的虚拟货币。去中心化的数字货币没有发行主体,因此没有任何人或机构能够控...

8小时前 admin

Uniswap丨Hold & 提供流动性,哪种方式更赚?
  • Uniswap丨Hold & 提供流动性,哪种方式更赚?
  • Uniswap丨Hold & 提供流动性,哪种方式更赚?
  • Uniswap丨Hold & 提供流动性,哪种方式更赚?
  • Uniswap丨Hold & 提供流动性,哪种方式更赚?
2月发生典型安全事件超26起,整体风险评级为『中』
  • 2月发生典型安全事件超26起,整体风险评级为『中』
  • 2月发生典型安全事件超26起,整体风险评级为『中』
  • 2月发生典型安全事件超26起,整体风险评级为『中』
  • 2月发生典型安全事件超26起,整体风险评级为『中』
欧易OKEx晚讯:“区块链”成为2021年省级地方政府工作报告中的热门词
欧易OKEx晚讯:“区块链”成为2021年省级地方政府工作报告中的热门词

欧易OKEx晚讯将在每日晚间推送最新产业动态及行情,帮助投资人快速了解行业热点,把握每一个投资机会。行情播报3月1日讯,今日加密货币市场上行,主流币集体拉升。截...

8小时前 admin

【分析师看后市】音乐未停,BTC牛市还在
【分析师看后市】音乐未停,BTC牛市还在

非常感谢大家对币世界研究院原创栏目【分析师看后市】的喜爱,现已推出同名深度系列原创栏目。如果你有喜欢的分析师,请在快讯、深度文章、B圈进行留言,点名你喜欢的分析...

10小时前 admin

IMF《跨境支付的数字货币》报告解读(九):数字货币对宏观经济风险的影响
IMF《跨境支付的数字货币》报告解读(九):数字货币对宏观经济风险的影响

1.前言本文是这一系列的第九篇文章,第一篇介绍了IMF报告里的四个场景[1],第二篇‌分析了这些场景[2],第三篇‌则针对报告中的第四个场景及引起的宏观金融后果...

10小时前 admin

欧易OKEx投研| 超12万亿刺激计划落地,比特币破而后立
  • 欧易OKEx投研|  超12万亿刺激计划落地,比特币破而后立
  • 欧易OKEx投研|  超12万亿刺激计划落地,比特币破而后立
  • 欧易OKEx投研|  超12万亿刺激计划落地,比特币破而后立
  • 欧易OKEx投研|  超12万亿刺激计划落地,比特币破而后立
美国企业购买比特币的真正动机是什么?

刘裘蒂:有一波美国企业正考虑通过购买比特币和加密货币来重组资产负债表,这将为资本市场带来什么样的焦虑和风险?比特币在2月19日突破总市值1万亿美元的里程碑,主要有两个驱动因素:一个是加拿大在18日推出...

美国10年国债收益率开始回落 利好美股和加密货币

狂人说每天笔耕不断,更像是北漂的奋斗,因为居无定所,所以会被房东随时下达逐客令。区块链世界正是解决霸权主义带给底层人民的欺凌,发展区块链技术的受益者是最顶层和最底层的人民,会让底层世界的人民直接完成顶...

内蒙古拟清退加密货币挖矿 碳中和承诺对矿业影响几何?

2月25日内蒙古发改委官网宣布,按照能耗双控工作安排,自治区发展改革委会同自治区工业和信息化厅、能源局起草了《关于确保完成“十四五”能耗双控目标任务若干保障措施(征求意见稿)》,现向社会公开征求意见,...