Computational proofs of integrity (STARKs, SNARKs) could detect silent data corruptions (at the cost of a ~1000x slowdown)

I wonder if we’ll see them used for large scale applications whose correctness is critical.