扩展性之外，零知识证明的Web3用例还有很多(3)

什么是零知识证明

在介绍零知识证明在 Web3 的用例之前，让我们快速了解零知识证明的原理。零知识证明是一种密码学，允许一个人（证明者）向另一方（验证者）证明某些细节是真实的，而无需提供任何额外信息。 零知识证明需要以下三个关键要求：

完整性： 如果陈述真的是真的，并且两个用户都正确地遵守规则，那么验证者将不需要任何其他条件，就可以完成验证。

可靠性： 如果陈述为假，验证者在任何情况下都不会被说服。该方法利用概率检查理论，以确保不会发生错误。

零知识： 意味着验证信息的人无法知道除断言是否正确之外的任何信息。

零知识证明有两种主要类型：

交互式零知识证明要求证明者执行一组任务或操作，以向验证者证明他们拥有特定信息。为了通过交互式零知识证明而必须完成的大部分任务通常涉及数学概率之类内容。

证明者和验证者无需相互通信即可使非交互式零知识证明有效，而验证将在之后进行。这类特殊、的零知识证明需要使用额外的计算或程序。

零知识证明的 Web3 用例

尽管零知识证明技术早在 1980 年已经产生，但受困于技术难度，其并未得以广泛应用。 零知识证明到底能够为 Web3 的发展带来哪些帮助？让我们从技术用例中窥探一二。

链下计算

随着越来越多应用在以太坊上部署，在以太坊上的交易处理速度较慢，网络扩展性不足成为阻碍其发展的重要难题。而构建一个 Layer2 网络，将计算处理转移至链下成为解决当下问题的重要方案。ZK-Rollups 即是颇受以太坊社区认可的解决方案之一。ZK-Rollups 系 Starkware，Zk-sync 是扩容类项目。 扩展性是零知识证明在 Web3 中最普遍的用例 。目前也有将扩展和隐私两种性能结合的方案，如 Aztec、StarkNet 之类的隐私 Layer2 公链的发展，感兴趣的开发者可在 《浅谈隐私在 Layer2 现状和未来》 一文中了解更多。