Function: callerFundedMint(MintParams params, uint256 depositAmount, bytes signature)

This function mints an amount of USDf tokens for the recipient, calculated based on the token price.

Inputs

• params

  • Control: Fully controlled by the caller.

  • Constraints: N/A.

  • Impact: Struct of MintParams that has information for minting.

• depositAmount

  • Control: Fully controlled by the caller.

  • Constraints: N/A.

  • Impact: Amount of tokens to deposit.

• signature

  • Control: Fully controlled by the caller.

  • Constraints: The address recovered using the generated hash and corresponding signature must possess the MINTER_ROLE.

  • Impact: Bytes of signature.

Branches and code coverage

Intended branches

• Check if the caller is equal to params.caller.

  Test coverage

• Check if depositAmount is not zero.

  Test coverage

• Check if depositAmount is smaller than params.maxAmount.

  Test coverage

• Check if params.recipient is not the zero address.

  Test coverage

• Check if params.expiry is bigger than block.timestamp to confirm the transaction is not expired.

  Test coverage

• Check that the nonce has not been used before.

  Test coverage

• Check if the recovered address using the signature has BACKEND_SIGNER_ROLE.

  Test coverage

• Transfer collateral to treasury.

  Test coverage

• Calculate mint amount with precise scaling and mint an amount of USDf.

  Test coverage

Negative behavior

• If the caller is not equal to params.caller, the transaction will be reverted.

  Negative test

• If depositAmount is zero, the transaction will be reverted.

  Negative test

• If depositAmount is bigger than or equal to params.maxAmount, the transaction will be reverted.

  Negative test

• If params.recipient is the zero address, the transaction will be reverted.

  Negative test

• If params.expiry is smaller than or equal to block.timestamp, the transaction will be reverted.

  Negative test

• If the nonce has been used before, the transaction will be reverted.

  Negative test

• If the recovered address using the signature does not have BACKEND_SIGNER_ROLE, the transaction will be reverted.

  Negative test