Zellic - Audit Reports

Function: `vaultRedemption(uint256 amount)`

Vault-specific redemption 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 iUSPC tokens to redeem.

Branches and code coverage

Intended branches

Whitelisted vaults can redeem and receive USDC immediately.

After setting the redemption fee, verify that _getRedemptionFees and $.collateral.safeTransferFrom deduct the fee correctly, and the vault will receive the deducted USDC.

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: vaultRedemption(uint256 amount)

Inputs

Branches and code coverage

Function: `vaultRedemption(uint256 amount)`