zk 系四大 L2 协议大 PK：进度、异同和生态

近期，随着 zkSync 2.0 的推出，zk 系扩容方案又迎来一波高潮。此外，在上个月波哥大 Devcon 之后，zkEVM 领域又出现了许多“新”的声音。

譬如，zkSync 大肆宣传自己是“世界上第一个功能齐全的开源 zkEVM 网络”，包括 Arbitrum 开发公司 OffChain Labs 联创兼首席执行官 Steven Goldfeder 在内的人对此批评说，这一 zkEVM 测试网并没有启用 zk-proofs，也没有经过安全审计，这种鼓吹对任何人都没有好处，距离真正实现还有很远。

Polygon zkEVM 在波哥大 Devcon 期间正式推出时也宣称“第一个也是唯一一个去中心化的zkEVM 测试网”，但很快招致社区批评：Polygon zkEVM 证明者（zk prover）的源代码虽在 Github 上可用，但还没有开源许可证；虽然表示“完全等效”，但其 Github 代码库显示其暂时只测出了 97% 的兼容性覆盖程度。对此，Polygon 团队回应，“没有刻意隐瞒，部分内容正在编写的更好的文档”。

此外，Scroll 也在波哥大 Devcon 期间宣布进行 Pre-Alpha 测试网升级，并向白名单用户开放测试。而根据计划， StarkWare 在 9 月底推出了 Cairo 的升级版本 Cairo 1.0 也将于年底前正式推出。

在 Aptos 空投的刺激下， L2 zk 系近期的强叙事的确吸引了大批用户。但与生态已经相对成熟的 op 系扩容方案相比，zk 系表面上看似热闹非凡，但距离真正的繁荣还要很久，目前生态还较为薄弱，而且 zk 技术的开发周期更长，对开发者和项目方有一定的门槛。所以，与其为“第一个zkEVM”争论不休，不如继续建设。

 

本文梳理了zk 系四大协议 StarkWare、zkSync、Polygon zkEVM 和 Scroll 的开发进度、生态详情等，带你全面了解眼下正热的 zkEVM 赛道的真实情况。

一、Starkware

1、简介：

StarkWare 是 zk 系扩容方案中团队阵容最强的项目，联合创始人 Eli Ben-Sasson 是世界顶级的密码学科学家，同时也是 zkSNARK、zkSTARK 的合作发明者，联合创始人兼CEO Uri Kolodny毕业于希伯来大学计算机专业，同时也是连续创业者。目前 StarkWare 已经估值 80 亿美元。

StarkWare 目前开发了两款产品：ToB 的 StarkEx 和 ToC 的 StarkNet。StarkEx 是一个独立的许可 Validity-Rollup（有效性证明），出售定制化技术引擎服务 StarkEx，直接向有扩容需求的客户收取服务费，目前已服务 dYdX、ImmutableX、Sorare、DeversiFi 、rhino.fi、ApeX、Myria等客户；