There is a lack of safe downcasting used throughout the protocol. This can potentially result in overflows during edge cases, which should not be allowed.
In the BridgeRouterFacet there is the following line of code:
The return value of deposit
is uint256
, but we downcast it to uint88
, which is not safe.
Overflows during downcasting can result in invalid logic being run.
Manual review
When downcasting use a library which enforces safe downcasting to ensure there are no overflows.
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.