零知识证明技术是指一方（证明者）可以向另一方（验证者）发送某一声明，另一方可以在不获知信息的前提下，验证该声明是真实的。那么 zksync 与 StarkNet 这两个顶级 ZK rollup 之间的区别是什么呢？

zkSync 和 StarkNet 是使用 ZK rollup 技术扩展以太坊网络的两个最顶级的第 2 层 (L2) 解决方案。

首先，让我们快速总结一下 zkSync 和 StarkNet。

• MatterLabs 于 2020 年 6 月将 zkSync V1 作为 SNARK 证明 rollup 协议发布到以太坊主网。
• 2022 年 10 月，MatterLabs 启动了名为“Baby Alpha”的 zkSync 2.0 主网的第一阶段。
• 2021 年 11 月，StarkWare Ltd. 发布了 StarkNet，这是以太坊测试网上的 STARK 证明 rollup 协议。该协议在当月晚些时候以 Alpha 版本 0.4.0 发布到主网。

zkSync 和 StarkNet 的一个关键区别是，它们利用不同的证明协议，分别为：

• SNARK (简洁的非交互式知识证明）；
• STARKs (可扩展的透明知识证明)。

SNARK 和 STARKs 证明之间的根本区别：

• 安装程序；
• 可扩展性；
• 抗量子计算机攻击；

ZK-SNARK 和 ZK-STARKs 之间的区别：

• 事实证明，ZK-STARKs 比 ZK-SNARKs 快 10 倍。
• 然而，ZK-STARKs 目前的一个缺点是技术还不是很成熟，这限制了它的通用性。

StarkEx 与 StarkNet 相比，StarkEx 不是一个 ZK-rollup，而是一个可定制的 Layer-2 SaaS（软件即服务），它使用 STARK 证明来为应用程序提供大规模扩展。

几个关键点：

• StarkNet 是一个通用的 rollup 链；
• StarkEx 是一个专门为应用程序制作的工具套件；
• StarkNet 可以扩展 Ethereum；
• StarkEx 可以扩展去中心化交易所；
• StarkNet 允许 DApps 之间的互操作性，但 StarkEx 不允许；

了解它们的不同之处很重要，因为使用 StarkEx 的 DApps 通常是 StarkNet 生态系统的一部分，但像 TVL 这样的指标是完全不同的。

zkSync 生态系统中的一些链上亮眼数据：

• 根据 L2beat，zkSync 的 TVL 为 5297 万美元，尽管没有代币；
• 根据 Orbiter Finance，zkSync 是交易量排名第三的 L2；
• 超过 300 个项目加入 zkSync 生态系统；
• 总融资额：4.58 亿美元；

StarkNet 生态系统中的一些链上亮眼数据：

• 根据 L2beat 的说法，StarkNet 尽管没有代币，但有 461 万美元的 TVL；
• 超过 200 个项目加入了 StarkNet 生态系统；
• 总融资额：2.73 亿美元，由 StarkWare 提供；