congrats on the launch! We talked briefly a while back, and I've been checking in on your page every so often to see when things would finally get rolling. The world needs more mechanism design.
Recently in school I've been thinking a lot about constant-function market makers. it occurs to me that you can think of a constant-function market maker as being kind of like an expressive bid. That is, putting your assets in a CFMM is saying you're willing to make any trade among a bunch of assets subject to F(net amount of A, net amount of B, net amount of C,..., net amount of $) = k for some F. Regular limit orders are a special case.
Do you have a sense of how your expressive bids overlap with these? Can I cook up some expressive bid that's equivalent to putting assets in a CFMM? What would the restrictions on F be to make things work with your solvers?
Hey (I don't want to out your first name here), we should catch up! I'll email you after digging out the inbox.
Proxy Bidders are pure functions that map inputs (market conditions on other venues, metadata) to Expressive Bids in our bidding language (a bounded fragment of linear mixed real integer arithmetic logic—LIRA); certain EBs are CFMMs, and our most general solvers are SMT LIRA.
Recently in school I've been thinking a lot about constant-function market makers. it occurs to me that you can think of a constant-function market maker as being kind of like an expressive bid. That is, putting your assets in a CFMM is saying you're willing to make any trade among a bunch of assets subject to F(net amount of A, net amount of B, net amount of C,..., net amount of $) = k for some F. Regular limit orders are a special case.
Do you have a sense of how your expressive bids overlap with these? Can I cook up some expressive bid that's equivalent to putting assets in a CFMM? What would the restrictions on F be to make things work with your solvers?