Assessment reports>Symbiotic>Threat Model>vetoSlash

Function: vetoSlash(uint256 slashIndex)

This function vetoes a slash with a given slash index.

Inputs

  • slashIndex

    • Control: Completely controlled by the caller.

    • Constraints: Must be a valid index in the slashRequests array.

    • Impact: Index of the slash request.

Branches and code coverage (including function calls)

Intended branches

  • Vetoed shares of a request are incremented by the caller's resolver shares.

  • Request is marked completed if vetoed shares reach shares base.

Negative behavior

  • Reverts if the slash index is invalid.

  • Reverts if the request is already completed.

  • Reverts if the user has already vetoed the request.

  • Reverts if the veto period has ended.

Zellic © 2025Back to top ↑