以太坊协议所面临的一个最为长久且尚未解决的挑战，就是由于状态数据规模不断增长而带来的问题。以太坊区块链上的许多操作（创建账户、写入一个合约存储槽、发送 ETH 到一个新的账户……）都会给以太坊添加状态内容（也即是给状态数据增加数据对象），而所有全节点都必须存储全量的状态数据，这样才能验证新区块以及制造新区块。这些操作只需事务的发送者一次性缴交按 gas 用量来计量的手续费，但会给整个网络造成永久的持续性成本，因为节点需要存储这些新数据（而未来加入的节点也需要在同步过程中下载这些数据）。
这是系统设计中的一个显著的失衡，可能会让以太坊系统变得越来越难用，因为状态中充斥着不再有用处的 “垃圾数据”。本文的目的是详细解释问题产生的根源，以及一些解决该问题的方法。如果我们能实现某个解决方案，这将为安全地大幅提高区块 Gas 上限 铺平道路。
本文所论述的研究领域仍在推进中，随时有可能出现更新、更好的想法和更优雅的权衡。
“状态” 指的是节点若想处理新产生的区块和事务就必须存有的信息。状态与 “历史” 完全不同，后者是关于过去时间的信息，节点可以保存这些信息以便日后重新广播或归档，但并不是处理区块链所必需的。
观点：加密货币与美国股市、宏观事件的相关性正在减弱:金色财经报道，Bernstein分析师表示，加密货币与美国股市和宏观事件的相关性正在减弱，加密货币市场似乎处于多头和空头之间，等待“任何进一步的催化剂”。加密市场对传统市场的敏感性已不像过去那样，比特币与股票的相关性全年稳步下降，比特币与纳斯达克综合指数之间的相关性从2月初的0.94降至现在的0.58。
分析师还认为，与美国的相关性减弱将为加密货币带来牛市。分析师在报告中表示：“很大一部分稳定币发行（>50%）和全球加密货币交易（95%）仍在美国市场之外。因此，与美国流动相比，加密市场是由更多的全球流动驱动的。”[2023/2/28 12:32:55]
在以太坊协议中，状态信息包括：
账户的 ETH 余额 和 nonce（流水号）
智能合约的代码
智能合约的存储项（storage）
与共识机制相关的数据（近期的区块哈希值，叔块；权益证明的共识数据还包括验证者的公钥以及及其记录在信标链上的活动，等等）
观点：专票电子化将促使财务组织从区块链等工具集选择实施路径优化业务流程:7月2日，增值税专用发票电子化研究课题小组专家陈玉刚表示，专票电子化势必会给企业带来爆炸式增长的数据量、业务和财务高度融合、非结构化数据池、数字化流程闭环等需求和挑战。他表示，这些数据资源和业务需求将倒逼财务组织，从云计算、流程机器人、可视化、商业分析、区块链等工具集选择一个适合公司发展的实施路径，充分利用发票数据资源、优化业务流程，为企业数字化转型带来基础优势。（中国会计报）[2020/7/2]
历史信息则由旧的区块和收据组成。EVM 中没有操作码可以让你访问旧区块、旧事务和内容和收据输出，所以节点丢弃这些数据也仍然能验证新区块，所以这些是历史信息。
上述状态信息列表中的最后一项 —— 共识机制相关数据 —— 在设计上已经精心限制了其规模，因此我们不太需要为此困扰。但前面三项，就令人头大了。这三类状态信息的规模会随着时间推移而不断增大，因为不断会有新用户加入网络，他们会创建新的账户、新的合约，还会加入合约、收到 token 什么的。
观点：航延险赔付乱象频发 区块链技术可作风控抓手:针对航延险赔付乱象频发，专家称区块链技术可作风控抓手。安达保险数字能力架构师王尧提出，区块链技术是航延险等小额保险防范薅羊毛的不二选择。区块链的优势在于数据传输时效性更好，数据保密性更强，同时可以做到数据实时共享，可在第一时间发现可能的旅行险欺诈风险，并在同业中实时进行共享，将事前风控关口有效前移，极大地促进行业风控能力建设的同步提升，推动保险行业的健康发展。（国际金融报）[2020/6/14]
难办的是，许多状态用过之后就会静静地躺在那里（不会再被触及）；一旦某个用户停用某个应用之后，就会产生一些 “垃圾状态” —— 不会再派上用场，但会永远存在那里。
理论上，用户可以做到 “垃圾不落地”。用户可以仅发布带有 SELFDESTRUCT 条件的合约，等他们再也用不上这个合约的时候，就调用这个操作码移除这个合约、清空其 token 余额；他们还可以使用智能合约钱包，通过一个已有的外部持有账户（EOA）来发送交易，而无需生成一个新的 EOA（EOA 状态是没法删除的）。
观点：投资者对2009年远古钱包比特币异动反应过度:昨日晚间，某2009年远古比特币地址出现异动，有声音猜测该地址可能属于中本聪，而后多方给出分析称不太可能。但消息传出之时迅速引发了比特币的大幅抛售，导致比特币从9800美元的高点跌至9400美元的低点。分析平台Santiment分享了这条消息开始传播时关于投资者情绪的数据，并解释称随后的抛售表明人们对此“反应过度”：“BTC在1小时内的跌幅达到4%。社会交易量表明，人们对此反应过度，当价格开始反弹时，人们的反应又迅速平息下来。”（CryptoSlate）[2020/5/21]
但是在实践中，这样的激励非常少，而适当的状态清理的技术复杂性又太大了。在许多合约中，给任何人赋予这样调用 SELFDESTRUCT 的权限都是不合适的（人们想要的就是 “无法终止” 的应用！），而且，也会给用户体验和代码上也会增加很多复杂性。实际上，由于 SELFDESTRUCT 用处极其有限而副作用极大，我更倾向于永远移除这个操作码。如果我们真想控制状态数据的规模，我需要的是一个网络中的节点可以 默认 丢弃不再被使用的 “垃圾状态” 的方法。
声音 | 观点：Facebook提前宣布Libra计划是正确的做法:虽然Facebook面临着监管机构的巨大压力，但荷兰国际集团（ING）数字金融与监管首席经济学家Teunis Brosens表示，Facebook这么早宣布Libra计划是正确的。他表示，Facebook还反对所谓比特币“极端主义者”的想法，这些人将自己的信念放在比特币之上，而不是传统金融服务。他在周一的圆桌讨论会上表示:“他们没有遵循反对传统金融体系的极端主义者模式，甚至没有遵循先推出后提问的Uber模式。他们首先要让监管者参与进来，这才是正确的选择。” Brosens表示，新兴市场央行可能对Libra这样的提议“更加开放”，因为其经济严重依赖美元：“它们的借款依赖美元，货币政策受到美元和国际资本流动的制约。”（CNBC）[2019/9/19]
这个问题的一类解决方案基于 “无状态客户端” 的观念（此文是论述这个观念的出处 ，此处是演讲视频）。基本原理是，让区块验证不再以持有全局状态为前提。相反，区块会自带证据（或者叫 “见证数据（witness）”），证明其所访问状态的值。就跟现在的设计一样，区块内会包含一个 “状态根（state root）”，所访问的值可以对应着状态根得到证明（译者注：默克尔证明即是一种常见的证明技术）。以太坊现在的状态树方案（默克尔帕特里夏树）支持这样的证明技术，像二进制树或者 Verkle Trie 这样更高效的方案也可以。见证数据也会证明处理完该块后新状态根的正确性。
无状态性有两种形式：
弱无状态性：出块者仍然需要完整的状态，以为（自己制造的）区块生成见证数据；但验证区块的阶段可以是无状态的；
强无状态性：没有任何节点需要完整的转台。反过来，是交易发送者需要提供见证数据，而出块者可以聚合这些数据。交易发送者自己负责存储为所关切的账户生成见证数据所需的部分状态树。
强无状态性是一个非常 “优雅” 的解决方案，因为它把责任完全转移给了用户，虽然为了保证实践中的良好用户体验，我们需要创造某些类型的协议来帮助不运行个人节点的用户维护状态、并处理用户需要与意料之外的账户交互的情形。打造这样的协议非常难。
此外，所有类型的无状态性都提高了网络所需的数据带宽；而强无状态性还需要交易声明其所交互的账户及存储项的键（概念上这个叫做 “访问列表”）。
更温和的解决方案可以归结为不同形式的 “状态过期” 方案。必须持续得到访问的状态才能保持 “激活状态”；而长期无人问津的状态会变成 “失活”（或者叫 “过期的”）。具体用什么机制来更新状态，有很多选择（例如预付 “租金”，或者只需访问那个状态），但一般原则是，除非某个状态对象被显式地更新，否则就以某种形式处于失活状态。因此，任何创建新状态对象（以及更新已有状态对象）的活动，都只能成为节点在一段时间内的负担，而不像现在这样变成永久负担。
失活状态，故名思义，就不是 “状态” 的一部分；想要处理区块或创建区块的节点无需存储失活状态。不过，失活状态不是被完全删除了！在所有类型的状态过期提案中，都预设了某种方法可以 “复活” 已经失活的状态。
一般原则是，激活状态的使用与当前相同，而失活状态则需通过上述无状态客户端的机制来使用。复活一个过期状态对象的事务需要提供一个证据（见证数据），来证明该对象是失活状态的一部分。为了能够生成这样的证据，用户自己需要存储和维护至少一部分失活状态（对应于其所关切的失活状态对象的那部分）。
决定过期条件的设计也有很多种。最常见的几种是：
直接租金：逐块逐块收取 “租金”，直接以每个账户（或其他状态对象）的余额来支付；状态对象的余额降到了零，该账户就过期了。
剩余存活时间值：每个状态对象都存储一个 ”剩余存活时间“ 值，这个值可以通过支付费用来增加
触达即刷新：每个状态对象都存储一个 ”剩余存活时间“ 值，并且每逢读取或写入该账户都会增加该值
所有状态对象定期过期（例如每 6 个月一次）：也就是 ReGenesis 提案（中文译本）
我自己越来越喜欢 ”触达即刷新“ 方案，因为（1）它避免了应用需要创造复杂的经济模型来让用户承担状态租金；以及（2）它保证了激活状态的规模有一个清晰的上限（区块 Gas 上限 / 触达状态对象的 Gas 消耗量 × 状态存活的时长）。让大量状态按照规律的时间间隔过期的方案（也就是 ReGenesis）也有同样的好处，但也有一些有趣的权衡：关键好处是，过期方案更简单（无需遍历整棵状态树而逐个逐个地灭活状态对象），但关键不足是，跨过一个过期时点后，你再激活自己的状态对象时，需要多少见证数据会跟你触达状态对象的时间点有关。
状态过期的逻辑既可以运营到账户层面，也可以运用到单个存储槽层面。当前，我强烈偏向于在存储槽层面实现状态过期方案。因为很多合约账户的存储槽数量是不受限制的，任意用户都能加入合约并增加合约名下的存储槽的数量（例如，空投就是一个已经出现过的案例）。不管使用什么样的账户层过期方案，想要实际限制状态的规模，租金的数量都必须与合约内存储槽的数量成比例（或者存活时间与之成反比）。结果是，用户还是能够仅支付一次性的费用就给合约及其用户施加 永久的持续性成本。
要解决这个问题，合约要么加入复杂的内部逻辑，将存储操的租金 “转嫁” 给用户，要么重新设计自己合约的模式，转向使用 CREATE2 操作码创建新的合约并使用这些合约来充当存储槽。不管是哪种办法，最后都会变成等价于存储槽层面的过期方案。因此，我个人认为，我们应该仅在合约存储槽层面实现状态过期方案。
但是，存储槽层面的过期方案也有自己的缺点：每个存储槽都要增加一个元数据，指明它何时过期（或者说是否已经失活），这也意味着 “复活冲突问题”（详见下文）不仅会影响账户，也会影响存储槽。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。