说到区块链流行语，“zk 证明”可能位居榜首。零知识证明（zk 证明）是一种在不泄露陈述本身的情况下证明陈述有效性的数学方法。Zk 证明已经获得了广泛的关注。区块链作为一个强大的工具，可以为链下数据的准确性提供加密保证。通过使用 zk 证明，预言机网络可以验证它们向智能合约提供的数据，有助于确保整个区块链生态系统的完整性和可靠性。 ‍

zk 证明的主要好处是它们允许在不泄露底层信息的情况下验证数据。在预言机网络的背景下，这意味着数据提供者可以证明其数据的准确性，而无需泄露用于生成数据的敏感信息。

当数据本质上是私有的（例如患者健康记录）时，这一点尤其重要。考虑一个医疗保健应用程序，该应用程序允许患者访问他们的个人记录并与他们的医疗保健提供者共享这些记录。这些记录中的数据是由各种链下来源生成的，包括医疗设备、实验室测试和其他专用传感器。医疗保健应用程序的开发人员可以利用 zk 证明向最终用户证明数据是准确的且未被篡改，而无需泄露数据本身。患者和医疗保健提供者可以保证重要数据的可靠性，同时保护患者隐私和个人健康信息的机密性。

Zk 证明还可用于确保专有数据集生成的数据的准确性。例如，游戏开发人员可能拥有用于生成游戏内物品或资产的专有数据集。使用 zk 证明，开发者可以向玩家证明该数据集中的数据是准确的并且没有被篡改，而无需透露底层数据或用于生成它的算法。这使得玩家可以信任游戏以及他们在游戏中拥有的物品，而不必仅仅依赖开发者的话。它还允许开发商保护他们的知识产权和商业秘密，同时仍然为玩家提供信任游戏所需的保证。

Zk 证明还可用于增强区块链网络的隐私性和可扩展性。例如，zk 证明可用于在公共区块链上创建私人交易，其中交易详细信息仅对相关方可见，并且不会记录在公共分类账上。这种方法在不破坏零信任模型的情况下保护个人或组织的隐私。

Zk 证明还可以用于提高网络的可扩展性，允许验证交易，而不需要网络上的所有节点来处理和验证它们，这减少了网络的压力，并可以提高其整体性能。

当基于共识的验证不可扩展时，这对于去中心化数据库网络来说是一个特别重要的解决方案。如果我运行自己的去中心化数据库节点，最终用户如何知道从我的数据库返回的查询结果实际上是准确的，并且我没有篡改它？在区块链的背景下，所有节点进行通信并就结果达成共识。但就数据库而言，整个网络中的每个数据库节点都无法运行相同的查询一千次并达成共识，这不是一个可行或可扩展的解决方案。zk 证明可用于验证网络中运行的查询结果是否准确且未被篡改，而不会牺牲效率或性能。

Zk-SNARK 是 zk 证明的一种形式，被设计得特别高效和紧凑。与其他可能需要大量计算资源和数据来验证的证明机制不同，zk-SNARK 旨在快速且使用相对少量的数据进行验证。这些类型的证明是非交互式的，这意味着证明者和验证者在验证过程中不需要相互通信，这使得它们非常适合在效率和可扩展性至关重要的应用程序中使用。

Space and Time 采用 Proof of SQL™，这是一种新颖的加密技术，允许数据仓库生成 SQL 查询执行的 SNARK 加密证明，证明查询计算已准确完成，并且查询和数据都是可验证的篡改。Space and Time是第一个支持对链上和链下数据执行SQL并以密码方式保证结果的去中心化数据仓库。这使得开发人员能够将事务查询和可扩展分析的结果直接连接到他们的智能合约，以实现无需信任的自动化和真正去中心化应用程序的开发。

您可以在空间和时间文档中阅读有关 SQL Proof 如何实现防篡改查询的更多信息。

‍

这篇文章也可以在Medium上阅读。