I believe abstracted proving workflows are already here; seen in the off-chain computation of zkProofs and the aggregation of these proofs. Since the process is asynchronous, it allows the chain to continue processing other operations, similar to how some cloud services operate. It's already here. When proving becomes scalable and elastic, computational resources will be better utilized, and we’ll see higher hardware efficiency and performance. @fermah_xyz