Assessment reports>RabbitX>Threat Model>individualDeposit

Function: individualDeposit(address contributor, uint256 amount)

This function is for depositing the paymentToken to the rabbit.

Inputs

  • contributor

    • Control: Completely controlled by the caller.

    • Constraints: None.

    • Impact: The address of the contributor to emit the Deposit event as.

  • amount

    • Control: Completely controlled by the caller.

    • Constraints: The value must not be smaller than MIN_DEPOSIT, and the caller must have enough paymentToken to transfer.

    • Impact: The amount to transfer.

Branches and code coverage

Intended branches

  • Transfer the paymentToken from msg.sender to the rabbit.

  • Increase nextDepositId when the transfer succeeds.

Negative behavior

  • Revert when the amount is smaller than MIN_DEPOSIT.

  • Revert when the transfer fails.

Zellic © 2025Back to top ↑