NotesNotes要点

• SALSAA significantly improves lattice-based arguments efficiency via sumcheck integration, reducing proof size by 2-3x compared to RPS/RnR
• The framework supports linear-time provers, overcoming the previous bottleneck of quasi-linear norm checks
• First to natively support ℓ₂-norm constraints in lattice folding schemes, with highly efficient verification
• Provides concrete performance: verification time 41 ms, proof size 979KB (for 2²⁸-element witness)
• Modular Rust implementation demonstrates real-world feasibility, suitable for large-scale deployment
• Expands the scope of lattice-based arguments, offering new tools for post-quantum secure ZK systems

• SALSAA通过sumcheck集成显著提升格基论证效率，证明尺寸比RPS/RnR减少2-3倍
• 框架支持线性时间证明者，解决了之前准线性时间范数检查的性能瓶颈
• 首次实现原生支持ℓ₂-范数约束的格基折叠方案，验证效率极高
• 提供具体性能数据：验证时间41毫秒，证明大小979KB（2²⁸元素见证）
• 模块化Rust实现展示实际可行性，适合大规模应用部署
• 扩展了格基论证的应用范围，为后量子安全ZK系统提供新工具

• SALSAAは、sumcheckの統合により格子ベースの証明の効率を大幅に向上させ、RPS/RnRと比較して証明サイズを2〜3倍削減します。
• このフレームワークは線形時間プロバーをサポートし、準線形ノルムチェックという以前のボトルネックを克服します。
• 格子折り畳みスキームにおいてℓ₂-norm制約をネイティブにサポートする最初のものであり、非常に効率的な検証を提供します。
• 具体的なパフォーマンスを示します：検証時間41ms、証明サイズ979KB（2^28要素のwitnessの場合）。
• モジュール化されたRust実装は実世界での実現可能性を示しており、大規模なデプロイメントに適しています。
• 格子ベースの議論の範囲を拡大し、ポスト量子セキュアなZKシステムのための新しいツールを提供します。