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、互操作、硬件加速。