NotesNotes要点

• Targets batched hash proving bottlenecks.
• Proves batches of the same R1CS circuit.
• Supports hash chains and Merkle openings.
• Optimizes lincheck and zerocheck.
• Single-core results include 82k BLAKE3 and 42k SHA-256 per second.
• SHA-256 proving is over 9x faster than Binius64.

• Flock聚焦SNARK中大量标准哈希计算的证明瓶颈
• 支持同一R1CS电路的大批量证明，并可表达输入输出关系
• 可证明hash chains和Merkle path openings
• 核心改进包括lincheck和zerocheck协议优化
• 单核M4 Max上可证明每秒82k次BLAKE3压缩、42k次SHA-256压缩和30k次Keccak置换
• 十核下BLAKE3吞吐超过660k次每秒，SHA-256证明快于Binius64超过9倍

• SNARK における大量の標準ハッシュ計算の証明ボトルネックを対象にする。
• 同じ R1CS 回路の大規模バッチを証明し、インスタンス間の入出力関係も扱える。
• ハッシュチェーンと Merkle 経路の開示を証明できる。
• 中核となる改善は lincheck と zerocheck の最適化。
• M4 Max の単一コアで BLAKE3 圧縮 82k/s、SHA-256 圧縮 42k/s、Keccak 置換 30k/s を報告。
• 10 コアでは BLAKE3 が 660k/s 超となり、SHA-256 証明は Binius64 より 9 倍超高速。