Assessment reports>Polygon Staking>Threat Model>unbondVaults

Function: unbondVaults()

This function initiates the unbonding of staked tokens from validator vaults when user withdrawals exceed available liquid funds.

Branches and code coverage

Intended branches

  • Check if there is a vault that is being unbonded.

  • Check if enough time has passed since the last unbonding.

  • Check if there are enough queued withdrawals to cover validator-removal deposits.

Negative behavior

  • Revert transaction if there is not a vault that is being unbonded.

  • Revert transaction if not enough time has passed since the last unbonding.

  • Revert transaction if there are not enough queued withdrawals to cover validator-removal deposits.

Zellic © 2025Back to top ↑