Assessment reports>Spectral Modelers>Threat Model>addStakeToValidator

Function: addStakeToValidator(uint256 amount)

This adds stake to a validator.

Inputs

  • amount

    • Control: Fully controlled by the caller.

    • Constraints: None.

    • Impact: The amount that the validator is staking.

Branches and code coverage

Intended branches

  • Assure that the validator is registered. Currently not performed.

  • Perform the transfer of the amount from the caller to the contract.

  • Increase the currentStake of the validator by the amount.

Negative behavior

  • Should not be callable when the contract is paused.

Zellic © 2024Back to top ↑