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 US treasuries plus dividends of underlying MicroStrategy credit products. Certora performed an audit of the Solidity code implementing them and found no high-severity security issues. The issues that were found are detailed along with Saturn's responses in the report below.