Flock 性能表现:远超现有方案
区块链基础设施公司 Espresso 联合 Succinct 的 Ron Rothblum 与纽约大学学者 William Wang 发布了 SNARK 证明器 Flock。根据官方数据,Flock 是目前速度最快的 SNARK 证明器。在搭载 Apple M4 Max 芯片的消费级笔记本上,Flock 每秒可完成 66.1 万次 Blake3 压缩运算和 33.8 万次 SHA-256 压缩运算。与先前最快的方案 Binius64 相比,Flock 在 SHA-256 上的性能提升约 9 倍,在 Blake3 上提升约 14 倍;同时较 Plonky3 在 Blake3 上也快约 14 倍。这一数据意味着,Flock 能够在普通消费级硬件上实现此前需要高端服务器才能达到的证明速度。
对比 Vitalik 基准:比特币后量子证明仅需 2.5 秒
Vitalik Buterin 曾提出以太坊后量子转型的基准性能要求,Flock 的实际表现约为该基准的 3 倍。具体到比特币场景,Flock 可在 2.5 秒内完成单个区块对应的签名哈希证明。这对区块链后量子密码学迁移具有重要意义——随着量子计算威胁逼近,区块链网络需要能够快速验证大量签名聚合证明,而 Flock 的高性能使得在现有硬件上实现低延迟后量子验证成为可能。该结果也暗示,SNARK 证明器的效率瓶颈正逐步被突破,实用化进程显著加快。
开源与开发细节:AI 辅助研究原型
团队透露,Flock 目前仍为研究原型,尚未达到生产级安全审计标准。开发过程中使用了 Claude Opus 4.7 和 4.8 等 AI 编程助手辅助代码生成与优化。该项目已在 GitHub 上开源,感兴趣的开发者和研究者可自行复现与测试。Espresso 表示,Flock 的设计思路与模块化架构有望为未来更高效的 SNARK 证明器奠定基础,后续将继续优化安全性并探索与更多公链的集成可能。

