We can not only efficiently solve the routing problem but also provide a mathematical certificate that we found the best possible route using convex optimization [5]. This certificate allows anyone to easily verify, given the previous state of the system, that a trade was in fact optimal. This means that batched decentralized exchanges can ***prove*** that they executed all received orders—aggregated together into a batched order—at the best possible price [6].
A blockchain’s public, discrete time nature is essential for this proof. The batched nature of orders ensures none of the manipulative behavior we’ve talked about previously interferes with the execution price.
Now we have a mathematical certificate of best price execution given liquidity across all markets on a particular public blockchain. It doesn’t matter how these markets are implemented; they can be automated market makers, order books, or something else. This certificate fulfills one of the goals of best execution: (provable) best price. Furthermore, this ability to compute the best price clarifies tradeoffs between price and other factors, like speed of execution.
Markets should have provable guarantees. We now have the technology to build this future.
We thank Alex Evans and Eric Budish for helpful comments on a draft of this post.
[1] | Francis J. Facciolo, A Broker's Duty of Best Execution in the Nineteenth and Early Twentieth Centuries, 26 Pace L. Rev. 155 (2005), citing Norman Poser, Broker-Dealer Law & Regulation § 2.03[A], at 2-56 (3d ed. 2001). |
[2] | Id. citing Jonathan R. Macey & Maureen O'Hara, The Law and Economics of Best Execution, 6 J. Fin. Intermediation 188, 189 (1997). |
[3] | Newton v. Merrill, Lynch, Pierce, Fenner, 135 F.3d 266 (3d Cir. 1998). |
[4] | To exchange stock A for stock B in the traditional equities market, we first sell stock A and then use the proceeds from the sale (i.e., dollars or another currency) to buy stock B. |
[5] | In this case, the certificate is the list of post-trade, “market clearing prices” for all assets. One verifies this certificate by checking that these prices are in the no arbitrage interval for all markets. |
[6] | We don’t discuss issues of censorship here but recognize that it can be an issue in these systems. |