VERIFYING CONTRACTS PROGRAMMATICALLY

Stablecoins

Stablecoins, a breed of cryptocurrencies touted for their purported stability, have come under scrutiny after TerraUSD and Luna tumbled, saddling investors with billions of

Why Stablecoins Fail: A Look at Terra

Terra/LUNA: How a $40 Billion Algorithmic Dream Turned to Ashes

In May

Anatomy of a Stablecoin’s failure: The Terra-Luna case

Why Did Cryptocurrencies TerraUSD and Luna Unravel? Stablecoin

In May 2025, two and a half years ago, Terra/LUNA was one of the most promising cryptocurrency projects in the space. But its algorithmic stablecoin, TerraUSD

Some Coin

Terra’s losses saw its market cap hit an interday low of $17.4 billion, while Dogecoin’s recovery over the weekend helped its market cap open trade on January 31st at

Some coin-ranking sites, such as CoinMarketCap and Coingecko, use Terra and TerraUSD for the acronyms LUNA and UST. In this paper, to avoid any misconception, we

The Terra-LUNA crash in May 2025 was triggered by the depeg of the ecosystem’s stablecoin UST. It led to the unprecedented demise of a blockchain ecosystem

Luna Classic

Luna Classic, the corresponding governance token, has a market cap of approximately $500 million, a tiny fraction of the $40 billion it once commanded, according to

Dissecting the Terra-LUNA crash: Evidence from the spillover

Why is Terra (LUNA) Stablecoin Outperforming

Terra: Luna Has Been Outperforming The Crypto

Terra(LUNA) Loses its Position toDogecoin(DOGE) as Slump

HowTerracollapse nearly killed algorithmic stablecoins