原作者：VitalikButerin，《状态到期和无状态路线图》
以太坊的状态规模正在迅速增长。目前仅状态大小大约有35GB，如果包括所有Merkle证明在内，则超过100GB，并且每年大约增加一半。状态存储也是以太坊经济学的一个弱点：它也是唯一一种机制，使得参与者支付一次就可变成节点永远的负担。为了保持以太坊的可扩展性和可持续性，我们需要一些解决方案。
有两种途径的解决方案，并且已经存在很长时间：弱无状态和状态到期：
状态到期：从状态中移除最近没有被访问过的状态，并需要见证人才能恢复过期状态。这会将每个人需要存储的状态减少到大约20-50GB。弱无状态：只需要区块提议者存储状态，并允许所有其他节点无状态地验证区块。在实践中实现这一点需要切换到Verkle树以减少见证人的规模。本文档描述了同时实施这两个想法的多阶段提案。事实证明，这比先后连续执行这两个解决方案要容易得多。没有Verkle树的状态到期需要非常大的见证大小来证明旧状态，而切换到没有状态到期的Verkle树需要就地转换程序，这几乎与仅实现状态到期一样复杂。然而，如果同时进行，这两项改革解决了彼此面对的挑战：状态到期涉及每年创建一个新的状态树，允许Verkle树随着时间的推移逐步引入而无需就地转换，而Verkle树解决了见证人规模的问题。
V神发文探讨CEX的安全性：希望技术上使交易所接近非托管:11月19日消息，针对FTX事件，V神发文”安全的CEX：偿付能力证明“，探讨使交易所更接近去信任化的尝试历史、这些技术的局限性，以及一些新的、更强大的想法，这些想法依赖于ZK SNARK和其他先进技术。
V神表示，使用ZK-SNARKs可改善隐私和稳健性，将所有用户的存款放入一棵Merkle树中，并使用 ZK-SNARK 来证明树中的所有余额都是非负的，加起来为一些声称的价值。如果我们为隐私添加一层哈希，则提供给每个用户的Merkle分支将不会透露任何其他用户的余额。
对于更进一步，不想仅仅证明交易所有资金来偿还用户，更要防止交易所完全窃取用户的资金。V甚表示，理想的长期解决方案是依靠自我托管，并辅以多重签名和社交恢复钱包等技术，以帮助用户应对紧急情况。在短期内，有两种明确的替代方案：Coinbase等托管交易所、Uniswap等非托管交易所。
最后，V神表示，短期内，交易所分为两个明确的“类别”：托管交易所和非托管交易所。今天，后一类只是DEXes，例如Uniswap，未来我们可能还会看到加密“受限”的CEXes，其中用户资金保存在类似于validium智能合约的东西中。我们也可能会看到半托管交易所，我们用法定货币而不是加密货币来信任它们。
两种类型的交易所都将继续存在，而提高托管交易所安全性的最简单的向后兼容方式是添加储备证明。这包括资产证明和负债证明的组合。为两者制定良好的协议存在技术挑战，但我们可以而且应该尽可能地在两者上取得进展，并尽可能开源软件和流程，以便所有交易所都能受益。
从长远来看，V神希望我们越来越接近于所有交易所都是非托管的，至少在加密方面是这样。钱包恢复将存在，并且可能需要为处理小额交易的新用户以及出于法律原因需要此类安排的机构提供高度中心化的恢复选项，但这可以在钱包层而不是在交易所本身内完成。[2022/11/19 22:06:43]
相关链接：状态到期和无状态思想的发展历史
V神发布旨在解决“大区块链”中心化和信任问题的路线图:12月6日，以太坊创始人V神（Vitalik Buterin）发布文章《Endgame（最后阶段）》。考虑到一般的“大区块链”，即非常高的区块频率、非常大的区块规模、每秒数千笔交易，但也高度中心化的区块链，V神称，至少按照其标准，如何才能使这样的链可接受的无需信任和抗审查？文章提出了一个合理的路线图：1.添加第二层质押，以进行分布式区块验证；2.引入欺诈证明或ZK-SNARK，让用户直接（且低成本地）检查区块有效性；3.引入数据可用性采样，让用户检查区块可用性；4.添加二级交易渠道以防止审查。对于以太坊Rollup的未来，V神表示，没有任何一个Rollup能成功地与大多数以太坊活动保持一致。相反，它们都以每秒几百笔交易的速度达到极限。我们得到一个以太坊的多Rollup的未来，即Cosmos的多链愿景，但是在一个提供数据可用性和共享安全性的基础层之上，用户可以依靠跨Rollup桥接在不同Rollup之间切换，而不需要支付主链上的高额费用。这一切可能需要数年时间才能实现。人们需要数年的改进和审计才能完全放心地将其资产存储在运行完整EVM的ZK-Rollup中，跨域MEV研究也仍处于起步阶段。但是，可扩展区块链的现实而光明的未来可能会出现，这一点看起来越来越清晰。[2021/12/7 12:55:20]
无状态客户端概念，最初的ethresear.ch帖子：https://ethresear.ch/t/the-stateless-client-concept/172?状态租金，2015年原始提案：https://github.com/ethereum/EIPs/issues/35?ReGenesis：https://medium.com/@mandrigin/regenesis-explained-97540f457807?Verkle树：https://notes.ethereum.org/_N1mutVERDKtqGIEYc-Flw?关于边界见证大小的演示：https://www.youtube.com/watch?v=qQpvkxKso2E?状态大小管理理论：https://hackmd.io/@vbuterin/state_size_management?复活冲突最小化状态边界：https://ethresear.ch/t/resurrection-conflict-minimized-state-bounding-take-2/8739?无状态和状态到期的一些路径：https://hackmd.io/@vbuterin/state_expiry_paths
V神发推为信标链庆生，并发布更新版路线图:12月3日消息，V神发推为信标链庆生，并发布更新后的路线图，新版路线图“展示了以太坊协议开发的现状以及未来发展的顺序。”
V神表示：“我敢肯定，像所有的图表一样，这张表也遗漏了很多东西，但是它也涵盖了很多重要的东西!”[2021/12/3 12:47:36]
回顾：状态到期是如何工作的？
这是对此处提议的机制以及本文档中提议的内容的描述。核心思想是每个时期都会有一个状态树，当新时期开始时，会为该时期初始化一个空状态树，任何状态更新都会进入该树。在一段时间内发生的所有写入都进入最新的树。
V神发文探讨以低于市场出清价格销售以实现公平的替代方案:金色财经报道，8月22日，以太坊创始人V神发布关于《以低于市场出清价格出售以实现公平（或社区情绪或乐趣）的替代方案》的文章，V神表示，区块链为我们提供了一个独特的机会来重置社会规范。几十年来经济学家大喊“效率”失败的情况下，优步将激增定价合法化；当然，区块链也可以成为使机制设计的新用途合法化的机会，与其摆弄以市场价格与低于市场价格出售的粗粒度一维策略空间（也许还有拍卖与固定价格出售的第二个维度），我们可以使用更先进的工具来创建一种更直接地解决问题、副作用更少的方法，在所有这些情况下，解决方案的核心很简单：如果你想对人可靠公平，那么你的机制应该有一些明确衡量人的输入。人格证明协议可以做到这一点（如果需要，可以结合零知识证明来确保隐私）。因此，我们应该将市场定价和拍卖定价的效率收益，以及人格机制证明的平等收益，结合起来。[2021/8/22 22:29:12]
请注意，这些大约一年的状态到期时间在历史上有时被称为“时期”，但我正在切换到“周期”一词以避免与信标链时期混淆。
保持两个关键原则：
只能修改最近的树。所有旧树都不再可修改；旧树中的对象只能通过在新树中创建它们的副本来修改，并且这些副本取代了旧副本。全节点预计只持有最新的两个树，因此只有最新的两个树中的对象才能在没有见证人的情况下被读取。阅读较旧的树则需要提供见证人。“见证”是一个简短的证明，它证明一个值或一组值位于树中的某个位置，可以由只有树根的人进行验证。例如，可以做一个见证，证明账户0x124f...89ab的存储槽123在某个状态下包含值50，任何拥有该状态树根的人都可以验证该证明。
状态到期建立了一种混合状态机制：共识节点需要存储最近访问或修改的状态，但可以使用基于见证的无状态客户端方法来验证较旧的状态。也就是说，可以维护一个“归档节点”，它甚至可以存储历史状态树，或者是一个完全无状态的节点，它使用见证人来验证甚至最近的状态。然而，gas成本结构和默认网络格式是围绕节点存储最新的两个状态树的假设构建的。
路线图
这种转换路线图分阶段实施。这些阶段包括：
周期1硬分叉：我们从周期1开始实施一个硬分叉。在此分叉之后，将有两个状态树：十六进制Patricia树和一个新的Verkle树原始EIP：https://notes.ethereum.org/@vbuterin/verkle_tree_eip
地址周期扩展：地址从20字节扩展到32字节，新的地址格式包括“地址周期”的概念。这允许新合约在不需要提供见证人的情况下填充新的存储槽。这可以在最终状态到期转换之前、周期1硬分叉之前或之后的任何时候完成。VB的提议：https://ethereum-magicians.org/t/increasing-address-size-from-20-to-32-bytes/5485
Ipsilon团队提案：https://notes.ethereum.org/@ipsilon/address-space-extension-exploration
周期2硬分叉：我们实施了开始周期2的硬分叉，并安排了未来阶段的开始。周期0十六进制Patricia树被替换为Verkle树，并且客户端只存储根，因此周期0树中的状态现在需要见证人来证明。在此之后，状态到期计划已全面实施。原始EIP：https://notes.ethereum.org/@vbuterin/state_expiry_eip
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。