Assessment reportsPublic findings
Back to Zellic siteBack
↗
Assessment reports>Prosper Omnichain Fungible Token>Threat Model>batchMint
GeneralOverview
Findings
Low (2)
DiscussionCentralization riskMissing upgrade test suitePossible gas optimization
Threat ModelWhat are threat models?
Token.solFunction: batchExecuteBurn(address[] calldata accounts)batchMintFunction: executeBurn(address account)Function: requestBurn(uint256 amount)sendswapTokenFunction: withdrawSwappables(address receiver)
Audit ResultsAssessment Results

Function: batchMint(address[] accounts, uint256[] amounts)

The function mints tokens in a single batch to each address in accounts, according to the corresponding amount in amounts.

Inputs

  • accounts

    • Control: Fully controlled by the caller.

    • Impact: Addresses for minting.

  • amounts

    • Control: Fully controlled by the caller.

    • Impact: Amounts for minting.

Branches and code coverage

Intended branches

  • Check if accounts and amounts's lengths are the same.

  • Mint a batch to each address according to the corresponding amount in amounts.

Negative behavior

  • If accounts and amounts's lengths are different, revert with BatchMint__InputArrayMismatch.

Zellic © 2025Back to top ↑