Assessment reports>TruFin Injective Staker>Threat Model>Message: ExecuteMsg::SetDefaultValidator

Message: ExecuteMsg::SetDefaultValidator

This allows the admin to set a given validator as the new default validator.

Inputs

  • info.sender

    • Validation: The set_default_validator function verifies that the info.sender is the owner.

    • Impact: N/A.

  • new_default_validator_addr

    • Validation: The address is verified to ensure it belongs to a valid validator and that it is enabled.

    • Impact: Default validator gets updated to this address.

Branches and code coverage (including function calls)

Intended branches

  • If new_default_validator_addr is valid, it is updated as the new default validator.

Negative behavior

  • Fail if new_default_validator_addr is not a valid validator address.

Zellic © 2025Back to top ↑