Yes, that general approach is exactly what’s described here: exposing the ability to do data availability proofs (which need to be done as part of consensus for Eth 2.0!) through an FFI function, and having consensus on that. Useful for optimistic rollups.