Assessment reportsPublic findings
Back to Zellic site
↗
Assessment reports>Spectral Modelers>Threat Model>optInValidator
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: optInValidator()

This allows a validator to opt in.

Branches and code coverage

Negative behavior

  • Should not allow a validator to opt in if they have been kicked. Currently not checked.

  • Should not allow a validator to opt in if they have already opted in.

  • Should not allow an unregistered validator to opt in.

  • Should not allow a validator to opt in if they do not have enough stake.

  • Should now allow a validator to opt in if they have already called registerValidator.

  • Should not allow calling this while the contract is paused.

Zellic © 2024Back to top ↑