新的开源 ZK 证明大大缩短了 SQL 查询时间

SQL 证明将 SQL 查询时间从 30 分钟大幅缩短至亚秒级，有望显着提高实时数据处理应用程序的效率。

引入了一种新的零知识证明（ZK-proof）技术，即 SQL 证明。它承诺将结构化查询语言 (SQL) 查询的传统 30 分钟等待时间缩短至亚秒级。

时间的大幅减少可以显着提高需要实时数据处理的应用程序的效率。

Space and Time (SxT)——人工智能 (AI) 和区块链的可验证计算层——于 6 月 12 日在 GitHub 上发布了用于处理数据的新开源 ZK 证明器。

ZK证明的突破

SxT 联合创始人兼研究主管 Jay White 在接受 Cointelegraph 采访时解释了用于衡量亚秒级性能的基准：

“我们针对包含超过 100,000 行的大型数据表运行了各种查询的基准测试，例如过滤器、GROUP BY、聚合和其他标准 SQL 操作。最新的基准测试表明，SQL 证明可以在一秒内验证 100,000 行，在 1.2 秒内验证 100 万行，在大约一分钟内验证 1 亿行。”

SQL 的证明已于 2023 年 8 月向一组选定的 SxT 客户发布了 alpha 版本，现在可在 GitHub 上向公众开放。

公开可用的加密工具将允许社区成员在 SxT 上运行无需信任的查询，开发人员可以直接从 GitHub 下载存储库。

“我们的团队首创了亚秒级 ZK 证明，以便智能合约和 AI 代理可以询问有关链的活动以及链下数据的问题，并在交易期间在链上接收不可信的 SQL 查询结果，而无需等待30 分钟的证明时间。”ZK 证明开源 

新的 ZK-proof 是 SxT 更广泛战略的一部分，旨在提高去中心化应用程序 (DApp) 的安全性和性能并鼓励社区协作。

White 补充道：“我们的团队非常关心 UX [用户体验]，这也是我们选择高度关注 SQL [...] 的部分原因，以使开发人员尽可能无缝且轻松地进行集成。

“我们目前正在致力于将 SQL 证明集成到 Chainlink 网络中，[并]与 zkSync 生态系统合作开发一个解决方案，允许开发人员使用 SQL 证明从智能合约本地运行 SQL 查询。”

延迟效率低下阻碍了依赖实时数据验证的 DApp 的可扩展性和性能。

根据与我们独家分享的新闻稿，SQL 证明“允许开发人员将分析直接连接到智能合约，在区块链技术上开辟大量强大的新用例和业务逻辑。”

应对可扩展性挑战

White 解释了 SQL 证明将如何随着数据量的增加、更复杂的查询和未来的增强以抵消瓶颈而扩展：

“SQL 证明呈线性扩展。集群规模的证明已列入近期路线图，这意味着在更大的表上进行更快的证明。其他即将推出的增强功能包括扩展的 SQL 支持，特别是多表查询（如 JOIN）和子查询以及新颖的承诺方案。”

ZK 证明在加密行业的整合可能会产生重大影响。White 解释了他认为 ZK 的这一开发可能有哪些用例：

我们的团队坚信，人工智能代理将在未来几年内主要在链上进行交易。通过 SQL 证明获得的准确、未篡改、可证明正确的数据将推动这场链上代理革命。世界上的每个应用程序都使用数据库，并且 [...] 我们看到未来每个数据库都使用 SQL 证明。

StarkWare最近启动了100 万美元的研究基金以推出比特币 ZK 扩展，这证明了 ZK 技术的发展速度越来越快。

该计划旨在通过 ZK 技术同时扩展以太坊和比特币。