Hi HN—we're Kelly and Steve, co-founders of OneChronos (<a href="https://www.onechronos.com" rel="nofollow">https://www.onechronos.com</a>). OneChronos is a "Smart Market" for US equities—meaning we match counterparties using mathematical optimization instead of classical human auctioneer mechanics [1]. Our flavor of Smart Market—combinatorial auctions—lets users enter orders spanning multiple securities and specify matching preferences way beyond just price and quantity.<p>We didn't invent Smart Markets or combinatorial auctions. Roughly $1T/year flows through them in industries ranging from display advertising to telecommunications. The underlying theory was the subject of the 2020 Nobel Prize in Economic Sciences [2]. We're bringing them to capital markets, and we have both the customers and the regulatory clearance to do so. Our initial user base contains the household names cumulatively responsible for ≈70% of US equities trading volume.<p>Today's market structure costs institutional investors at least a trillion dollars annually. We'll go into the details below, but the big thing to understand is that mutual/pension/sovereign funds, 401K plans, and ETF managers pay the price, and ultimately it gets passed on to households. Given diverse investment time horizons and risk preferences, capital markets are not a zero-sum game, but the existing market structure makes it one. Any form of market friction that prevents mutually beneficial trades from happening is an economic loss. Our goal is to make a lot more mutually beneficial trades happen.<p>We started working on OneChronos as experienced traders and auction theorists. Even so, getting here has taken five years of iterating with customers, tackling two deep tech problems, and working through an involved regulatory process. We'll describe what's causing existing market friction, the solution, and why that solution is a significant technical lift.<p>When people hear about market friction and hidden costs, they usually think about low latency technology, market data, exchange fees, and predatory HFT practices. Those are significant, and yet they are rounding errors compared to others. The principal sources of market friction that we're attacking are bidders' inability to express economic complements (things that are worth more together than separately), substitutes (things with diminishing marginal utility that are replacements for each other) and non-price factors, and game-theoretic incentives against bidding "truthfully"—that is, against specifying how many units of a good you have and the highest price at which you'd buy or the lowest at which you'd sell them (your supply and demand curve). The most commonly proposed market structure "fixes," like single good periodic batch auctions and the IEX speed bump, don't address any of these.<p>Imagine that a buyer values two goods A and B at $10 for the package, but only $4 for each individually since they're complements. Similarly, a seller might unload the package for $8 while demanding $5 for each good individually. Both agents have "exposure risk" if A and B are bought and sold separately—they might get stuck with an incomplete package. No trade happens if the risk is high enough (buy at $4, sell at $5, no cross). But if they can trade the package atomically, there's a mutual win of $2 in gains from trade. Similar missed opportunities happen if agents only want A XOR B or have different prices for different counterparties (price discrimination). This game of imperfect information and missed opportunities plays out every day in capital markets globally.<p>The straightforward solution to these problems is called "Expressive Bidding"—the ability to communicate parametric bids to the auctioneer, e.g., buy at most one of {$10 for A and B, $4 for A, $4 for B} or sell at most two units of A, pricing it at $10 for counterparty C_1, $9 for C_2, or $8 for C_3. Given everyone's Expressive Bid and a well-chosen objective function, the auctioneer uses constrained optimization to clear the market and unlock efficiencies. Awesome. So why didn't this happen when markets first started going electronic?<p>General combinatorial auctions are isomorphic to weighted set packing. Clearing them is an NP-complete optimization problem. Finding feasible and near-optimal solutions at the speed and scale of capital markets is deep tech problem #1. Furthermore, bidding in combinatorial auctions can be challenging in both a computational and UX sense. Making it easy is deep tech problem #2.<p>We tackle problem #1 similarly to how game AI like AlphaZero and optimizers like AlphaFold work. The combination of deep learning, heuristics, and classical AI search techniques is powerful, and applying them to combinatorial auctions in novel ways is a core part of our IP. Problem #2 involves the magic of formal methods. Expressive Bidding users submit snippets of code (a functionally pure subset of OCaml/ReasonML) called a Proxy Bidder. These proxies are essentially functions mapping "proposals" (allocations of goods) to prices, e.g., f({2A, -B}) → -5, meaning that the bidder wants $5 for buying two units of A and selling one unit of B. Using formal methods, we turn Proxy Bidders into Expressive Bids that our optimizers can understand. You can see what that looks like here [3]. This approach is dead simple for end users, but it took years of collaborative R&D with our friends and formal methods legends at Imandra [4] to enable.<p>Not everyone needs to write or use Expressive Bids. For common use cases, we're offering pre-canned/forkable Expressive Bids for things like pairs trades and factor neutral portfolios. That aside, users who don't use Expressive Bidding still benefit from those who use it and create unique liquidity that doesn't exist on other trading venues. Our economic mechanism prevents "dark forest" scenarios in which Expressive Bidding has adversarial uses that detract from overall match quality. "Power users" can only benefit those who treat us like a vanilla trading venue—and each other.<p>We make money by charging a small commission in line with other venues ($0.0009) on each share traded. Longer-term, we're excited about a pricing model that balances computational resources used against liquidity contributed and compensates OneChronos based on how much value we add. Specifically, we'll measure how much notional dollar price improvement we generate for the market beyond what's generated by a "vanilla" double auction that we run in parallel (a neat trick enabled by Expressive Bidding–we can run an arbitrary number of auctions with different rulesets in parallel to measure relative performance). This approach aligns our incentives with our customers and eliminates fixed costs (which cause market friction) from trading.<p>Only FINRA registered broker-dealers connect to OneChronos directly. If you work at one, and you're not yet a subscriber, please get in touch. We love talking to both subscribers and their customers, and we'd love to hear from institutional investors looking to leverage OneChronos through their existing broker algo and DMA workflows. Retail customers will eventually access us through brokers that choose to allow it (PFOF is its own thing). In the meantime, stay tuned for other more decentralized asset classes :) You can reach us at info (at) onechronos.com.<p>And we're hiring! If you're passionate about deeply technical problems ranging from mechanism design to applying ML to combinatorial optimization to writing compilers and engineering sophisticated distributed systems to HFT tolerances, get in touch — careers (at) onechronos.com.<p>Steve and I will be online today and would love to talk about our technical challenges, auctions/mechanism design, market structure, and the future of OneChronos.<p>[1] <a href="https://en.wikipedia.org/wiki/Smart_market" rel="nofollow">https://en.wikipedia.org/wiki/Smart_market</a><p>[2] <a href="https://news.stanford.edu/2020/11/19/bid-picture-nobel-prize-winners-explain-auction-theory-collaboration/" rel="nofollow">https://news.stanford.edu/2020/11/19/bid-picture-nobel-prize...</a> - Paul Milgrom, one of the laureates, is the Chair of OneChronos Labs, our research arm.<p>[3] <a href="https://www.onechronos.com/docs/expressive/bidding-guide/#intro-to-bidder-logic" rel="nofollow">https://www.onechronos.com/docs/expressive/bidding-guide/#in...</a><p>[4] <a href="https://www.imandra.ai/" rel="nofollow">https://www.imandra.ai/</a>