According to the documents HealthToken is defined as below:
"HealthToken is an ERC-20 token with additional functionality. The primary purpose of this token is to serve as a reward mechanism for participants who have more than 3 MartenitsaTokens. For every 3 different MartenitsaTokens they receive 1 HealthToken. This token is also a reward for the winner of the voting. These should be the two eligible ways to receive a HealthToken in this protocol."
But in reality HealthToken can be transferred with transfer() function.
HealthToken is used to join the event and become a producer once it transferred receiving party can join the events.
foundry
vs code
It's recommended to overwrite the transfer function to avoid being used.
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.