新的开源 ZK-proof 可缩短 SQL 查询时间

一种新的零知识证明（ZK-proof）技术--SQL 证明--已经问世。它有望将结构化查询语言（SQL）查询的传统 30 分钟等待时间缩短到亚秒级速度。

在需要实时数据处理的应用中，时间的大幅缩短可显著提高效率。

时空（SxT）--人工智能（AI）和区块链的可验证计算层--于6月12日在GitHub上公布了用于处理数据的新开源ZK证明器。

相关链接 StarkWare为ZK比特币扩展启动100万美元研究基金

防ZK突破

SxT联合创始人兼研究主管杰伊-怀特（Jay White）在接受Cointelegraph采访时解释了用于测量亚秒级性能的基准：

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

SQL 校验已于 2023 年 8 月向部分 SxT 客户发布了 alpha 版，现在已在 GitHub 上向公众开放。

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

"我们的团队首创了亚秒级 ZK 证明，这样智能合约和人工智能代理就可以询问链上活动以及链外数据的相关问题，并在交易期间在链上接收回无信任 SQL 查询结果，而无需等待 30 分钟的证明时间。"

相关内容 Polygon Labs 收购 Toposware，将 ZK 投资总额推高至 10 亿美元

开源的 ZK 证明

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

怀特补充说："我们的团队非常关注用户体验，这也是我们选择超级关注 SQL 的部分原因[......]，以便为开发人员提供尽可能无缝和简单的集成。

"我们目前正在努力将 SQL 证明集成到 Chainlink 网络中，[并]与 zkSync 生态系统合作开发一个解决方案，允许开发人员通过 SQL 证明从他们的智能合约原生运行 SQL 查询。"

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

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

相关： Matter Labs在行业反弹后放弃ZK商标申请

应对可扩展性挑战

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

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

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

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

最近，StarkWare 启动了一项价值 100 万美元的研究基金，为比特币的 ZK 扩展提供支持。

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