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

This allows a modeler to opt in.

Branches and code coverage

Intended branches

  • Assure that the modeler is registered.

  • Assure that the modeler has enough stake.

  • Update the optOutTime of the modeler to the max uint256.

Negative behavior

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

  • Should not allow modeler to opt in if they have already opted in. Currently not checked.

Zellic © 2024Back to top ↑