对于上文举出的虚拟攻击方式,以太坊的 Layer 2 解决方案团队 SKALE Labs 首席技术官「Konstantin Kladko」表示,「这真的很有趣!我认为这表明,通过破坏 Infrua,可以基本上破坏所有 Rollup。」 当然,这是代表着那些通过 Infura 来与以太坊通讯的产品,Infura 承担着很大的以太坊节点服务规模,此前也有关于 Infura 是否会是以太坊网络最大单点漏洞的讨论。而对于这个单点安全风险,主要是以多节点负载均衡的方式处理,尽力规避。 而对于「jchancehud」的讨论,最有趣的是开发者「adlerjohn」提出,这种虚拟的「攻击」似乎不仅适用于 optimistic Rollup,而且还适用于 zkRollup,实际上也适用于任何智能合约。 这一推论很可能是基于「只要存在信息不对称危险」的协作过程,就会面临「jchancehud」所说的攻击风险。 所以「adlerjohn」提出,在比特币的白皮书第 8 节,有如何验证信息对错的方式,即验证者确定最长链,信任最长链,这个方式描述了一种众所周知的方案,这个该方案可用于防止 Sybil 节点提供虚假信息,这样可以不要求大多数计算是诚实的。
此外,「adlerjohn」提出,Rollup 的状态根可以作为事件发出,甚至可以存储在以太坊状态中,也可以进行伪造交易的查询(例如比特币白皮书中第 7 节表示可通过验证区块头进行确认)。
另外,「adlerjohn」还提到了关于 optimistic Rollup 方案中,还可以包含名为「最小可行合并共识」的设计,该设计可以通过发布有序数据来实现数据可用性,可以让多个侧链、分片使用。 但可以预见的是,使用「adlerjohn」提出的方式,是存在较大的设计难度的。 在讨论的最后,「jchancehud」回复「adlerjohn」表示,不能确定这种攻击预测是否适用于 ZKRollup。但因为 ZK 证明更难生成,至少会更加困难。如果 Rollup 被广泛采用,那么这样考虑 Rollup 尤其重要。 Rollup 协调员可以在使用节点之前验证节点中的所有区块头,这是另一种潜在的解决方案,尽管时间和带宽昂贵。但用户最好运行自己知道可以信任的 eth 轻节点。如果已经解决验证问题,运行轻节点还可以查询事件。 讨论在最后,我们会发现为了实现安全性、可扩展性、效率,这些方案按工程化的思路是可以尝试的,但实施过程一定是困难的,因为不同开发者的讨论思路最后还要合成代码,以及包含网络结构、客户端、语言、操作界面等多个挑战。 (责任编辑:admin) |