随着“zkEVM大战”的升温，公众对不同zkEVM的优势讨论了很多。但是有一些错误的信息，所以我们想澄清一些关于Polygon zkEVM的事实，以及它与其他项目的比较。
ZkEVM和zkSync的prover由100k多行代码组成。我尽力提供准确的总结。如果有不准确的地方，请告诉我，我会改正。
Polygon zkEVM直接执行EVM字节码。根据Vitalik的分类，它是3型zkEVM。很快就会变成2型；目前，我们缺少四个预编译。Scroll也在努力发展成2型zkEVM。
ZkSync认为他们的zkVM更具未来感，即可以更好地与Solidity以外的语言配合使用。然而，他们的VM似乎继承了EVM的许多性能特征，例如它的256位字长。像Miden这样的ZkVM可能更具未来感，因为它是为通用计算而设计的，而不是专注于坚固性。
性能一直是Polygon关注的重点，我们的zkEVM效率很高。在CPU上运行我们的证明程序的成本大约是每个事务0.000084美元。
领域选择
ZkSync采用更传统的方法，使用基于alt-bn128曲线的SNARK。基础字段的大小约为254位，域乘法在CPU上大约需要80个周期。
alt-bn128的优点是EVM原生支持，所以更容易向以太坊提交证书。在Polygon中，我们用alt-bn128的fflonk证明“包装”了最终的聚合证明。虽然我们的方法需要更多的工作，但我们认为对于难以置信的性能增益来说，这是值得的。
差异不止于此。我们的zkEVM是基于STARKs的，但是有现代的变化。我们有一个主STARK用于CPU(每个周期一行)，其他STARK用于算术、散列等。正如我们在RapidUp中所描述的，这些表可以连接起来。这类似于物理CPU，物理CPU通常有协处理器来加速密集型操作，如渲染、加密或ML推理。
ZkSync采取了我称之为更传统的方法。他们用的是基于PLONK的prover，虽然支持自定义门，但是他们的zkEVM用的不多；大多数计算是通过使用名为SelectoroptimizedWidth 4 maingatewithdnext的通用门来完成的。它似乎比vanilla PLONK gate稍微强大一些，但它仍然局限于像mul-adds这样的简单操作。
安全
我们不知道zkSync的zkEVM是否公开审计过。ZkSync的网站列出了桥梁合同的审计，但没有zkEVM本身的审计。
L1数据
ZkSync发布状态差异。恶意序列化器可能会隐藏事务数据，但zkSync认为拥有trie的当前状态就足以保证安全。这似乎是有争议的，因为交易数据通常被期望是可用的，并且一些应用依赖于它。
我们计划在这里做一些优化，但我们不使用状态差异。事务本身可以被压缩，从而降低了气体成本，同时仍然确保事务数据的可用性。敬请期待！
本文由会员发布，不代表本站立场。如有侵权，请联系我们删除！
温馨提示：注：内容来源均采集于互联网，不要轻信任何，后果自负，本站不承担任何责任。若本站收录的信息无意侵犯了贵司版权，请给我们来信(j7hr0a@163.com)，我们会及时处理和回复。
原文地址"Polygon 员工自述： Polygon zkEVM 与 zkSync zkEVM 的差异"：http://www.guoyinggangguan.com/qkl/155245.html。
微信扫描二维码关注官方微信
▲长按图片识别二维码
