Assessment reportsPublic findings
Back to Zellic site
↗
Assessment reports>Spectral Modelers>Threat Model>emergencyOptOutValidator
GeneralOverview
Findings
Critical (1)
High (2)
Medium (3)
Low (1)
Informational (1)
DiscussionReturn of staked tokensInsufficient testingMissing zero-address check in `setAdmin`
Threat ModelWhat are threat models?BeaconProxyDeployer.solCompetition.solCompetitionFactory.sol
Modeler.solZKMLChallengeModeleraddStakeToModeleraddStakeToValidatoremergencyOptOutValidatorgiveChallengeToModelerkickModeleroptInModeleroptInValidatoroptOutModeleroptOutValidatorpostGradedprovideDrandProofregisterModelerregisterValidatorreplaceOptOutTopNModelerrespondToChallengerespondToZKMLChallengesetModelerNetPerformanceResultAndUpdatesetNextRandSlotupdateModel
ServiceAgreement.sol
Audit ResultsSummary

Function: emergencyOptOutValidator(address _validator)

This allows a validator to emergency opt out.

Inputs

  • _validator

    • Control: Fully controlled by the caller.

    • Constraints: Checked that the validator is registered.

    • Impact: The validator to be opted out.

Branches and code coverage

Intended branches

  • Assure that the validator has not already opted out. Currently not performed.

  • Assure that the validator can no longer perform any actions after opting out. Currently not performed.

  • Assure that the validator is registered. Currently not performed.

Negative behavior

  • Should not be callable by anyone other than a competition contract.

Zellic © 2024Back to top ↑