Assessment reports>Ethereum and Blast Exchanges>Threat Model>individualDeposit

Function: individualDeposit(address contributor, uint256 amount)

This function emits the Deposit event and transfers the default tokens from the caller to the rabbit on behalf of the contributor.

Inputs

  • contributor

    • Control: Fully controlled by the caller.

    • Constraints: N/A.

    • Impact: The contributor of the deposit.

  • amount

    • Control: Fully controlled by the caller.

    • Constraints: The value must not be smaller than minDeposits[defaultToken], and the caller must have enough tokens to transfer.

    • Impact: The amount to transfer.

Branches and code coverage

Intended branches

  • Transfer the default tokens from the caller to the rabbit.

  • Increase the nextDepositNum by one when the transfer succeeds.

Negative behavior

  • Revert when the amount is smaller than minDeposits[defaultToken].

  • Revert when the transfer fails.

Zellic © 2025Back to top ↑