Zellic - Audit Reports

Function: `vaultSubscription(uint256 amount)`

Vault-specific subscription with immediate processing.

Inputs

amount
- Control: Full control.
- Constraints: The caller must have VAULT_ROLE, subscriptionPaused must be false, and it can only be called by whitelisted vaults.
- Impact: Amount of collateral to deposit

Branches and code coverage

Intended branches

Whitelisted vaults can subscribe and receive iUSPC immediately.

After setting the mint fee, the iUSPC actually received by the vault has already deducted the fee.

This function can only be successfully called and the expected iUSPC will be received after the vault is set to VAULT_ROLE and is a whitelisted vault.

Negative behavior

Revert if the caller is not VAULT_ROLE.

Revert if the caller is not whitelisted.

Revert if vault is paused.

Verify whether the price returned by pricer.getLatestPrice has expired.

Function: vaultSubscription(uint256 amount)

Inputs

Branches and code coverage

Function: `vaultSubscription(uint256 amount)`