NotesNotes要点

• Lookup table arguments are widely used in non-interactive operations, zk-VM and set membership proofs
• Existing constructions differ in assumptions, efficiency, and composability
• Introduce a unified framework covering standard, projection, index, vector and decomposable lookups
• Classify protocols based on proof technology and composition style
• Evaluation metrics include prover cost, table size dependence, and recursive proof composability
• Provide practical guidance on selection and highlight the advantages and limitations of preprocessing and decomposability

• 查找表论证广泛用于非本地操作、zk-VM和集合成员证明
• 现有构造在假设、效率和可组合性上差异显著
• 引入统一框架覆盖标准、投影、索引、向量和可分解查找
• 分类协议基于证明技术和组合风格
• 评估维度包括证明者成本、表大小依赖和递归证明兼容性
• 提供实践选择指南并突出预处理和可分解性的优势与限制

• ルックアップテーブル引数は、非対話型操作、zk-VM、セットメンバーシップ証明書などで広く利用されています。
• 既存の構成は、前提条件、効率性、および合成可能性において異なっています。
• 標準、射影、インデックス、ベクトル、分解可能なルックアップを網羅する統一フレームワークを導入します。
• プロトコルを証明技術と合成スタイルに基づいて分類します。
• 評価指標には、proverコスト、テーブルサイズへの依存性、および再帰的証明の合成可能性が含まれます。
• 選択に関する実践的なガイダンスを提供し、プリプロセス処理と分解可能性の利点と限界を強調します。