Smart contracts are required to define transaction terms between autonomous AI agents that do not know each other