Proof of SQL 是由 Space and Time 团队开发的高性能零知识(ZK)证明器,通过密码学保证 SQL 查询在未篡改的数据上准确计算。它专注于在线延迟,同时证明整个链历史的计算,比现有的 zkVM 和协处理器快一个数量级。该协议能够在不到一秒的时间内使用单个 GPU 对 100k 行表格执行分析查询,并支持链上和链下验证,显著降低链上验证的 gas 费用。