原文标题:《V 神发布以太坊状态到期和无状态路线图,同步实施以解决状态暴增问题》 以太坊的状态规模正在迅速增长。目前仅状态大小大约有 35 GB,如果包括所有 Merkle 证明在内,则超过 100 GB,并且每年大约增加一半。状态存储也是以太坊经济学的一个弱点:它也是唯一一种机制,使得参与者支付一次就可变成节点永远的负担。为了保持以太坊的可扩展性和可持续性,我们需要一些解决方案。 有两种途径的解决方案,并且已经存在很长时间:弱无状态和状态到期: 状态到期:从状态中移除最近没有被访问过的状态(例如:上一次访问还是去年),并需要见证人(witnesses)才能恢复过期状态。这会将每个人需要存储的状态减少到大约 20-50 GB。 弱无状态:只需要区块提议者存储状态,并允许所有其他节点无状态地验证区块。在实践中实现这一点需要切换到 Verkle 树以减少见证人的规模。 本文档描述了同时实施这两个想法的多阶段提案。 事实证明,这比先后连续执行这两个解决方案要容易得多。 没有 Verkle 树的状态到期需要非常大的见证大小来证明旧状态,而切换到没有状态到期的 Verkle 树需要就地转换程序(例如 EIP-2584),这几乎与仅实现状态到期一样复杂。 然而,如果同时进行,这两项改革解决了彼此面对的挑战:状态到期涉及每年创建一个新的状态树,允许 Verkle 树随着时间的推移逐步引入而无需就地转换,而 Verkle 树解决了 见证人规模的问题。 相关链接:状态到期和无状态思想的发展历史
回顾:状态到期是如何工作的?这是对此处提议的机制以及本文档中提议的内容的描述。 核心思想是每个时期都会有一个状态树(如:1 个时期 ~= 1 年),当新时期开始时,会为该时期初始化一个空状态树,任何状态更新都会进入该树。 在一段时间内发生的所有写入都进入最新的树(因此新树和旧树可能存储相同的信息甚至相互冲突;新树总是优先)。 请注意,这些大约一年的状态到期时间在历史上有时被称为「时期(epochs)」,但我正在切换到「周期(period)」一词以避免与信标链时期混淆。 (责任编辑:admin) |