Assessment reportsPublic findings
Back to Zellic siteBack
↗
Assessment reports>SP1 Helios>Threat Model>updateLightClientVkey
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: updateLightClientVkey(byte[32] newVkey)

This function is used to update the verification key for the SP1 Helios light-client program. It is called only by the guardian of the contract.

Inputs

  • newVkey

    • Control: Arbitrary.

    • Constraints: None.

    • Impact: The new verification key for the SP1 Helios light-client program.

Branches and code coverage

Intended branches

  • Update the light-client verification key with the new value.

Negative behavior

  • Revert if the caller is not the guardian.

Zellic © 2025Back to top ↑