长推:并行EVM虚拟机的缺陷

Marsbit
媒体专栏
热度: 9785

EIP-4844 和 Danksharding 无法解决以太坊单线程虚拟机的费用高峰,这是并行化的一个非常重要的方面,但经常被忽视。本文将讲述并行化虚拟机的缺陷。

原文作者:rushi

原文来源:twitter

编译:Kate, Marsbit

注:本文来自@rushimanche 推特,MarsBit整理如下:

这是并行化的一个非常重要的方面,但经常被忽视。然而,我想在这里唱反调(作为并行化的拥护者),并指出当今并行化虚拟机的一些缺陷,这些缺陷在某些情况下导致它们实际上毫无用处。

 EIP-4844

https://twitter.com/LoganJastremski/status/1703484179944476922

1) 原子交换:当我们拆开虚拟机时,我们意识到并行虚拟机的一个巨大问题是执行原子交换的能力。例如,如果单线程虚拟机上的远程函数调用出现错误,则无法恢复并行虚拟机上的状态。

为什么这很重要?假设你是一个MoveVM,试图访问EVM链(远程调用)上的流动性。如果给定函数出现错误,则无法恢复三个已经执行交易的数据,这可能导致资金损失/漏洞利用。

 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)带来更多的流动性。

声明:本文为入驻“MarsBit 专栏”作者作品,不代表MarsBit官方立场。
转载请联系网页底部:内容合作栏目,邮件进行授权。授权后转载时请注明出处、作者和本文链接。未经许可擅自转载本站文章,将追究相关法律责任,侵权必究。
提示:投资有风险,入市须谨慎,本资讯不作为投资理财建议。
免责声明:本文不构成投资建议,用户应考虑本文中的任何意见、观点或结论是否符合其特定状况,及遵守所在国家和地区的相关法律法规。