text: 71,112,1011892443443355649,746249674869346304,Dmitry Meshkov,"It is generally accepted that missing of loops inside a smart contract language means that it is not Turing-complete. Our new paper <LINK> dispels this myth. One of the most interesting practical result is that it is easy to build Turing-complete language without runtime cost analysis (e.g. gas in #ethereum), making smart contracts much more secure.",https://arxiv.org/abs/1806.10116,"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. ",Self-Reproducing Coins as Universal Turing Machine,2,"['It is generally accepted that missing of loops inside a smart contract language means that it is not Turing-complete. Our new paper <LINK> dispels this myth.', 'One of the most interesting practical result is that it is easy to build Turing-complete language without runtime cost analysis (e.g. gas in #ethereum), making smart contracts much more secure.']",18,06,351