Tanya

Djed Stablecoin on EVM Blockchains

Reliable Formally Verified Decentralized Crypto-Backed Stablecoins