NotesNotes要点

• DYNARK supports fast proof updates when witnessing small changes, reducing computational overhead
• Update time is O(d) group operations in semi-dynamic settings, O(d√n log n) in fully dynamic settings
• Proof size remains 192 bytes, verification time 4.4 milliseconds, consistent with Groth16
• Experiments show that with n=2^20, preprocessing takes 74.3 seconds and updates take 3-60 milliseconds
• Does not depend on pairing product parameters or other zkSNARKs, simplifying system design
• Fully compatible with existing Groth16 infrastructure, making deployment easier

• DYNARK支持见证小变化时的快速证明更新，减少计算开销
• 半动态设置下更新时间为O(d)群操作，全动态为O(d√n log n)
• 证明大小保持192字节，验证时间4.4毫秒，与Groth16一致
• 实验表明，n=2^20时，预处理74.3秒后更新仅需3-60毫秒
• 无需依赖配对乘积参数或其他zkSNARK，简化系统设计
• 完全兼容现有Groth16基础设施，便于实际部署

• DYNARKは、小さな変更を証明（witnessing）する際の高速な証明更新をサポートし、計算オーバーヘッドを削減します。
• 更新時間は、セミダイナミック設定ではO(d)の群演算、フルダイナミック設定ではO(d√n log n)です。
• 証明サイズは192バイトで維持され、検証時間は4.4ミリ秒であり、Groth16と一貫しています。
• 実験によると、n=2^20の場合、プリプロセッシングに74.3秒、更新に3〜60ミリ秒かかります。
• ペアリング積パラメータや他のzkSNARKsには依存せず、システム設計を簡素化します。
• 既存のGroth16インフラストラクチャと完全に互換性があるため、デプロイが容易になります。