Interesting, so this proposal would abstract data availability checking, so you just have data! You would of course then need to have a spec and test suite for the execution layer to make sure that this scheme is followed for any EVM abstraction so that custom EVMs know what to make and how to test. A note for others: this scheme would work similar to Truebit’s interactive verification.