V 神的“弦外之音”？ 链下 ZK 应用的潜力被低估了？

以太坊创始人 Vitalik Buterin（V 神）昨天在 Web3 社交平台 Warpcast 上的一番话，引发了社区的广泛讨论。他表示，链下 ZK（零知识证明）应用程序可能低估了 STARK 的潜力，尤其是在对隐私要求极高的场景下。

V 神认为，目前 STARK 的容量小于 100kB，对于链下应用来说，与使用 STARK 节省的客户端证明时间相比，这点带宽简直微不足道。

V 神“看空” zkSync？

V 神的这番话，很难不让人联想到最近刚上线币安等交易所的以太坊 Layer2 网络 zkSync。

zkSync 是一种以太坊 Layer2 扩容解决方案，它采用 zk-rollups 技术在链下打包交易，并使用零知识证明（ZK）在链上进行欺诈验证。但需要注意的是，zkSync 在零知识证明系统上采用的是 zk-SNARKs 技术，而另一个同样采用 zk-rollups 的 Layer2 网络 Starknet，则采用的是 zk-STARKS 技术。

所以，V 神或许并非直接针对 zkSync 发表评论，而只是针对 zk-STARKS 技术提出了自己的看法。当然，也可能是在暗示 zk-STARKS 技术更有发展潜力。

撰稿时，zkSync 代币 $ZK 在昨天上线币安后持续下跌，现报 0.1999 美元，低于此前市场预测的盘前价格。

zk-SNARKs 与 zk-STARKS 的区别

zk-SNARKs 和 zk-STARKS 都属于零知识证明技术，它们允许一方在不透露任何其他信息的情况下，向另一方证明其声明是真实的，这有助于增加隐私和可扩展性。不过，两者在技术实现上存在一些差异：

zk-SNARK：简洁 非交互性

zk-SNARK 是一种简洁、非交互式的零知识证明技术，全称为 Zero-Knowledge Succinct Non-interactive Argument of Knowledge。它具备以下特点：

zero-knowledge（零知识证明）： 在不暴露隐私的情况下向对方证明一件事情，让资料“可用而不可知”。

succinct（简洁性）： 要证明的东西占用的空间很小，而且可以快速验证（几毫秒）。

non-interactive（非交互性）： 意味着证明者和验证者之间不需要有交集即可快速地得到验证结果。

zk-SNARK 的简洁性和非交互性，是相对于传统的零知识证明方案而言的。传统方案是互动式证明，即示证者（宣称某一命题为真）和验证者（确认该命题确实为真）之间反复确认，你可以理解为示证者不断向验证者询问“是或不是？”，然后验证者不断给出回答，直到最后碰出一个正确答案来，所以效率很低。

zk-SNARK 的解决方案则不需要双方反复确认“是或不是”，而是提前先搞一个正确答案，以此产生公共参考字符串（CRS），然后所有的示证者都可以直接访问它。但是，公共参考字符串通常由一个小团体来保管，因此有泄漏的可能性，从而被恶意利用，例如创建虚假证明。这牺牲了安全性为代价。

zk-STARK：概率证明 缓冲时间

zk-STARK 是成立于 2017 年 12 月的 StarkWare 团队开发的，它是 zk-SNARK 的替代解决方案。

zk-STARK 虽然是一种互动式证明，但它是一种巧妙的互动式证明――通过哈希函数碰撞（一种概率证明的方式）来保证安全性，因此也实现了高效证明。简单来说就是，先把问题用密码学的方式打碎，然后验证者随机向示证者提出几个问题，如果几轮下来，示证者都给出准确的回答，那么验证就通过了。

zk-STARK 直接利用产生随机性的参数来验证，不需要任何第三方的“答案系统”，因此透明度大幅提高，并且在理论上，量子计算机对其的暴 力 破 解也是无效的。因此相对而言更加安全。