Flock 证明器发布：速度创纪录
区块链基础设施项目 Espresso 联合零知识证明领域知名研究者——Succinct 团队的 Ron Rothblum 以及纽约大学学者 William Wang——正式发布了 SNARK 证明器 Flock。Espresso 声称这是当前速度最快的 SNARK 证明器，其性能约为以太坊创始人 Vitalik Buterin 给出的以太坊后量子转型基准的 3 倍。具体到比特币场景，Flock 能在 2.5 秒内完成单个区块对应的签名哈希证明，这意味着后量子签名方案（如 Lamport 签名或 Winternitz 签名）的链上验证效率得到大幅提升。
实测数据与架构优势
根据 Espresso 公布的基准测试，在搭载 Apple M4 Max 芯片的消费级笔记本电脑上，Flock 每秒可完成 66.1 万次 Blake3 压缩运算、33.8 万次 SHA-256 压缩运算。在 SHA-256 哈希函数上，Flock 比此前的速度冠军 Binius64 快约 9 倍；在 Blake3 上，Flock 比 Binius64 和 Plonky3 快约 14 倍。这些数字表明，Flock 在通用证明器领域实现了数量级的性能跃迁，使得在普通硬件上实时生成后量子签名证明成为可能。
开源与开发细节
团队透露，Flock 目前仍是一个研究原型，并非生产级产品。在开发过程中，他们使用了 Claude Opus 4.7 和 4.8 等 AI 编程助手协助编写代码。目前该证明器已开源，代码仓库可供社区审查和贡献。Espresso 表示，Flock 的架构设计能够同时兼容以太坊和比特币的后量子升级路径，但后续需要进一步优化以降低内存开销并支持更复杂的电路。这一突破对加密行业应对量子计算威胁具有重要意义，尤其为比特币和以太坊在后量子时代的签名验证提供了可行的加速方案。