likeUser::LikeRegistry.sol
requires users to deposit 1 eth or above. The function fails to update the user balance which leads wrong accounting in calculation of totalFees.
Poc
the above echidna would always return false, same as below
leads to wrong calculation of totalFees, reward and other values tat depend on the userbalances
manual review
userBalances should be updated when they deposit funds
Likelihood: High, always. Impact: High, loss of funds
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.