NotesNotes要点

• ProveKit generates ZK proofs on phones and browsers, keeping private data local.
• Based on WHIR hash-based commitments, no trusted setup and 128-bit post-quantum security.
• Developers can write provable claims in the Noir language.
• Outperforms Circom and Barretenberg in proving time and memory usage.
• Proof size under 1MB, but verification is non-succinct, suitable for server-side verification.
• Version 2 will migrate to Goldilocks field and add Groth16 backend for efficient on-chain verification.

• ProveKit可在手机和浏览器上生成ZK证明，私密数据不离开设备。
• 基于WHIR哈希承诺方案，无可信设置且达到128位后量子安全。
• 开发者可使用Noir语言编写可证明声明，易于上手。
• 与Circom和Barretenberg相比，证明时间显著更快且内存占用更低。
• 证明体积小于1MB，但验证非简洁，适合服务器验证场景。
• V2将迁移至Goldilocks域并引入Groth16后端以提升链上验证效率。

• ProveKitは携帯電話やブラウザ上でZK証明を生成し、プライベートデータをデバイス外に出さない。
• WHIRハッシュベースコミットメントを採用し、信頼セットアップ不要で128ビット耐量子安全性を実現。
• 開発者はNoir言語で証明可能なクレームを記述できる。
• CircomやBarretenbergと比較して証明時間とメモリ使用量が大幅に優れる。
• 証明サイズは1MB未満だが、検証は非簡潔でサーバー側での検証に適する。
• バージョン2ではGoldilocks体への移行とGroth16バックエンド導入による効率的なオンチェーン検証を予定。