介绍 Blitzar。 这个 GPU 加速框架使得 Proof of SQL 在一百万行数据上实现了亚秒级的证明，现在已向全球的 ZK 开发者开放源代码。