来源|?ethresear.ch
作者|?VitalikButerin
译者按:本文需要读者对状态管理和stateexpiry机制作一定了解。
回顾:状态大小管理技术
为了防止以太坊的状态容量无止境地膨胀,我们需要用一些方法使旧状态“失活”,这样加入网络的节点就不再需要存储旧状态了。即使大多数的客户端都变成无状态,似乎也可以合理预见,最终这个系统会扩容到网络无法一直保证所有状态都可用的地步。有两个方法可以使旧状态失活:
1、直接删掉,然后可以把它移到另外的默克尔树,这样关心该状态对象的人可以获取相应的默克尔分支,在未来某个时候用它来激活该状态。
天桥资本内部人士指责Brett Messing的加密投资决策失误让该基金陷入困境:金色财经报道,据彭博社发文称,天桥资本(SkyBridge Capital)几个内部人士透露,总裁兼合伙人Brett Messing也要为该公司的几次失误负责。Brett Messing曾说服Anthony Scaramucci在加密货币上进行了一项灾难性的投资,让他的对冲基金损失了数千万美元。
内部人士称早就对Messing在华尔街的声誉表示担忧,因为其曾于2021年违反卖空规则被SEC罚款170万美元。2020年,Messing是SkyBridge决定亏本出售其部分最大仓位的推动力。该决定遭到投资团队的反击,结果证明这是灾难性的,因为头寸最后反弹。2020年底,Messing带领SkyBridge投资加密货币。该公司开始大量购买比特币,其价格自当年3月以来飙升了近三倍。随着数字资产暴跌,该公司的主要投资基金也暴跌。在一次会议上,员工大声抱怨SkyBridge在加密货币上押下重注,违背了公司的内部风险准则。[2023/4/7 13:50:17]
2、不把对象移出树结构;相反,只在树的该位置标记“失活”,这样节点就不会存储它(且协议也不会要求它们这样做)。通过发送一个提供默克尔证明(即见证数据)的事务来访问该状态,失活的对象就可以重新被访问了。
Azra Games完成1500万美元融资,a16z领投:金色财经报道,P2E游戏工作室Azra Games完成1500万美元融资,a16z领投,FX、Coinbase Ventures、Play Ventures 和 Franklin Templeton参投,据悉a16z是通过昨天刚刚推出的加密游戏基金投资的这家公司。Azra 将利用这笔最新融资扩大旗下 24 人的团队,专注于游戏产品、开发和品牌建设,该公司将在未来几个月内发布第一款具有游戏化功能的 PFP 游戏。[2022/5/19 3:28:44]
方法(1)对应于“经典的存储租金方案”,方法(2)对应于传统“无状态客户端”的最简单延伸——旧状态可以被遗忘的模型。这两种方法都允许关心特定状态对象的个人追踪默克尔分支,这样随后如果那些状态对象失活了它们可以用来激活这些对象。然而,这两种方法都是有明显问题的。
印度游戏公司nCore Games 完成1000 万美元融资:金色财经报道,印度游戏公司 nCore Games 在由 Animoca Brands 和 Galaxy Interactive 领投的新一轮融资中筹集了 1000 万美元。Polygon 和 Hyperedge Capital 也参与了此轮融资。这笔资金将用于推动 Web 3 游戏。接下来,nCore 的更大重点是转向元宇宙并推出自己的NFT。\u2028\u2028(Coindesk)[2022/1/17 8:54:45]
当要在某个已失效合约的同一个地址上再创建合约时,方法(1)会出现一些极端情况。那就是,如果一个合约在地址A上创建了,然后已经失效了,那么在地址A上创建这个合约的事务会被重新执行,这样会在地址A上创建一个新对象,这会影响原始对象的激活。另一种情况是当在地址A上创建了一个对象,然后经历失活、被激活、被修改(例如,发送合约上的资金到另一个账户)、再失活、再用第一次失活所在的默克尔分支激活。这违背了保留规则,且可能被用于铸币;需要增加额外的默克尔证明来证明一个合约还没有被另一个特定状态激活,而该状态也尝试被激活。
Messari研究员:MakerDAO为代币持有者带来2700万美元年化收益:金色财经报道,Messari研究员Ryan Watkins刚刚发推文称,MakerDAO现在能够为代币持有者带来2700万美元的的年化收益,这是所有DeFi协议中最多的。[2020/10/6]
方法(2)遇到的是不同的问题。假设两个相邻的地址(也就是两者间没有对象)A1和A2都已失活。这样,不仅A1和A2都不再可以访问(除非有人存储了默克尔分支),而且A1和A2之间的所有地址都不可以访问了。也就是说,如果总共有N个地址,那么大约1/N的可用地址空间都不再可访问了。当一半的地址都失活了,大约1/4的地址空间不再可访问。随着时间推移,会越来越难找到空间生成新的地址。而且由于新地址越来越集中在剩下的“可访问”空间上,每N年可访问空间减半的这种影响会呈指数增长。
提议
我提议对方法(2)进行修改,可以解决以上的问题。正如很多方法(2)的提议实现方案所呈现的,账户有“活跃”与“失活”两种状态,失活账户是那些超过一年未被访问过的账户。要访问失活账户,你需要提供见证数据;当失活账户被访问了,该账户会自动解除失活状态(触及任何账户都会重置它的一年失活期计算)。修改内容如下:
我们给每个地址添加一个32个字节的"epoch前缀"。例如,epoch前缀是9的地址是这样:0x00000009de0b295669a9fd93d5f28d9ec85e40f4cb697bae,以00000009作为前缀。
默克尔路径会直接依赖epoch的前缀而不是它的哈希值(因此merkle_path_key=address+hash(address)而不是现在在用的merkle_path_key=hash(address)。这确保了“没用过的”地址空间是连续的。
除非地址的epoch前缀是小于或等于区块链已运行的年数,否则地址不能被使用
会增加一个CREATE3操作码,它会把epoch前缀作为一个参数,并在具有该epoch前缀的一个地址上创建一个合约。
推荐用户和合约总是使用具有尽可能新的epoch前缀来创建账户,甚至设为默认设置,因为肯定会有具有最新epoch前缀的全状态仍然是可以访问的。为了还能保有“反事实地址(counterfactualaddresses)”,用旧epoch前缀来创建合约还是可能的。但是,对于想要创建反事实地址的用户,如果长期不创建,他们就要负责为该账户存储旧状态的分支。
经过多年的运行,预计活跃状态会由两部分构成:(i)有最新epoch前缀的全部地址空间,(ii)与最近被活跃使用过的账户相对应的特定旧状态
请注意,这个方案正常情况下扩展到合约上;事实上,主动遵循这个方案是符合合约自身运作的。因为在这个方案里,地址中代表存储的部分以几个字节为前缀,它们所代表的数字N指的是这些数据是在N年与这些地址产生关联。这很适合用于存储像代币余额这样的数据。
郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。