以太坊状态模型的最大问题是:平均状态增长与最坏情况状态增长之间的巨大差异。
本文系Vitalik在以太坊研究者论坛里提出的一个最新讨论,该讨论是继以太坊研究科学家BarnabéMonnot提出的关于EIP1559切实实施的思路进行的再次结合。
以下为原文翻译,团队对部分词汇进行了批注及少许删改。
作者:VitalikBurerin
特别感谢@barnabe在早期提出了类似的想法。
正如我在此前的《关于资源定价的立场文件》中详细讨论的那样,以太坊中的Gas实际上是支付三种不同的资源:
1.带宽
2.计算
3.存储
白计划批注:《关于资源定价的立场文件》是一份区块链资源定价的草案,其中Vitalik通过数学演算推论了相应的定价方式。
Vitalik KBW2023演讲:相比无状态存储解决方案,状态过期是低优先级选择:9月5日消息,在韩国区块链周KBW2023上,Vitalik Buterin发表主旨演讲称,客户端不得不去存储越来越多的东西,第一个解决方案是停止存储历史数据,即采用EIP-444(执行客户端中的绑定历史数据),第二个解决方案是将状态存储责任转移到专用节点,第三个解决方案是将旧object移出状态之外。EIP-444是指客户端必须停止在p2p层上提供超过一年的历史headers、bodies以及receipts,客户端可以在本地删除(prune)这些历史数据。[2023/9/5 13:18:15]
该草案内容包含:价格与数量、社会成本曲线、首次和二次拍卖、可调整收费计划、存储维护费,以及包含为什么固定费用并未得到充分利用?
VitaDAO完成410万美元融资,辉瑞风投部门Pfizer Ventures等参投:1月30日消息,去中心化自治组织VitaDAO完成410万美元融资,辉瑞的风投部门Pfizer Ventures、Shine Capital、L1 Digital、Balaji Srinivasan等参投。
这是辉瑞在web3领域的第一笔投资,该公司通过特殊目的工具持有Vita治理代币,甚至参与了治理提案。该轮融资的消息是在辉瑞先前宣布向VitaDAO提供500,000美元的承诺之后发布的。
VitaDAO资助的项目主要关注长寿和衰老过程,支持了生产mRNA药物的斯坦福大学分拆公司 Turn Biotechnologies,以及哥本哈根大学一项关于了解药物对衰老过程影响的研究。
VitaDAO旨在利用这笔资金进一步资助长寿研究项目和将于明年从DAO中剥离出来的生物技术初创公司。(TheBlock)[2023/1/30 11:36:40]
带宽和计算是短暂的成本,存储不像这两个成本,它会超出短暂的限制。
Vitalik 提出基于 Truebit 搭建 EVM Optimistic Rollup 的方案:5月2日,以太坊创始人 Vitalik Buterin 在以太坊研究论坛中提出,可基于交互式验证协议 Truebit 搭建以太坊二层扩容方案 Optimistic Rollup 以解决重复验证问题,并给出了基本方案。
Truebit 可以使智能合约以标准的程序语言安全地执行复杂的计算从而降低 gas 费用,该协议已于 4 月 21 日上线以太坊主网。[2021/5/2 21:17:41]
在一个块的时间内,一个节点可以进行多少次计算或下载数据是有限度的,一旦该块通过,下载和验证所需的量就达到了极限。块的大部分都消失了。
而存储是持续的成本。如果一个单独的块状态增加了100MB,该块当下可以处理好,但是一系列的块将使以太坊无法使用。状态增长的“爆发”影响可以忽略不计,但长期影响是最严重的,一旦建立的一个超大状态就永远给网络增添了负担。
声音 | BM 评价 Vitalik 新共识算法:是对非 BFT 终结性的正式描述:据 IMEOS 报道,Vitalik 近期在其博客上发布了一篇名为《一个99%容错共识的指南》的文章,文章认为这个算法只需要 1% 的节点“诚实”。这意味着,从理论上讲,攻击者需要控制超过99% 的区块链节点才能进行攻击。因此不再有 51% 的攻击。
EOS 社区成员询问 BM 对这个文章的看法以及意见,BM 回复道:这篇文章没有给出譬如什么时候开始实施的时间先,但可以安全地假设一下这个新算法将会在基于 POS 的共识生效后实施......所以相当于在宇宙热寂之后实施......
“不过这个算法是关于 Steem 和 Bitshare 的非 BFT 终结性的正式描述,这就很有趣了。”[2018/8/16]
不过,随着状态变为无状态,状态的长期影响会大大减少:状态不会给网络造成永久负担,它只会负担大约一年的时间,在那一年中,只有一小部分节点需要实际存储那个状态。但这种长期成本仍然是真实存在的,并且需要将其定价。
平均大小与最坏情况的存储大小
在当前协议和状态到期的改进协议中,对状态建模的不足之一是平均状态增长与最坏情况状态增长之间的巨大差异。
考虑当前的协议。如今,该状态的总大小约为5.5亿个对象,约32GB。如果我们剔除上一年所有nottouched的状态,那总量很容易下降一半以上。
现在,最坏的情况是什么?
合同代码的创建按每字节200Gas的费用收费,因此,如果将一个区块分成3个事务,每个事务创建一个合同,我们可以为12334800Gas+3*55000Gas来制作3个20558字节的合同,以增加合同创建的开销。
这样,在单个块中,存储大小可以增加20600*3=61800字节。
假设平均出块时间为13.1秒1个,每年都有31556925/13.1=2408925块,总的来说,状态可以按61800*2408925=148871600381.67938字节增长,即约138GB。
这个差异约为10倍。
非常重要的是,消费者硬件RAM可以容纳实际大小可能是16GB,而138GB则不能被存储。
如果我们可以使最坏的情况接近平均情况,那就太好了。
双轨EIP-1559
解决此问题的自然方法是对临时成本和永久成本使用EIP-1559定价,但调整期有所不同。
对于临时成本,价格可以一次调整10%以上。但是,对于永久性成本,将使价格调整慢得多。
如果我们采用AMM成本曲线机制作为基础,对于存储,我们可以考虑一条曲线,目标速率为每月1GB,而成本的增加取决于我们比目标高出多少:
例如,每超出目标1GB,存储成本就可能翻倍。在这种情况下,存储块价格可能需要3天左右的才能翻一番。如果存储增长超过10GB,则存储成本将是正常价格的1000倍,在经济上无法继续存储。
有两种方法可以实现此目的:
1.用Gas购买存储。也就是说,使用SSTORE创建新的存储插槽,像现在一样消耗Gas,但是消耗的Gas量将是可变的。这样做的缺点是,它会形成激励措施,用户宁愿在Gas价格较低的周末补充存储空间。
2.用ETH购买存储。交易除了需要Gas外,还需要提供另一种资源,该资源将采用与Gas相似的机制,但参数不同。这样做的缺点是使调用规则变得复杂,并且需要添加新的CALL操作码。
请注意,这里有一个混合选项:
3.可以以ETH定价存储,但以Gas收费。我们可以将用于扩展存储的ETH排除在EIP1559Gas价格更新规则甚至是区块限制范围之外。
4.将Gas更全面地改造为三个概念:Gas,执行点和存储点。1Gas=1wei;分配Gas的交易只是意味着它正在将其某些wei转换为可用于支付资源的特殊形式。就call和subcall之间的传递方式而言,此形式的工作方式与Gas相同。
但是,AMM现在管理两项成本:执行点成本和存储点成本。当执行过程处理当前消耗N个Gas的操作码时,它将花费N个执行点,这意味着需要N*execution_point_cost支付Gas。填充存储槽需要1个存储点,因此需要storage_point_cost充入Gas。
最后,还要注意,状态限期的路线图里有望删除退款。这是因为技术原因:存储插槽无法“变空”且资格获得退款,因此只能将它们设置为零,并且零记录必须保持该状态,直到该时期结束并且该状态可以到期为止。这大大降低了早期在存储租金尝试时遇到的复杂性问题。
郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。