Espresso 推出新 SNARK Prover Flock，为研究原型

Espresso 发文称，由 Espresso 首席科学家 Benedikt Bünz、Succinct 的 Ron Rothblum 及 NYU 博士生 William Wang 共同创建的 Flock 是一款面向批量布尔计算的新 SNARK，被称为目前最快的 SNARK prover。基准测试显示，在搭载 Apple M4 Max 的消费级笔记本上，Flock 每秒可证明 66.1 万次 Blake3 压缩、33.8 万次 SHA-256 压缩和 25.2 万次 Keccak 置换，证明大小低于 450KB，验证时间低于 4 毫秒；但目前仍为研究原型，尚未准备好用于生产环境。