Most stablecoins depend on market-driven mechanisms like arbitrage, over-collateralization, and liquidation rewards to hold their peg, which often succeeds in normal conditions but can collapse in high volatility or crises due to unverified assumptions about user behavior.
While interesting as experiments market driven stablecoins often struggle to contain risk parameters due to unclear edge scenarios.
SigUSD and Gluon, however, begin with mathematical theorems and formal verification, employing theorem provers to strictly demonstrate traits like limited price deviation and resilience to attacks prior to coding, creating a system theory that's fundamentally different from the ground up instead of fixed or patched after issues arise.
By prioritizing this mathematical base, they avoid dependence on shaky market theories, changing breakdowns scenarios like those in algorithmic stablecoins (example UST) with a different level of certainty and assumptions that no other stablecoins atm provide.