In updateUserBoost() from BoostController.sol it updates the newboost of the user, but sets the workingSupply = user newBoost
When updating the user boost it also updates the workingSupply of the pool, however it shouldn't newBoost of the user to be equal to the workingSupply of the pool, it should accumulate instead of being directly assigned:
workignSupply is not working correctly and can revert in RemoveBoostDelegation, because of this
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.