The queued withdrawers potentially can not withdraw queued assets if the owner calls PriorityPool#setWithdrawalPool() improperly.
The function PriorityPool#setWithdrawalPool() allows owner to update withdrawalPool address without enforcing all queued withdrawals are finalized. This could potentially cause queued withdrawers can not withdraw funds if the owner change the withdrawalPool address without checking the queued withdrawals fully finalized or not.
After withdrawal pool address is updated, the queued withdrawals in the old withdrawal pool can not be finalized through either functions WithdrawalPool#deposit() or WithdrawalPool#performUpkeep().
So the queued withdrawers can not withdraw funds because queued withdrawals in the old withdrawalPool are not finalized
Add the test below to the test file priority-pool.test.ts
Queued withdrawers can not withdraw funds
Manual
Enforce queued withdrawals are finalized in the function setWithdrawalPool()
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.