Useful proof of work also changes incentives
"Useful proof of work" is an oxymoron.
If the computations are useful, then they are a proof of nothing.
We can do contract using OP_SIDECHAINVERIFY.
1. I'll fund SC.
2. You will Protein folding me "data"
3. then you will be able to withdraw BTC from SC.