Function: updateStorageSlotVkey(byte[32] newVkey)

This function is used to update the verification key for the SP1 Helios storage-slot proof 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 storage-slot proof program.

Branches and code coverage

Intended branches

• Update the storage-slot proof verification key with the new value.

  Test coverage

Negative behavior

• Revert if the caller is not the guardian.

  Negative test