Every Bitcoin transaction runs a small program that describes under which conditions the transaction is...