In the paper, Srivastava proposed FRIVail, a data availability scheme based on FRI-Binius, supporting ZK proofs, post-quantum and hybrid aggregation strategies, and providing a modular foundation for blockchain data availability protocols. Srivastava在论文中提出了一种基于FRI-Binius的数据可用性方案FRIVail,支持ZK证明、后量子和混合聚合策略,为区块链数据可用性协议提供模块化基础。
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.