Summary

The purpose of the CollateralRedeemed event in the _redeem_collateral function is to log the details of the collateral redemption whenever a user redeems their collateral.

Vulnerability Details

The CollateralRedeemedevent informs about redeem founds before transfer founds.

Impact

Informational mismatch: The user is informed about the success before the funds are sent.

Tools Used

manual review

Recommendations

Change the order of events: Move this event after the transfer function.