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

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.