Assessment reportsPublic findings
Back to Zellic siteBack
↗
Assessment reports>TruFin Injective Staker>Threat Model>Message: ExecuteMsg::SetMinimumDeposit
GeneralOverview
Findings
Medium (1)
Informational (1)
Threat ModelWhat are threat models?
Injective-staker-contractMessage: ExecuteMsg::AddAgentMessage: ExecuteMsg::AddUserToBlacklistMessage: ExecuteMsg::AddUserToWhitelistMessage: ExecuteMsg::AddValidatorMessage: ExecuteMsg::AllocateMessage: ExecuteMsg::ClaimOwnershipMessage: ExecuteMsg::ClaimMessage: ExecuteMsg::AddUserToWhitelistMessage: ExecuteMsg::CompoundRewardsMessage: ExecuteMsg::DeallocateMessage: ExecuteMsg::DisableValidatorMessage: ExecuteMsg::DistributeAllMessage: ExecuteMsg::SetDistributionFeeMessage: ExecuteMsg::DistributeRewardsMessage: ExecuteMsg::EnableValidatorMessage: ExecuteMsg::PauseMessage: ExecuteMsg::SetPendingOwnerMessage: ExecuteMsg::RemoveAgentMessage: ExecuteMsg::SetDefaultValidatorMessage: ExecuteMsg::SetFeeMessage: ExecuteMsg::SetMinimumDepositMessage: ExecuteMsg::SetTreasuryMessage: ExecuteMsg::StakeToSpecificValidatorMessage: ExecuteMsg::StakeMessage: ExecuteMsg::UnpauseMessage: ExecuteMsg::UnstakeFromSpecificValidatorMessage: ExecuteMsg::Unstake
Audit ResultsAssessment Results

Message: ExecuteMsg::SetMinimumDeposit

This allows the admin to set the minimum INJ amount a user can deposit.

Inputs

  • info.sender

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

    • Impact: N/A.

  • new_min_deposit

    • Validation: The amount is verified to be greater than 1 INJ.

    • Impact: The minimum deposit is set to this value.

Branches and code coverage (including function calls)

Intended branches

  • If the amount is larger than 1 INJ, it is updated in the state.

Negative behavior

  • Fail if the amount is lower than 1 INJ.

Zellic © 2025Back to top ↑