零点课堂 | 过期状态复活方法比较

状态保质期是目前解决状态增长问题的推荐方案。

在本文中,我们将状态保质期视为一种会定期让完整状态树失效的机制。本文将讨论如何存储之前的周期(period),因为我们的关注点就是如何复活已经被遗忘的状态 —— 无论 n=0 还是 n=1

以下总结了一些机制提案:

清空

顾名思义,“清空” 就是什么都不剩:过了保质期的状态会立马失效,如果用户需要使用已失效状态中的部分数据,必须提供对应的见证数据(witness)。请注意,若要读取或写入还未在有效状态中初始化的部分,用户 必须 提供证明:要么是一个除外证明(exclusion proof)来表明这部分数据在之前任意时刻都没有初始化,要么是一个具体时间点的证明,然后再提供一个除外证明来表明这部分数据在这个时间点之后没有改变过。

  • 非常简单

  • 除外证明的大小会随时段数量呈线性增长,让初始化状态数据的成本变得异常高
  • 逃避了地址冲突问题

带周期标记的地址(PWA)

清空元数据的主要问题在于,初始化新的状态元素会产生很高的成本。通过让地址带上周期标记,以太坊协议可以创建一种机制来避免在初始化新的状态数据时产生地址冲突。鉴别器会设定账户最少能够存活到哪个时段。目前有两种方法可以实现 PWA:

地址空间扩展(ASE)

  • Vitalik 的文章
  • Ipsilon 的文章

太长不看:同时允许传统的 20 个字节的地址和 32 个字节的 ASE 前缀地址存在。在以太坊虚拟机中创建一个环境变量来修改涉及地址的操作码的行为,具体视相关地址是传统地址还是 ASE 地址而定。

  • 新的状态无需证明即可初始化。
  • 可扩展以保存其它元数据。
  • 解决地址冲突问题。

  • 需要对 EVM 进行大量修改。
  • 需要创建两种不同的 EVM 环境,分为传统模式和扩展模式。
  • 转换映射将无限增长(与传统环境中使用的长地址数量呈线性关系),而且无法用过期机制来抛弃似乎是可以有过期机制的,只不过(抛弃数据后)要承担一些地址冲突的风险。
  • 用户体验不佳,因为用户可以将资产存储在三种类型的地址上(短地址、长地址、压缩地址)。
  • 并非所有 Solidity 编译的合约的掩码地址都有 160 位,因此一些合约的地址可能会存在高阶脏位(dirty upper bit)。

(点击此处,查看 Ipsilon 的完整分析。)

免扩展的 PWA

  • Vitalik 的文章

太长不看:找到一个未使用过的 4 个字节的前缀,并禁止在旧规则下使用该前缀创建新的合约/地址。旧合约在传统模式下执行,只可根据旧规则创建新的地址。新类型的合约在 PWA 模式下执行,只可创建新的合约(其中,开头 4 个字节是预先选好的前缀,第 5 – 6 个字节代表当前时段,第 7- 20 个字节照例代表地址。)

新的状态无需证明即可初始化。

  • 对 EVM 的修改相对较少。
  • 不需要转换表,用户只需要考虑一种地址。
  • 不会破坏现有工具(不过它们显示的可能是异或地址(xor’d address)而非原像?)

  • 发生地址冲突的概率较高,不再有反事实合约。
  • 不是一个很有吸引力的解决方案,可能会让地址扩展变得越来越难。

周期元数据

状态树元数据

这个想法应该还没有被正式定义(就算有也只是在 @adietrichs 的脑中),但它的大体思路是在状态树中的账户对象处增加一个新的字段来表示创建时间。这样可以解决因除外证明而导致新的存储项初始化成本过高的问题(尤其是在假设合约是为了在每个周期部署新的子合约而编写的情况下),但是不会改善为创建新账户而创建新账户的问题。

  • 如果是新合约,无需证明即可初始化新的存储项。
  • 非常简单。
  • 可扩展以保存其它元数据。
  • 不会因为外部映射而导致状态无限增长。
  • 不会破环现有工具。

  • 逃避了地址冲突问题。
  • 创建新账户的成本很高,需要除外证明来表明该账户自周期 0 以来就不存在。

外部时段注册表

这个想法也没有被正式定义,大体思路是引入一个新的注册表树来存储状态保质期的元数据。这个注册表不会过期,并且会存储合约的创建时段。另外,它还可以存储其它信息,如存储项的总数量。只要有效存储量等于合约的总存储量,合约时段就可以升级成当前时段。类似方案也可以应用于 EWA 提案,但是需要修改状态树。

  • 新的状态无需证明即可初始化。
  • 可扩展以保存其它元数据。
  • 不需要转换表,用户只需要考虑一种地址。
  • 不会破坏现有工具。

  • 新的状态树结构。
  • 无限增长(与使用中的地址数量呈线性关系)。
  • 逃避了地址冲突问题。

声明:本文由趣币网官方代发,零点财经收录,观点仅代表作者本人,绝不代表零点财经赞同其观点或证实其描述。

本文由 零点财经 作者:tao 发表,其版权均为 零点财经 所有,文章内容系作者个人观点,不代表 零点财经 对观点赞同或支持。如需转载,请注明文章来源。
分享生成图片
12

