据 Woofun AI 消息，区块链基础设施项目 Espresso 联合 Succinct 的 Ron Rothblum 及 NYU 学者 William Wang 共同发布了 SNARK 证明器 Flock。该工具目前为研究原型，团队在开发过程中借助了 Claude Opus 4.7 和 4.8 等 AI 编程助手，现已正式开源。

性能数据显示，Flock 是目前速度最快的 SNARK 证明器，其表现约为 Vitalik Buterin 提出的以太坊后量子转型基准的 3 倍。针对比特币网络，Flock 可在 2.5 秒内完成单个区块对应的签名哈希证明。在搭载 Apple M4 Max 芯片的消费级笔记本上，Flock 每秒可执行 66.1 万次 Blake3 压缩运算与 33.8 万次 SHA-256 压缩运算。相比此前最快的方案 Binius64，Flock 在 SHA-256 上的速度提升约 9 倍，在 Blake3 上则比 Binius64 和 Plonky3 快约 14 倍。