With fraud-proof-free data availability proofs, we can have scalable data chains without committees

[adlerjohn]

This is basically the design I originally proposed here, but with validity proofs rather than fraud proofs.