高性能零知识SQL证明器

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