Tether is a blockchain-based cryptocurrency whose cryptocoins in circulation are backed by an equivalent amount of traditional fiat currencies, like the dollar, the euro or the Japanese yen, which are held in a designated bank account.
This audit report summarises the smart contract verification service requested by Tether. The goal of this security audit is to guarantee that the audited smart contracts are robust enough to avoid any potential security loopholes