Assessment reportsPublic findings
Back to Zellic siteBack
↗
Assessment reports>SP1 Helios>Threat Model>changeGuardian
GeneralOverview
Findings
Critical (1)
Medium (1)
Informational (3)
DiscussionLoss of the guardian role after calling the relinquishGuardian functionSuggestion for gas optimization
Threat ModelWhat are threat models?SP1Helios
SP1Helios.solchangeGuardianrelinquishGuardianupdateupdateLightClientVkeyupdateStorageSlotupdateStorageSlotVkey
Audit ResultsAssessment Results

Function: changeGuardian(address newGuardian)

This function is used to change the guardian of the contract. It is called only by the current guardian.

Inputs

  • newGuardian

    • Control: Arbitrary.

    • Constraints: The new guardian cannot be the zero address.

    • Impact: The new guardian of the contract.

Branches and code coverage

Intended branches

  • Update the guardian with the new address.

Negative behavior

  • Revert if the caller is not the guardian.

  • Revert if the new guardian is the zero address.

Zellic © 2025Back to top ↑