Self-Reproducing Coins as Universal Turing Machine

06/26/2018
by   Alexander Chepurnoy, et al.
0

Turing-completeness of smart contract languages in blockchain systems is often associated with a variety of language features (such as loops). In opposite, we show that Turing-completeness of a blockchain system can be achieved through unwinding the recursive calls between multiple transactions and blocks instead of using a single one. We prove it by constructing a simple universal Turing machine using a small set of language features in the unspent transaction output (UTXO) model, with explicitly given relations between input and output transaction states. Neither unbounded loops nor possibly infinite validation time are needed in this approach.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset