引入了一项新的零知识证明 (ZK-proof) 技术，即 SQL 证明。它有望将结构化查询语言 (SQL) 查询的传统 30 分钟等待时间缩短至亚秒级速度。
时间的大幅减少可以显著提高需要实时数据处理的应用程序的效率。空间与时间（SxT）——一个用于人工智能（AI）和区块链的可验证计算层——于 6 月 12 日在 GitHub 上发布了用于处理数据的新型开源 ZK 证明器。
SxT 联合创始人兼研究主管 Jay White 在接受 Cointelegraph 采访时解释了衡量亚秒级性能的基准：“我们针对包含超过 100,000 行的大型数据表，使用各种查询（例如过滤器、GROUP BY、聚合和其他标准 SQL 操作）运行了基准测试。最新的基准测试表明，SQL 证明可以在不到一秒的时间内证明 100,000 行，在 1.2 秒内证明 100 万行，在大约一分钟内证明 1 亿行。”
SQL 证明于 2023 年 8 月以 alpha 版本向选定的 SxT 客户群体发布，现已在 GitHub 上向公众开放。公开的加密工具将允许社区成员在 SxT 上运行无需信任的查询，开发人员可以直接从 GitHub 下载存储库。
我们的团队率先推出了亚秒级 ZK 证明，以便智能合约和 AI **可以询问有关链活动以及链下数据的问题，并在交易期间在链上接收无需信任的 SQL 查询结果，而无需等待 30 分钟的证明时间。
新的 ZK 证明是 SxT 更广泛战略的一部分，旨在提高分散式应用程序 (DApps) 的安全性和性能并鼓励社区协作。怀特补充道：“我们的团队非常关心 UX用户体验，这也是我们选择高度关注 SQL 的原因之一，以便为开发人员提供尽可能无缝和简单的集成。我们目前正致力于在 Chainlink 网络中集成 SQL 证明，[并且] 与 zkSync 生态系统合作开发解决方案，允许开发人员使用 SQL 证明从他们的智能合约本地运行 SQL 查询。”
延迟效率低下阻碍了依赖于实时数据验证的 DApp 的可扩展性和性能。根据Cointelegraph **分享的新闻稿，SQL 证明允许开发人员将分析直接连接到智能合约，从而在区块链技术上开辟大量强大的新用例和业务逻辑。
怀特解释了 SQL 证明将如何随着数据量的增加、更复杂的查询和未来的增强而扩展以抵消瓶颈：“SQL 证明呈线性扩展。集群规模证明已列入近期路线图，这意味着对更大的表的证明速度会更快。其他即将推出的增强功能包括扩展的 SQL 支持，特别是多表查询（如 JOIN）和子查询以及新颖的承诺方案。”
ZK 证明在加密行业的整合可能会产生重大影响。White 解释了他认为 ZK 的这一发展可能具有哪些用例：
我们的团队坚信，未来几年，人工智能**将主要在链上进行交易。通过 SQL 证明提供准确、未篡改、可证明正确的数据将推动这场链上**革命。世界上每个应用程序都使用数据库，并且 […] 我们看到未来每个数据库都使用 SQL 证明。
ZK 技术的推动正在不断加快，StarkWare 最近启动了 100 万美元的研究基金，用于推出比特币的 ZK 扩展，就证明了这一点。该计划旨在通过 ZK 技术同时扩展以太坊和比特币的规模。
