The referenced lines are guaranteed to be performed safely as there cannot be more tokens in existence than its supply which in the case of minting is already checked for in the mint function (refer to links 1 and 2), the usd value of a users assets cannot surpass that of the max value of a uint256 (refer to link 3), and the totalCollateralValueToUsd
can be safely unchecked as the multiplication done on the line above it would guarantee no overflow, therefore it is advised to surround these operations with an unchecked block in order to save on gas (refer to link 4).
The contest is live. Earn rewards by submitting a finding.
This is your time to appeal against judgements on your submissions.
Appeals are being carefully reviewed by our judges.