长推:并行EVM虚拟机的缺陷
EIP-4844 和 Danksharding 无法解决以太坊单线程虚拟机的费用高峰,这是并行化的一个非常重要的方面,但经常被忽视。本文将讲述并行化虚拟机的缺陷。
原文作者:rushi
原文来源:twitter
编译:Kate
注:本文来自@rushimanche 推特,MarsBit整理如下:
这是并行化的一个非常重要的方面,但经常被忽视。然而,我想在这里唱反调(作为并行化的拥护者),并指出当今并行化虚拟机的一些缺陷,这些缺陷在某些情况下导致它们实际上毫无用处。
https://twitter.com/LoganJastremski/status/1703484179944476922
1) 原子交换:当我们拆开虚拟机时,我们意识到并行虚拟机的一个巨大问题是执行原子交换的能力。例如,如果单线程虚拟机上的远程函数调用出现错误,则无法恢复并行虚拟机上的状态。
为什么这很重要?假设你是一个MoveVM,试图访问EVM链(远程调用)上的流动性。如果给定函数出现错误,则无法恢复三个已经执行交易的数据,这可能导致资金损失/漏洞利用。
这就意味着用户只能听任第三方网桥的摆布,而我们知道这些网桥的安全性。
在并行和单线程虚拟机之间缺乏序列化和通信通道也有很多细微差别,这使得目前的无信任桥接非常困难。
关于【长推:并行EVM虚拟机的缺陷】的延伸阅读
a16z:Dencun——The Merge以来以太坊的最大升级
以太坊最新升级" Dencun"引入了EIP-4844,允许存储更多数据,降低交易成本。每月可减少83.7 GB的数据存储量,交易成本比升级前便宜1000倍。升级还增加了智能合约的存储功能,提高了交易吞吐量。Nusret Tas提出了更优、更安全的DAC协议,通过区块链实现原子和公平的数据交换。该协议已应用于以太坊的数据可用性方案。Nusret Tas还与其他专家讨论了数据可用性和danksharding的重要性。
一文读懂以太坊坎昆升级后 Danksharding 扩容路线
真正了解数据可用的要义、掌握 EIP-4844 的应用方法、探索以太坊发展前沿方能进一步提升开发者部署项目的能力。
为了解决这个问题,我们花了无数个小时研究一个能够创建“状态快照”并在虚拟机内部管理它们的Omni-Call堆栈协议。但更多内容请参见稍后的帖子:)
2) 让开发人员使用并行化太难了。是的,Solana有活跃的开发者,Move的开发者也在成长,但事实是大多数开发者都是Solidity的开发者。这就是为什么我非常看好 @monad_xyz 但仍然会容易受到重入和其他攻击
3) 运行并行化网络的成本很高。像Solana, Aptos, Sui这样的网络对其验证器集有很高的硬件要求,并且具有极高的最小质押。例如,Aptos的最低质押为525万美元,这就排除了大多数零售验证器。
还有很多关于困扰并行虚拟机的安全问题,这就是为什么我倾向于支持MoveVM(带有Solidity转译器)而不是SVM的原因。
然而,如果有一个金融超级应用程序或游戏超级应用程序,它需要在并行虚拟机上。这就是Facebook选择这么做的原因。享受托管数百万用户的乐趣,最大 TPS 为 4。
@0xMert_ 和 @LoganJastremski已经用最近的并行化内容扼杀了它——希望看到更多关于为什么一旦安全漏洞被修补后它不应该成为标准的讨论。
如果你修复了原子交换并启用了无需信任桥接,你现在就不会因为桥接攻击而受到数亿美元的损失,并为非EVM(mic-drop)带来更多的流动性。
免责声明:本文仅代表作者个人观点,不代表链观CHAINLOOK立场,不承担法律责任。文章及观点也不构成投资意见。请用户理性看待市场风险,以及遵守所在国家和地区的相关法律法规。
图文来源:Marsbit,如有侵权请联系删除。转载或引用请注明文章出处!