作为 AI 与区块链的可验证计算层，Space and Time（SxT）今天在 GitHub 上发布了 SQL 证明器，这是一款用于处理数据的高性能 ZK 证明器。

SQL 证明器是 SxT 开发的一种新型 ZK 证明器，它通过密码学保证 SQL 数据库查询在未被篡改的数据上准确计算。使用 SQL 证明器，开发者可以在无需信任的情况下对链上和链下数据集进行计算，并在交易过程中将结果及时证明给智能合约，以支持更复杂的基于数据的 DeFi 协议。

SxT 联合创始人兼研究主管、SQL 证明器协议的发明者 Jay White 博士表示：“Space and Time 很高兴能够带领 Web3 进入数据驱动的智能合约和下一代 DeFi 的新时代。“我们的团队开创了亚秒级 ZK 证明器，以便智能合约和 AI 代理可以询问有关链活动以及链下数据的问题，并在交易期间在链上接收无需信任的 SQL 查询结果，而无需等待 30 分钟的证明时间。”

SQL 证明器已于 8 月以 alpha 版本发布给一组选定的 SxT 客户。随着今天在 GitHub 上的发布，该协议现在向公众开放。社区成员可以在 Space and Time Studio 上的 SxT 上运行无需信任的查询，开发人员可以直接从 GitHub 下载存储库。

SQL 证明器是首个运行时间在亚秒级的 ZK 证明器。在 SxT 密码学团队最新的基准测试中，该协议可以在单个 GPU 上在不到一秒的时间内执行超过 10 万行表的分析查询，并且可以在单个 NVIDIA T 4 上在以太坊区块时间内聚合超过数百万行的索引数据。

与通用的 zkVM 和协处理器相比，SQL 证明器为处理大量数据提供了性能更高的架构。虽然通用 zkVM 为任意计算提供了可扩展的解决方案，但数据处理证明速度很慢。

SQL 证明器可以与这些 zkVM 集成，以提供可验证的源数据，从而可以执行任意代码。Space and Time 鼓励并邀请社区成员以及其他 ZKP 工程团队在 repo 中进行合作。证明器可以集成到任何 SQL 数据库（如 Google BigQuery）中，无论是集中式还是去中心化的，并且已经在一些著名的Web3应用、金融机构和企业中得到应用。

关于 Space and Time

Space and Time 是 AI 与区块链的可验证计算层，将不可篡改的链上和链下数据结合起来，为智能合约和 LLM（大型语言模型）提供企业级应用场景。Space and Time 开发了一种名为 SQL 证明器的新型密码学，允许开发者将分析结果直接连接到智能合约，从而在区块链技术上开启大量强大的新应用场景和业务逻辑。Space and Time 从头开始构建，作为一个多链数据平台，为金融服务、游戏、DeFi 或任何需要在企业、区块链和 AI 之间进行数据验证的项目提供服务。

更多信息，请访问：  |  |  |  |  |