The function executeWhiskdrawal
of the KittyVault
contract calculates the amount of collateral to be withdrawn based on the ratio of CattyNip to total collateral in the vault. However, if a portion of the collateral is supplied to the Aave protocol, the vault may not have a sufficient balance to complete the withdrawal.
Suppose a user wants to withdraw the collateral that had deposited earlier into the vault. But all the collateral in the vault is supplied to the Aave Pool to earn interest, so the vault balance stand to less than what user wants to withdraw. This will revert the transaction during the withdrawal and thus users will not be able to withdraw their collateral at desired times.
Users may not be able to withdraw their collateral whenever they desire, as the withdrawal may revert due to insufficient balance in the vault. This could lead to user dissatisfaction, disruption of the application's functionality, and potential financial losses for the users.
VScode
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.