TheIronMan Finance Smart Contract Audit

Summary

TheIronMan Finance is a project that aims to create a synthetic protocol and support a synthetic asset market. TheIronMan Finance uses a Collateral Ratio (CR) for minting and redeeming TheIronMan’s synths. There will be a minimum CR set by governance for respective synths. The CR is used by the minting and redeeming functions. It is displayed as a percentage. The ratio shows what percentage of IMT is needed in order to mint or redeem a CORE token. In the case of COREX trading above the value of CORE, a user can mint the synth token through the protocol, using the value of 1 CORE token for 1 synth token, and then sell the synth token on the open market. Over a short time period the profitable arb opportunity will subside—the prices will converge. TheIronMan Finance contract inherits the ERC20, SafeERC20, Context, Ownable, ReentrancyGuard, Address, IERC20, Math, SafeMath, Initializable standard smart contracts from the OpenZeppelin library. TheIronMan Finance contract inherits the IUniswapV2Pair, IUniswapV2Router02 standard smart contracts from the uniswap library. These OpenZeppelin and uniswap contracts are considered community-audited and time-tested, and hence are not part of the audit scope.