Replacing Cryptopuzzles with Useful Computation in Blockchain Proof-of-Work Protocols | Synapse