Notes Notes 要点

• VEIL is a lightweight non-intrusive compiler for hash-based multilinear proof systems
• Decouples algebraic interactions from cryptographic hashing, applying ZK wrapper only to algebraic components
• Avoids drawbacks of composing with expensive ZK systems or tightly coupled modifications
• Simple and plausibly post-quantum protocol with minimal prover overhead of (1+o(1))
• Proof-of-concept: 3% prover overhead, 22% verifier overhead, 12% proof-size overhead for 2^29 field elements
• Maintains architectural integrity of the base proof system

• VEIL是一种轻量级非侵入式编译器，专为基于哈希的多线性证明系统设计
• 通过解耦协议中的代数交互与密码学哈希，仅对代数组件应用ZK包装
• 避免了传统方法中与昂贵ZK系统组合或紧密耦合修改的缺点
• 实现简单且可能具有后量子安全性，证明者开销最小化至(1+o(1))
• 概念验证显示：在31位基素数域上，对于2^29个域元素轨迹，证明者开销约3%
• 验证者开销22%，证明大小开销12%，保持基础证明系统的架构完整性

• VEILは、ハッシュベースの多重線形証明システムのための軽量で非侵襲的なコンパイラです。
• 代数的な相互作用と暗号学的ハッシュを分離し、ZK wrapperを代数的なコンポーネントにのみ適用します。
• 高コストなZKシステムとの合成や密結合な修正の欠点を回避します。
• 最小限のプロバーオーバーヘッド（(1+o(1))）を持つ、シンプルで妥当なポスト量子プロトコルです。
• 概念実証：2^29個のフィールド要素に対するプロバーオーバーヘッド3%、ベリファイアオーバーヘッド22%、証明サイズオーバーヘッド12%を達成しました。
• ベースとなる証明システムのアーキテクチャ的完全性を維持します。