NADO: Rewriting the Execution Model for On-Chain Markets | Xangle