Contract - Auction.sol
The buy function is as follow -
getPrice()
The zuno decimal will be 18 by default (as ERC20 decimal function isn't overridden). It means zeno amount being minted to buyer should be in 18 decimal precision, it's not done is getPrice() as well.
User is getting the zuno amount with USDC 8 decimals, but he should be given in 18 decimals.
As the mint amount is not scaled to 18 decimals, user will get very-very less zuno amount.
Loss of fund to user
Manual
Scale to 18 decimals, before minting zuno amount to user.
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.