Notes

• 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混合聚合支持直接代数开箱但依赖配对假设和可信设置，不具备后量子安全性
• 所有变体都使轻客户端能通过少量本地开箱检查验证可用性，无需下载完整数据