NotesNotes要点

• FRIVail uses FRI's Reed-Solomon structure so each commitment is a codeword for easy sampling.
• Each data row gets its own FRI proof, then aggregation combines them into a global certificate.
• ZK aggregation creates short proof-of-proofs, allowing concise global checks and row independence.
• Post-quantum aggregation recursively uses FRI-Binius for proof-of-proofs, relying on proximity checks and new polynomials.
• KZG aggregation enables direct openings but needs pairing and trusted setup, so it's not post-quantum secure.
• All variants let light clients check availability with a few openings, no full data download needed.

• FRIVail利用FRI的Reed-Solomon结构，每个承诺自然编码一个码字，便于轻客户端直接采样
• 方案为每行数据分配独立FRI证明，再通过聚合策略组合成全局可用性证书
• ZK聚合策略生成紧凑的证明之证明(proof-of-proofs)，实现简洁全局验证同时保持行独立性
• 后量子聚合递归应用FRI-Binius构建证明之证明，依赖FRI邻近性检查但需重构聚合多项式
• KZG混合聚合支持直接代数开箱但依赖配对假设和可信设置，不具备后量子安全性
• 所有变体都使轻客户端能通过少量本地开箱检查验证可用性，无需下载完整数据

• FRIVailは、各コミットメントがサンプリングを容易にするためのコードワードとなるFRIのReed-Solomon構造を利用しています。
• 各データ行が独自のFRI証明を持ち、その後アグリゲーションによってそれらがグローバルな証明書に統合されます。
• ZK aggregationは短いproof-of-proofsを作成し、簡潔なグローバルチェックと行間の独立性を可能にします。
• Post-quantum aggregationは、proximity checksと新しい多項式に依存して、proof-of-proofsのために再帰的にFRI-Biniusを使用します。
• KZG aggregationは直接的なopeningを可能にしますが、ペアリングとトラステッドセットアップが必要なため、ポスト量子安全ではありません。
• すべてのバリアントは、完全なデータダウンロードを必要とせず、少数のopeningでライトクライアントが可用性を確認できるようにします。