The ERC20ToGenerateNftFraccion
contract's mint function lacks access control, allowing any user to mint tokens arbitrarily. This vulnerability could lead to unauthorized token creation and manipulation of the NFT fraction system.
The ERC20ToGenerateNftFraccion
contract's mint function is public and lacks access controls. While the TokenDivider
contract creates new instances of ERC20ToGenerateNftFraccion
and mints tokens during the divideNft
function, the mint function itself remains accessible to anyone.
Unauthorized token minting leading to token supply manipulation
Devaluation of legitimate NFT fractions
Manual code review
Performing formal verification with Quint
Add access control to the mint function:
Pass the TokenDivider
contract address during ERC20 token deployment:
Any person can mint the ERC20 token generated in representation of the NFT
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.