SQL 证明是 Space and Time 开发的新型密码学，它允许数据仓库生成 SQL 查询执行的 SNARK 密码学证明，证明查询计算是准确完成的，并且查询和数据都是可验证的篡改。

SQL 证明使您能够对链上和链下数据运行无需信任的查询，并将结果连接回链上智能合约。这本质上允许智能合约询问有关自己链上的数据、其他链上的数据以及任何来源的链下数据的问题。Space and Time 使智能合约变得更加智能，让智能合约能够访问可验证的链下数据和计算，为 Web3 和企业提供新的用例，例如：

• **去中心化交易：**可验证的交易执行证明、流动性池动态和贷款偿还

• **去中心化借贷：**利息计算和贷款分配的证明

• **私密数据共享：**可验证的加密数据交换，无需泄露数据本身

即将推出： Proof of SQL 目前处于 alpha 阶段，API 规范尚未公开。要请求访问权限，请加入“时空”测试版并联系团队。