Espresso 釋出 SNARK 證明器 Flock，比特幣後量子證明可在 2.5 秒內完成

區塊鏈基礎設施 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 程式設計助手協助，目前已開源。 [Foresight News]