Function: initForSmartAccount(byte[32][] guardians, TimeFrame[] timeFrames, uint8 recoveryThreshold, uint48 securityDelay)

This function configures the recovery module for a smart account. Can only be called if the module is not already configured for the account.

Inputs

• guardians

  • Control: Arbitrary.

  • Constraints: Length must match timeFrames; entries must be unique and nonzero.

  • Impact: Identifies the guardians.

• timeFrames

  • Control: Arbitrary.

  • Constraints: Length must match guardians; entries must be valid.

  • Impact: Specifies the start and end time when each guardian is active.

• recoveryThreshold

  • Control: Arbitrary.

  • Constraints: Must be at most guardians.length.

  • Impact: Number of guardians required to submit a recovery request.

• securityDelay

  • Control: Arbitrary.

  • Constraints: None.

  • Impact: Security delay before a recovery request is effective.

Branches and code coverage

Intended branches

• Configures the module for the smart account (caller).

  Test coverage

Negative behavior

• Reverts if the module was already initialized.

  Negative test

• Reverts if the array arguments' lengths are mismatched.

  Negative test

• Reverts if recovery threshold is too high.

  Negative test

• Reverts if recovery threshold is zero.

  Negative test

• Reverts if the guardians are not unique.

  Negative test

• Reverts if a guardian is zero.

  Negative test

• Reverts if a time frame is invalid or expired.

  Negative test