以太坊爱好者2021-07-18 22:32:31
状态保质期是目前解决状态增长问题的推荐方案。
在本文中,我们将状态保质期视为一种会定期让完整状态树失效的机制。本文将讨论如何存储之前的周期(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 的完整分析。)
免扩展的 PWAVitalik 的文章
太长不看:找到一个未使用过的 4 个字节的前缀,并禁止在旧规则下使用该前缀创建新的合约/地址。旧合约在传统模式下执行,只可根据旧规则创建新的地址。新类型的合约在 PWA 模式下执行,只可创建新的合约(其中,开头 4 个字节是预先选好的前缀,第 5 - 6 个字节代表当前时段,第 7- 20 个字节照例代表地址。)
利
新的状态无需证明即可初始化。
对 EVM 的修改相对较少。
不需要转换表,用户只需要考虑一种地址。
不会破坏现有工具(不过它们显示的可能是异或地址(xor'd address)而非原像?)
弊
发生地址冲突的概率较高,不再有反事实合约。
不是一个很有吸引力的解决方案,可能会让地址扩展变得越来越难。
周期元数据状态树元数据这个想法应该还没有被正式定义(就算有也只是在 @adietrichs 的脑中),但它的大体思路是在状态树中的账户对象处增加一个新的字段来表示创建时间。这样可以解决因除外证明而导致新的存储项初始化成本过高的问题(尤其是在假设合约是为了在每个周期部署新的子合约而编写的情况下),但是不会改善为创建新账户而创建新账户的问题。
利
如果是新合约,无需证明即可初始化新的存储项。
非常简单。
可扩展以保存其它元数据。
不会因为外部映射而导致状态无限增长。
不会破环现有工具。
弊
逃避了地址冲突问题。
创建新账户的成本很高,需要除外证明来表明该账户自周期 0 以来就不存在。
外部时段注册表这个想法也没有被正式定义,大体思路是引入一个新的注册表树来存储状态保质期的元数据。这个注册表不会过期,并且会存储合约的创建时段。另外,它还可以存储其它信息,如存储项的总数量。只要有效存储量等于合约的总存储量,合约时段就可以升级成当前时段。类似方案也可以应用于 EWA 提案,但是需要修改状态树。
利
新的状态无需证明即可初始化。
可扩展以保存其它元数据。
不需要转换表,用户只需要考虑一种地址。
不会破坏现有工具。
弊
新的状态树结构。
无限增长(与使用中的地址数量呈线性关系)。
逃避了地址冲突问题。
发布评论 评论以太坊Layer 2必知必会2023-04-26 15:03:27
浅析NFT未来:仅少数项目上涨 出圈项目会成赢家2023-04-26 14:15:26
E-CNY时代来临:当你的工资成为数字人民币2023-04-26 12:43:48
浅谈为什么MEV搜索者矿池并不可行?2023-04-26 12:08:40
"庄家"互撕 曝出加密巨头拉的那些"帮派"2023-04-26 11:59:08
怎样到达Web3世界:使用Web3技术的公司及集成到业务的步骤2023-04-26 11:53:15
稳定币项目 HAI、Starknet 2023 路线图2023-04-26 11:46:35
ChatGPT类产品安全隐患解决?英伟达发布开源工具包2023-04-26 11:26:24
蚂蚁集团发布HOU、AntChainBridge、Web3开放联盟链等多个Web3产品2023-04-26 11:24:46
ChatGPT背后的算力博弈 中国企业亟待打破美国桎梏2023-04-26 10:59:28
简析DWF Labs:出手频繁 颇具争议的加密做市商2023-04-26 10:48:45
NFT 交易平台生存现状研究:后版税战争时代下的龙头之争2023-04-26 09:20:51
以太坊提款功能开启后的带宽使用情况2023-04-26 08:30:24
上海升级提款效应:数据揭示 LSD 项目们的表现2023-04-26 07:28:37
3分钟读懂基于LayerZero的多链抗MEV DEX聚合器Cashmere2023-04-25 20:05:34
对话去中心化流动性质押协议Rocket Pool:如何促进以太坊Staking民主化?2023-04-25 19:02:21
Bankless:欧美都想监管稳定币 他们怎么做?2023-04-25 17:43:44
Coinbase起诉SEC全文:请在合理时间内回应加密规则请愿书2023-04-25 16:43:34
慢雾:Web3 假钱包第三方源调查分析2023-04-25 15:43:36
Binance Sensei介绍:您的Web3 AI导师2023-04-25 13:20:55