零知识证明技术是指一方证明者可以向另一方验证者发送某一声明

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

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

然而，ZK-STARKs 目前的一个缺点是技术还不是很成熟，这限制了它的通用性。

StarkEx 是一个专门为应用程序制作的工具套件；

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

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