The isPermanentRollup
pre-conditions are validated in AdminFacet.makePermanentRollup
but not in AdminFacet.forwardedBridgeMint
.
The function AdminFacet.makePermanentRollup
includes checks to ensure that the isPermanentRollup
pre-conditions are met before proceeding. However, these checks are missing in the AdminFacet.forwardedBridgeMint
function, which can lead to inconsistent state when AdminFacet.forwardedBridgeMint
is executed with invalid input.
Without validating the isPermanentRollup
pre-conditions in AdminFacet.forwardedBridgeMint
, the contract may enter an invalid state or exhibit unexpected behavior if executed with invalid input.
Code review.
Add the necessary s.isPermanentRollup
pre-condition checks in the AdminFacet.forwardedBridgeMint
function to ensure consistency and prevent potential issues.
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.