• Issues with aggregate or recursive proofs
• zkTree: A Zero-Knowledge Recursion Tree with ZKP Membership Proofs
• Hyperproofs: Aggregating and Maintaining Proofs in Vector Commitments
• Recproofs: Vector Commitments with Updatable Batch Proofs and their Applications
• FRI as erasure code fraud proof
• A Guide to Selecting the Right Data Availability Layer
• Celestia's data availability layer
• The current state of storage proofs
• Ideal vector commitment