The bug was in the "YieldFacet" contract that allows VaultUser to easily deposit amount and automatically claimDittoMatchedReward
if (userReward > type(uint80).max) revert Errors.InvalidAmount();
must be
if (userReward > type(uint80).max)type(uint80).sub revert Errors.InvalidAmount();
The impact is cause is underflow in an arithmetic operation which causes a revert in this line :
"userReward" can be bigger than "type(uint80)"
Manual check and vscode
The fix is simple
"userReward" must not be bigger than "type(uint80)"
in other words "type(uint80)" must be the max of itself and "userReward"
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.