撰写：Ethereum Daily
编译：深潮 TechFlow
零知识证明技术是指一方（证明者）可以向另一方（验证者）发送某一声明，另一方可以在不获知信息的前提下，验证该声明是真实的。那么 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 提供；
https://twitter.com/ETH_Daily/status/1604469318720405504
深潮 TechFlow 是由社区驱动的深度内容平台，致力于提供有价值的信息，有态度的思考。
社区：
订阅频道：https://t.me/TechFlowDaily
推特：@TechFlowPost
进微信群添加助手微信：blocktheworld