NotesNotes要点

• HydraProofs generates all opening proofs in O(N) time
• Directly compatible with zkSNARKs using multilinear encodings
• Uses partitioning and folding to reduce HyperEval to linear time
• Supports efficient multi-user verification when combined with GKR
• In verifiable secret sharing, proving is faster than the dealer's computation
• Enables robust aggregation verification in federated learning with low overhead

• HydraProofs 实现 O(N) 时间生成全部 opening 证明
• 直接兼容多项式编码的 zkSNARKs，无需电路中重建
• 通过分段与折叠技术将 HyperEval 降至线性时间
• 结合 GKR 实现多用户输入的有效验证
• 在可验证秘密共享中，生成证明比秘密分发者计算更快
• 支持联邦学习中的鲁棒聚合验证，性能开销低

• HydraProofsは、すべてのオープニングプルーフをO(N)時間で生成します。
• マルチリニアエンコーディングを使用するzkSNARKと直接互換性があります。
• パーティショニングとフォールディングを使用してHyperEvalを線形時間に削減します。
• GKRと組み合わせることで、効率的なマルチユーザー検証をサポートします。
• 検証可能な秘密分散において、証明の生成がディーラーの計算よりも高速です。
• 低オーバーヘッドでフェデレーテッドラーニングにおける堅牢な集約検証を可能にします。