Notes Notes 要点

• Surveyed 25 ZKP frameworks: SNARK, STARK, MPCitH, VOLE.
• Metrics: performance, usability, accessibility; Docker for reproducibility.
• SNARK most mature: Arkworks, Gnark; PLONK: Gnark-KZG, Noir.
• STARKs for post-quantum apps, RISC Zero recommended.
• VOLE-ZK fits IoT/distributed learning; MPCitH limited options.
• Future: high-level APIs, interoperability, hardware acceleration.

• 系统调查25个ZKP框架，涵盖SNARK、STARK、MPCitH、VOLE。
• 评估指标：性能、可用性、可访问性，并提供Docker复现。
• SNARK最成熟，推荐Arkworks、Gnark；PLONK推荐Gnark-KZG、Noir。
• STARK适合后量子安全，推荐RISC Zero。
• VOLE-ZK适合IoT与分布式学习；MPCitH框架有限。
• 未来方向：高层API、互操作、硬件加速。

• 25のZKPフレームワーク（SNARK、STARK、MPCitH、VOLE）を調査。
• 評価指標：パフォーマンス、ユーザビリティ、アクセシビリティ。再現性のためにDockerを使用。
• SNARKは最も成熟している：Arkworks, Gnark。PLONKについてはGnark-KZG, Noir。
• STARKsはポスト量子アプリ向け。RISC Zeroを推奨。
• VOLE-ZKはIoT/分散学習に適している。MPCitHは選択肢が限定的。
• 今後の展望：ハイレベルAPI、相互運用性、ハードウェアアクセラレーション。