Function: possessionProven(uint256 proofSetId, uint256, uint256, uint256 challengeCount)

This function verifies that the caller provides the correct number of challenges and sets provenThisPeriod to true for the given proofSetId.

Inputs

• proofSetId

  • Control: Full control.

  • Constraints: provenThisPeriod[proofSetId] should be false.

  • Impact: The identifier of the proof set.

• challengeCount

  • Control: Full control.

  • Constraints: Cannot be less than getChallengesPerProof().

  • Impact: The number of the provided proofs.

Branches and code coverage

Intended branches

• provenThisPeriod[proofSetId] has already been set to true.

  Test coverage

Negative behavior

• The current period has already been proven.

  Negative test

• challengeCount is less than getChallengesPerProof().

  Negative test

• provingDeadlines[proofSetId] has not been set.

  Negative test

• provingDeadlines[proofSetId] is less than the current block.number.

  Negative test

• The challengeWindow has not started yet.

  Negative test

• The caller is not a trusted PDPVerifier.

  Negative test