Very clever. Even if the smart-contract language used in the blockchain isn't Turing-complete, one can still implement an universal Turing machine by using the blockchain itself as a "tape" and cleverly constructed transactions as the "instructions." Turing completeness is hard to prevent!
cs702|3 years ago