NotesNotes要点

• Jolt Atlas extends the Jolt proving system to ONNX tensor operations, simplifying memory consistency verification.
• Uses lookup arguments with Sumcheck protocol, well-suited for non-linear functions in modern ML.
• Optimizes lookup table size via neural teleportation while preserving model accuracy.
• Supports streaming proofs in memory-constrained environments, runnable on-device without specialized hardware.
• Achieves zero-knowledge through BlindFold technique for enhanced privacy.
• Demonstrates practical proving times for classification, embedding, automated reasoning, and small language models.

• Jolt Atlas扩展Jolt证明系统，直接应用于ONNX张量操作，简化内存一致性验证
• 采用查找参数和Sumcheck协议，特别适合处理现代ML中的非线性函数
• 通过神经传送等技术优化查找表大小，同时保持模型精度
• 支持内存受限环境下的流式证明，无需专用硬件即可在设备上运行
• 利用BlindFold技术实现零知识属性，增强隐私保护
• 在分类、嵌入、自动推理和小型语言模型上展示实际证明时间

• Jolt Atlasは、ONNXテンソル演算にJolt証明システムを拡張し、メモリの一貫性検証を簡素化します。
• Sumcheckプロトコルと組み合わせてlookup引数を使用し、最新のMLにおける非線形関数に適しています。
• ニューラルテレポートレーションによりlookupテーブルサイズを最適化しつつモデル精度を維持します。
• メモリ制約のある環境でのストリーミング証明をサポートし、特殊なハードウェアなしでオンデバイス実行が可能です。
• BlindFold技術を通じてゼロ知識を実現し、プライバシーを強化します。
• 分類、埋め込み、自動推論、小規模言語モデルに対する実用的な証明時間を実証しています。