发表评论

零点课堂 | 过期状态复活方法比较

2021-07-20 12:27:56

状态保质期是目前解决状态增长问题的推荐方案。

在本文中,我们将状态保质期视为一种会定期让完整状态树失效的机制。本文将讨论如何存储之前的周期(period),因为我们的关注点就是如何复活已经被遗忘的状态 —— 无论 n=0 还是 n=1

以下总结了一些机制提案:

清空

顾名思义,“清空” 就是什么都不剩:过了保质期的状态会立马失效,如果用户需要使用已失效状态中的部分数据,必须提供对应的见证数据(witness)。请注意,若要读取或写入还未在有效状态中初始化的部分,用户 必须 提供证明:要么是一个除外证明(exclusion proof)来表明这部分数据在之前任意时刻都没有初始化,要么是一个具体时间点的证明,然后再提供一个除外证明来表明这部分数据在这个时间点之后没有改变过。

  • 非常简单

  • 除外证明的大小会随时段数量呈线性增长,让初始化状态数据的成本变得异常高
  • 逃避了地址冲突问题

带周期标记的地址(PWA)

清空元数据的主要问题在于,初始化新的状态元素会产生很高的成本。通过让地址带上周期标记,以太坊协议可以创建一种机制来避免在初始化新的状态数据时产生地址冲突。鉴别器会设定账户最少能够存活到哪个时段。目前有两种方法可以实现 PWA:

地址空间扩展(ASE)

  • Vitalik 的文章
  • Ipsilon 的文章

太长不看:同时允许传统的 20 个字节的地址和 32 个字节的 ASE 前缀地址存在。在以太坊虚拟机中创建一个环境变量来修改涉及地址的操作码的行为,具体视相关地址是传统地址还是 ASE 地址而定。

  • 新的状态无需证明即可初始化。
  • 可扩展以保存其它元数据。
  • 解决地址冲突问题。

  • 需要对 EVM 进行大量修改。
  • 需要创建两种不同的 EVM 环境,分为传统模式和扩展模式。
  • 转换映射将无限增长(与传统环境中使用的长地址数量呈线性关系),而且无法用过期机制来抛弃似乎是可以有过期机制的,只不过(抛弃数据后)要承担一些地址冲突的风险。
  • 用户体验不佳,因为用户可以将资产存储在三种类型的地址上(短地址、长地址、压缩地址)。
  • 并非所有 Solidity 编译的合约的掩码地址都有 160 位,因此一些合约的地址可能会存在高阶脏位(dirty upper bit)。

(点击此处,查看 Ipsilon 的完整分析。)

免扩展的 PWA

  • Vitalik 的文章

太长不看:找到一个未使用过的 4 个字节的前缀,并禁止在旧规则下使用该前缀创建新的合约/地址。旧合约在传统模式下执行,只可根据旧规则创建新的地址。新类型的合约在 PWA 模式下执行,只可创建新的合约(其中,开头 4 个字节是预先选好的前缀,第 5 – 6 个字节代表当前时段,第 7- 20 个字节照例代表地址。)

新的状态无需证明即可初始化。

  • 对 EVM 的修改相对较少。
  • 不需要转换表,用户只需要考虑一种地址。
  • 不会破坏现有工具(不过它们显示的可能是异或地址(xor’d address)而非原像?)

  • 发生地址冲突的概率较高,不再有反事实合约。
  • 不是一个很有吸引力的解决方案,可能会让地址扩展变得越来越难。

周期元数据

状态树元数据

这个想法应该还没有被正式定义(就算有也只是在 @adietrichs 的脑中),但它的大体思路是在状态树中的账户对象处增加一个新的字段来表示创建时间。这样可以解决因除外证明而导致新的存储项初始化成本过高的问题(尤其是在假设合约是为了在每个周期部署新的子合约而编写的情况下),但是不会改善为创建新账户而创建新账户的问题。

  • 如果是新合约,无需证明即可初始化新的存储项。
  • 非常简单。
  • 可扩展以保存其它元数据。
  • 不会因为外部映射而导致状态无限增长。
  • 不会破环现有工具。

  • 逃避了地址冲突问题。
  • 创建新账户的成本很高,需要除外证明来表明该账户自周期 0 以来就不存在。

外部时段注册表

这个想法也没有被正式定义,大体思路是引入一个新的注册表树来存储状态保质期的元数据。这个注册表不会过期,并且会存储合约的创建时段。另外,它还可以存储其它信息,如存储项的总数量。只要有效存储量等于合约的总存储量,合约时段就可以升级成当前时段。类似方案也可以应用于 EWA 提案,但是需要修改状态树。

  • 新的状态无需证明即可初始化。
  • 可扩展以保存其它元数据。
  • 不需要转换表,用户只需要考虑一种地址。
  • 不会破坏现有工具。

  • 新的状态树结构。
  • 无限增长(与使用中的地址数量呈线性关系)。
  • 逃避了地址冲突问题。

声明:本文由趣币网官方代发,零点财经收录,观点仅代表作者本人,绝不代表零点财经赞同其观点或证实其描述。