Function: onSlash(address network, address operator, uint256 slashedAmount, uint48 captureTimestamp, byte[] hints)

This function is called when a slash occurs.

Inputs

• network

  • Control: Completely controlled by the caller.

  • Constraints: N/A.

  • Impact: Address of the network.

• operator

  • Control: Completely controlled by the caller.

  • Constraints: N/A.

  • Impact: Address of the operator.

• slashedAmount

  • Control: Completely controlled by the caller.

  • Constraints: N/A.

  • Impact: Amount of the collateral slashed.

• captureTimestamp

  • Control: Completely controlled by the caller.

  • Constraints: N/A.

  • Impact: Time point when the stake was captured.

• hints

  • Control: Completely controlled by the caller.

  • Constraints: N/A.

  • Impact: Hints for the checkpoints' indexes.

Branches and code coverage (including function calls)

Intended branches

• Hook is called if it is set.

  Checked

Negative behavior

• Reverts if not called by the slasher.

  Checked

• Reverts if slashedAmount is more than the slashable amount for the given operator.

  Unchecked