User can delegate boost of amount equal to the user's veRAACToken balance to several users. This leads to total boost amount exceeding the user's veRAACToken token balance.
Function BoostController::delegateBoost checks that the delegation to to address does not exist. However, it does not check how much the user has already delegated to other users. This allows the scenario below:
User has veRAACToken balance of 1000
The user delegates 1000 to user B
The user delegates 1000 to user C
Now the user has delegated 2000, although the user's balance is only 1000
User can make total boost greater than it must be.
Manual review
Consider to count already delegated amount and check that users do not exceed their balance when delegate.
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.