Saturn issues USDat, a stablecoin backed 100% by tokenized U.S. treasuries, used for permissionless and instant access to digital credit. The staked version, sUSDat, produces a yield from U.S. treasuries plus dividends of underlying MicroStrategy credit products.

The document linked below describes Certora's security assessment. This included manual code review of all the Solidity contracts in scope as well as formal specification and verification using the Certora Prover. The security properties that were formally proven as well as security issues discovered are detailed in the full document along with the Saturn team's responses.