NotesNotes要点

• Systematically organizes design paradigms and modes of existing ZK-friendly hash functions.
• Reviews algebraic cryptanalysis techniques and third-party analyses for these designs.
• Estimates minimum round counts to resist known attacks for broken parameter sets.
• Compares constraint counts and performance across R1CS, AIR, and PLONK arithmetizations.
• Provides an open-source suite with reference framework, Rust implementations, and in-circuit implementations.
• Guides practitioners in hash selection for ZK protocols with benchmarks.

• 系统梳理了现有ZK友好哈希函数的设计范式和运行模式。
• 综述了针对这些设计的代数密码分析技术及第三方分析结果。
• 对被攻破的参数集估算了抵抗已知攻击所需的最小轮数。
• 在R1CS、AIR、PLONK三种算术化方式下对比了约束数和性能。
• 提供了开源实现套件，包括参考框架、Rust实现和电路实现。
• 为实践者在ZK协议中选择哈希函数提供了指导和基准。

• 既存のZKフレンドリーなハッシュ関数の設計パラダイムと運用モードを体系的に整理した。
• これらの設計に対する代数的暗号解析技術と第三者による解析結果をまとめた。
• 破られたパラメータ集合に対し、既知の攻撃に耐えるための最小ラウンド数を推定した。
• R1CS、AIR、PLONKの3つの算術化方式で制約数と性能を比較した。
• 参照フレームワーク、Rust実装、回路実装を含む完全なオープンソーススイートを提供する。
• 実務者がZKプロトコルでハッシュ関数を選ぶための指針とベンチマークを示す。