Assessment reports>Polygon Staking>Threat Model>withdraw

Function: withdraw(uint256 _amount, address _receiver)

This function withdraws an amount of LST tokens.

Inputs

  • _amount

    • Control: Fully controlled by the controller.

    • Constraints: N/A.

    • Impact: Amount of tokens to deposit.

  • _receiver

    • Control: Fully controlled by the caller.

    • Constraints: N/A.

    • Impact: Address to receive tokens.

Branches and code coverage

Intended branches

  • Subtract the amount to principalDeposits.

  • Transfer the amount of tokens to the receiver.

Zellic © 2025Back to top ↑