Polygon:zkEVM 的取舍,EVM 等效还是证明速度?

对于许多人来说,zkEVM被视为扩展以太坊的「终局」,区块链中有许多零知识技术的应用,包括zk-L1s、zkEVMrollup和zk-zk-rollup,但zkEVMs则是关于如何使用zk-proof的简洁性来扩展以太坊。

?一般来说,zk-rollup的工作方式是在链下执行批量交易,并定期在L1上发布证明,以证明这些交易的有效性。

PancakeSwap社区发起“新增CAKE分配以促进Polygon zkEVM流动性”的提案:7月25日消息,PancakeSwap社区发起新提案,提议新增CAKE分配以促进Polygon zkEVM流动性。该提案建议在Polygon zkEVM上部署新的farm,以提高流动性,并为LP提供收益。

此外,Kitchen不会增加释放来支持这些farm,而是会从“Multichain Warchest”分配中提取资金。目前投票已开启,将于7月26日16时结束。

此前7月4日消息,PancakeSwap宣布其V3版本已正式上线Polygon zkEVM主网。[2023/7/25 15:58:10]

zkEVM通过使用证明电路来生成证明,以验证EVM执行的程序的正确性,从而将这个概念向前推进了一步。

DeFi借贷协议Timeswap已上线Polygon zkEVM:7月21日消息,DeFi借贷协议Timeswap在推特上表示,已上线Polygon zkEVM。

据悉,Timeswap已部署至 Polygon、以太坊、Arbitrum One和Mantle Network。[2023/7/21 15:51:02]

zkEVM的设计需要进行权衡,就像任何其他选择一样,其中最值得注意的是在完全EVM等效性和用于生成有效性证明的证明电路的速度之间进行取舍:

Polygon zkEVM已修复阻碍L1资产桥接至L2的漏洞,没有资金面临风险:5月29日消息,Scroll 区块链安全研究员 iczc 发推称,在 Polygon zkEVM 中发现一个漏洞,并获得来自 Web3 漏洞赏金平台 Immunefi L2 漏洞赏金。该漏洞导致从 L1 桥接至 Polygon zkEVM(L2)的资产无法在 L2 中正确认领,从而阻碍了 L1 至 L2 的资产迁移。

iczc 在处理认领交易(claim tx)预执行结果的代码逻辑中发现,恶意攻击者可以通过将 Gas 费设置为非零来绕过对认领交易的「isReverted」预执行检查,使其可以通过发送大量低成本的 claim 对定序器和验证器进行 DoS 攻击,从而增加计算开销。此外,交易不会在执行后立即从池中删除。状态从「待定」更新为「选定」,并继续存在于 PostgreSQL 数据库中。目前,只有一个可信的定序器能够从交易池中获取交易并执行它们。因此,另一个漏洞是通过发送一个失败的交易来恶意标记任何存款数。这将导致正确使用存款数的 认领交易被拒绝,因为存款数已经被使用。这使得新用户无法使用 L2 网络。Polygon zkEVM 团队通过删除认领交易的特定 gas 逻辑,修复了这一漏洞,没有资金面临风险。[2023/5/29 9:48:40]

为完全的EVM等效性进行优化,意味着与现有的以太坊应用程序兼容,并且大大减少了以太坊生态开发人员的工作量,他们可以重用大部分现有的基础设施和工具,然而,这也意味着证明时间要慢得多……

为加快证明时间进行优化,意味着更好的执行速度和性能,但也会失去与许多EVM功能的兼容性,以及使用现有工具的能力。

目前有许多团队在推动zkEVM的研发,包括:

PolygonzkEVM、Scroll,它们更关注EVM等效性;

zkSync、StarkWare,它们更注重更注重证明速度;

感兴趣的可以点个关注。我也会不定期整理一些前沿资询和项目点评,欢迎各位志同道合的币圈人一起来探索。有问题可以评论提问或者私信,所有资讯平台均为Crypto杰瑞

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

地球链

[0:0ms0-0:767ms