invariant-violation

1 article
Sort: New Top Best
clear filter
0
vulnerability

Iron Bank's CCollateralCapERC20 token fails to enforce the collateralCap invariant during account initialization via initializeAccountCollateralTokens(), allowing the total collateral to exceed the cap and exposing the protocol to liquidation insolvency risks. The vulnerability exists because initialization bypasses the increaseUserCollateralInternal() cap check that other collateral increase operations enforce.

Iron Bank CCollateralCapERC20 0x00e5c0774A5F065c285068170b20393925C84BF3 Puff
trust-security.xyz · Trust · 4 hours ago · details