状态保质期是目前解决状态增长问题的推荐方案。
在本文中,我们将状态保质期视为一种会定期让完整状态树失效的机制。本文将讨论如何存储之前的周期(period),因为我们的关注点就是如何复活已经被遗忘的状态 —— 无论 n=0 还是 n=1。
以下总结了一些机制提案:
顾名思义,“清空” 就是什么都不剩:过了保质期的状态会立马失效,如果用户需要使用已失效状态中的部分数据,必须提供对应的见证数据(witness)。请注意,若要读取或写入还未在有效状态中初始化的部分,用户 必须 提供证明:要么是一个除外证明(exclusion proof)来表明这部分数据在之前任意时刻都没有初始化,要么是一个具体时间点的证明,然后再提供一个除外证明来表明这部分数据在这个时间点之后没有改变过。
SBF将提出修改后的保释方案,以满足法官对其软禁期间使用技术的不满:金色财经报道,SBF 将提出一个修订的保释方案,旨在满足法官对其被软禁期间使用技术的不满。SBF 以 2.5 亿美元保释金获得自由后被限制在父母的房子中,脚踝上带有监控装置,但因使用加密的短信应用程序与虚拟私人网络(VPN)而激怒美国地区法官 Lewis Kaplan。Kaplan 表示,如果 SBF 对这些限制不满,他将在 10 月的审判前撤销保释方案并将他送进监狱。
SBF 律师 Christian R. Everdell 在给联邦检察官的一封信中写道,SBF 与联邦检察官一直在努力就一系列具体的保释条件达成一致,以解决政府与法院表达的担忧,我们相信我们已接近达成一项决议,并预计能够在下周之前向法院提交一份概述这些条件的拟议命令。[2023/3/18 13:12:08]
利
MakerDAO:过去24小时有超7亿枚DAI通过PSM被铸造:金色财经报道,MakerDAO在推特上表示,过去24小时有7.36亿枚DAI通过PSM(USDC)被铸造,使得过去24小时通过PSM铸造的DAI净增加2.96亿枚。[2023/3/11 12:56:21]
非常简单
弊
除外证明的大小会随时段数量呈线性增长,让初始化状态数据的成本变得异常高
逃避了地址冲突问题
清空元数据的主要问题在于,初始化新的状态元素会产生很高的成本。通过让地址带上周期标记,以太坊协议可以创建一种机制来避免在初始化新的状态数据时产生地址冲突。鉴别器会设定账户最少能够存活到哪个时段。目前有两种方法可以实现 PWA:
美国OCC代理审计长:加密数字货币市场充满风险:金色财经报道,美国货币监理署(OCC)代理审计长Hsu:加密数字货币市场充满风险,该行业还不够成熟。委员会将确保银行系统的安全性和健康。[2023/2/4 11:46:53]
Vitalik 的文章
Ipsilon 的文章
太长不看:同时允许传统的 20 个字节的地址和 32 个字节的 ASE 前缀地址存在。在以太坊虚拟机中创建一个环境变量来修改涉及地址的操作码的行为,具体视相关地址是传统地址还是 ASE 地址而定。
新的状态无需证明即可初始化。
可扩展以保存其它元数据。
美国国会议员:SEC主席必须在国会作证并对其失败的加密监管作出解释:12月12日消息,美国国会议员Tom Emmer周日呼吁美国证券交易委员会(SEC)主席Gary Gensler在国会发表讲话,说明他监管加密货币的方法。Tom Emmer发推文称:“Gary Gensler必须在国会作证并回答有关其监管失败成本的问题。”Emmer表示,SEC未能从加密货币公司收集到所需的信息,这些信息本可以防止灾难发生,例如价值320亿美元的加密货币交易所FTX倒闭。Emmer称:“我们现在知道Gensler的加密信息收集工作是无效的。”
Emmer认为,美国证券交易委员会对其监管加密行业的方法一贯缺乏清晰度,他引用了3月份发给Gensler的一封信,信中询问了有关金融监管机构政策和程序的具体问题,而Gensler的回复回避了这些问题,Emmer称:“Gensler拒绝向国会提供信中要求的信息,这些信息将告知国会Gensler方法中的明显不一致,导致他错过了对Terra/Luna、Celsius、Voyager和FTX的有效监管。”(Decrypt)[2022/12/12 21:38:33]
解决地址冲突问题。
需要对 EVM 进行大量修改。
需要创建两种不同的 EVM 环境,分为传统模式和扩展模式。
转换映射将无限增长(与传统环境中使用的长地址数量呈线性关系),而且无法用过期机制来抛弃似乎是可以有过期机制的,只不过(抛弃数据后)要承担一些地址冲突的风险。
用户体验不佳,因为用户可以将资产存储在三种类型的地址上(短地址、长地址、压缩地址)。
并非所有 Solidity 编译的合约的掩码地址都有 160 位,因此一些合约的地址可能会存在高阶脏位(dirty upper bit)。
(点击此处,查看 Ipsilon 的完整分析。)
Vitalik 的文章
太长不看:找到一个未使用过的 4 个字节的前缀,并禁止在旧规则下使用该前缀创建新的合约/地址。旧合约在传统模式下执行,只可根据旧规则创建新的地址。新类型的合约在 PWA 模式下执行,只可创建新的合约(其中,开头 4 个字节是预先选好的前缀,第 5 - 6 个字节代表当前时段,第 7- 20 个字节照例代表地址。)
对 EVM 的修改相对较少。
不需要转换表,用户只需要考虑一种地址。
不会破坏现有工具(不过它们显示的可能是异或地址(xor'd address)而非原像?)
发生地址冲突的概率较高,不再有反事实合约。
不是一个很有吸引力的解决方案,可能会让地址扩展变得越来越难。
这个想法应该还没有被正式定义(就算有也只是在 @adietrichs 的脑中),但它的大体思路是在状态树中的账户对象处增加一个新的字段来表示创建时间。这样可以解决因除外证明而导致新的存储项初始化成本过高的问题(尤其是在假设合约是为了在每个周期部署新的子合约而编写的情况下),但是不会改善为创建新账户而创建新账户的问题。
如果是新合约,无需证明即可初始化新的存储项。
非常简单。
不会因为外部映射而导致状态无限增长。
不会破环现有工具。
逃避了地址冲突问题。
创建新账户的成本很高,需要除外证明来表明该账户自周期 0 以来就不存在。
这个想法也没有被正式定义,大体思路是引入一个新的注册表树来存储状态保质期的元数据。这个注册表不会过期,并且会存储合约的创建时段。另外,它还可以存储其它信息,如存储项的总数量。只要有效存储量等于合约的总存储量,合约时段就可以升级成当前时段。类似方案也可以应用于 EWA 提案,但是需要修改状态树。
不会破坏现有工具。
新的状态树结构。
无限增长(与使用中的地址数量呈线性关系)。
郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。