aka Data Availability Proofs
Simple Definition
Sources and Readings