Turing-complete transactions of agents in blockchain systems