User can get infinite HealthTokens by calling the updateCountMartenitsaTokensOwner function, as it has no access control.
The updateCountMartenitsaTokensOwner function can be called multiple times adding countMartenitsaTokensOwner to himself, because there is no access control.
Than by calling collectReward the malicious user can get HealthTokens for every 3 requiredMartenitsaTokens.
High because a user can get infinite HealthTokens.
Manual review
Add access control to updateCountMartenitsaTokensOwner function.
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.