Zellic - Audit Reports

This function overrides ERC4626 _deposit to add donation attack protection.

_caller
- Control: Full control.
- Constraints: None.
- Impact: People whose underlying assets were taken away.
_receiver
- Control: Full control.
- Constraints: None.
- Impact: People who receive shares.
_assets
- Control: Full control.
- Constraints: None.
- Impact: The amount of underlying token managed by the Vault. Has units defined by the corresponding EIP-20 contract.
_shares
- Control: Full control.
- Constraints: None.
- Impact: The amount of tokens in the vault. Has a ratio of underlying assets exchanged on mint/deposit/withdraw/redeem (as defined by the Vault).

Intended branches

Ensure that assets are safely transferred from the caller to the vault and mint an equivalent share for the recipient.

When multiple different users make consecutive deposits, the vault status remains unchanged and the shares are not misallocated.

The exchange rate calculation was accurate across various deposit amounts, and the overall exchange ratio remained stable.

Negative behavior

Revert if the vault is paused.

Revert if a small non-zero amount of shares remain after _deposit.