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

This allows modelers to opt out.

Branches and code coverage

Intended branches

  • Reset the medianPerformanceResults of the modeler. Currently not performed.

  • Reset the modelerSubmissionBlock of the modeler. Currently not performed.

  • Assure that the modeler is registered.

  • Assure that the modeler has not already opted out.

  • Assure that the modeler has not already begun the opt-out process.

  • Update the optOutTime of the modeler to the current time plus one day.

  • Transfer the modeler's stake back to them.

Negative behavior

  • Should not allow a top N modeler to opt out. Currently not checked.

Zellic © 2024Back to top ↑