Assessment reports>Yeet>Threat Model>zapInToken0

Function: zapInToken0(SingleTokenSwap swapData, KodiakVaultStakingParams stakingParams, VaultDepositParams vaultParams)

This zaps into the vault using token0 — swaps token0 for token1.

Inputs

  • swapData

    • Control: Fully controlled by the caller.

    • Constraints: N/A.

    • Impact: Information of swapping token0 to token1.

  • stakingParams

    • Control: Fully controlled by the caller.

    • Constraints: stakingParams.kodiakVault must be whitelisted.

    • Impact: Information of staking in the vault.

  • vaultParams

    • Control: Fully controlled by the caller.

    • Constraints: N/A.

    • Impact: Information of depositing into the vault.

Branches and code coverage

Intended branches

  • Check if stakingParams.kodiakVault is added in the whitelist.

Negative behavior

  • stakingParams.kodiakVault is not in the whitelist.

Zellic © 2025Back to top ↑