Espresso 发布 SNARK 证明器 Flock，比特币后量子证明可在 2.5 秒内完成

Foresight News 消息，区块链基础设施 Espresso 联合 Succinct 的 Ron Rothblum、NYU 学者 William Wang 发布 SNARK 证明器 Flock。Espresso 表示这是目前速度最快的 SNARK 证明器，Flock 性能约为 Vitalik Buterin 给出的以太坊后量子转型基准的 3 倍，对比特币而言可在 2.5 秒内完成单个区块对应的签名哈希证明。

在搭载 Apple M4 Max 芯片的消费级笔记本上，Flock 每秒可完成 66.1 万次 Blake3 压缩运算、33.8 万次 SHA-256 压缩运算，在 SHA-256 上比此前最快方案 Binius64 快约 9 倍，在 Blake3 上比 Binius64 和 Plonky3 快约 14 倍。团队透露 Flock 仍是研究原型，开发中使用了 Claude Opus 4.7 和 4.8 等 AI 编程助手协助，目前已开源。