Antithesis: People trust centralized lenders/exchanges with fiat backed stablecoins
Synthesis: @Libra_'s new ≋LBR design *is* LIBOR
But can they do better than copying IMF SDR weights?
Yes! 👇🏾
Eurodollars represent dollar deposits held in foreign banks.
There are a number of reasons people outside of the US want dollars (e.g. to buy oil).
Foreign banks charge extra interest for procuring & holding USD for you — an interest spread!
And eurodollar futures are the most traded product on CME
(Note: @ChiangRei and I used to trade the Eurodollar curve)
More:
unexpected-values.com/crypto-dollars/
@Libra_ users end up holding basis risk — they buy ≋LBR with local currency and subject to differing lock-up windows and liquidation conditions that depend on the currency they buy ≋LBR with

LIBOR = IR that banks charge each other for borrowing from each other
∴ ≋LBR ~ LIBOR + Collateral
Can we make this more fair and market-driven, avoiding the politics of weight selection?
Yes — by, surprisingly, turning to DeFi!
OTOH: Building a CME quality matching engine is impossible to do on a blockchain?
Nope — const. function market makers are *good* for rates!

Each basket of stablecoins mints a synthetic asset — basically ≋LBR — and the IR charged for borrowing this pool is like LIBOR
But there are no human weight choices here!
Can we just use the @CurveFinance curve, implemented in a @LibraDev Move contract? No!
Unlike Curve, which only has USD coins that have the same mean ($1), ≋LBR has other risks:
1. Basis risk — Can I redeem for fiat?
2. FX risk — EUR went from $1.50 to $1, take a loss
3. Quanto risk — Should I charge more interest paid in ≋LBR vs. USD?
1. AMM curve change with FX prices
2. Fees change with prices
3. Map 'impermanence loss' to Basis + FX + Quanto and hedge it out
Does this look like existing AMMs? No!
Unfortunately, Libra's risks don't vary geometrically w/ lending supply — can be 'sharp' default to 0 regime when redemption ≋LBR is banned/censored.
Math: sums of x^a y^b are bad at approximating max(ε, x^a y^b)
Nice thing about Libra's CFMM constraints: They're convex!
Lots of ReLU constraints — and as @GuilleAngeris and I showed, you can construct curves that respect these.
P.S. @CeloOrg has a CFMM!