Function: preCollateralizedMint(MintParams params, bytes signature)

This function mints an amount of USDf tokens to the recipient with a signature.

Inputs

• params

  • Control: Fully controlled by the caller.

  • Constraints: N/A.

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

• 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 params.collateralRef is not zero.

  Test coverage

• Check if params.amount is bigger than zero.

  Test coverage

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

  Test coverage

• Check if params.expiry is bigger than block.timestamp.

  Test coverage

• Check if params.nonce is not used.

  Test coverage

• Build signature with MintParams for verification.

  Test coverage

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

  Test coverage

• Mint an amount of params.amount USDf for params.recipient.

  Test coverage

Negative behavior

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

  Negative test

• If params.amount is not bigger than zero, 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 not bigger than block.timestamp, the transaction will be reverted.

  Negative test

• If params.nonce is used, the transaction will be reverted.

  Negative test

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

  Negative test