[ad_1] A new proposal that allows arbitrary computation to be verified and enforced on the Bitcoin network without requiring a soft fork is doing the rounds...