Turing completeness in blockchain, explained