[
    {
        "id": "01.01",
        "name": "VerifySetupCompleteness",
        "algorithm": "Section 3.1",
        "period": "setup",
        "category": "completness",
        "description": "The required elements for the setup verification, along with their path, are present"
    },
    {
        "id": "02.01",
        "name": "VerifySignatureCantonConfig",
        "algorithm": "Verification 2.01",
        "period": "setup",
        "category": "authenticity",
        "description": "The signature of ElectionEventConfiguration is valid"
    },
    {
        "id": "02.02",
        "name": "VerifySignatureSetupComponentPublicKeys",
        "algorithm": "Verification 2.02",
        "period": "setup",
        "category": "authenticity",
        "description": "The signature of SetupComponentPublicKeysPayload is valid"
    },
    {
        "id": "02.03",
        "name": "VerifySignatureControlComponentPublicKeys",
        "algorithm": "Verification 2.03",
        "period": "setup",
        "category": "authenticity",
        "description": "The signature of ControlComponentPublicKeysPayload is valid"
    },
    {
        "id": "02.04",
        "name": "VerifySignatureSetupComponentTallyData",
        "algorithm": "Verification 2.04",
        "period": "setup",
        "category": "authenticity",
        "description": ""
    },
    {
        "id": "02.05",
        "name": "VerifySignatureElectionEventContext",
        "algorithm": "Verification 2.05",
        "period": "setup",
        "category": "authenticity",
        "description": ""
    },
    {
        "id": "03.01",
        "name": "VerifyEncryptionGroupConsistency",
        "algorithm": "Verification 3.01",
        "period": "setup",
        "category": "consistency",
        "description": "All encryption group parameters are identical"
    },
    {
        "id": "03.02",
        "name": "VerifySetupFileNamesConsistency",
        "algorithm": "",
        "period": "setup",
        "category": "consistency",
        "description": ""
    },
    {
        "id": "03.03",
        "name": "VerifyCCRChoiceReturnCodesPublicKeyConsistency",
        "algorithm": "",
        "period": "setup",
        "category": "consistency",
        "description": ""
    },
    {
        "id": "03.04",
        "name": "VerifyCCMElectionPublicKeyConsistency",
        "algorithm": "",
        "period": "setup",
        "category": "consistency",
        "description": ""
    },
    {
        "id": "03.05",
        "name": "VerifyCCMAndCCRSchnorrProofsConsistency",
        "algorithm": "",
        "period": "setup",
        "category": "consistency",
        "description": ""
    },
    {
        "id": "03.06",
        "name": "VerifyChoiceReturnCodesPublicKeyConsistency",
        "algorithm": "",
        "period": "setup",
        "category": "consistency",
        "description": ""
    },
    {
        "id": "03.07",
        "name": "VerifyElectionPublicKeyConsistency",
        "algorithm": "",
        "period": "setup",
        "category": "consistency",
        "description": ""
    },
    {
        "id": "03.08",
        "name": "VerifyPrimesMappingTableConsistency",
        "algorithm": "",
        "period": "setup",
        "category": "consistency",
        "description": ""
    },
    {
        "id": "03.09",
        "name": "VerifyElectionEventIdConsistency",
        "algorithm": "",
        "period": "setup",
        "category": "consistency",
        "description": ""
    },
    {
        "id": "03.10",
        "name": "VerifyVerificationCardSetIdsConsistency",
        "algorithm": "",
        "period": "setup",
        "category": "consistency",
        "description": ""
    },
    {
        "id": "03.11",
        "name": "VerifyFileNameVerificationCardSetIdsConsistency",
        "algorithm": "",
        "period": "setup",
        "category": "consistency",
        "description": ""
    },
    {
        "id": "03.12",
        "name": "VerifyVerificationCardIdsConsistency",
        "algorithm": "",
        "period": "setup",
        "category": "consistency",
        "description": ""
    },
    {
        "id": "03.13",
        "name": "VerifyTotalVotersConsistency",
        "algorithm": "",
        "period": "setup",
        "category": "consistency",
        "description": ""
    },
    {
        "id": "03.14",
        "name": "VerifyNodeIdsConsistency",
        "algorithm": "",
        "period": "setup",
        "category": "consistency",
        "description": ""
    },
    {
        "id": "03.15",
        "name": "VerifyChunkConsistency",
        "algorithm": "",
        "period": "setup",
        "category": "consistency",
        "description": ""
    },
    {
        "id": "04.01",
        "name": "VerifySetupIntegrity",
        "algorithm": "",
        "period": "setup",
        "category": "integrity",
        "description": ""
    },
    {
        "id": "05.01",
        "name": "VerifyEncryptionParameters",
        "algorithm": "Verification 5.01",
        "period": "setup",
        "category": "evidence",
        "description": "The encryption group parameters cannot be regenerated from seed and are the same"
    },
    {
        "id": "05.02",
        "name": "VerifySmallPrimeGroupMembers",
        "algorithm": "",
        "period": "setup",
        "category": "evidence",
        "description": ""
    },
    {
        "id": "05.03",
        "name": "VerifyVotingOptions",
        "algorithm": "",
        "period": "setup",
        "category": "evidence",
        "description": ""
    },
    {
        "id": "05.04",
        "name": "VerifySchnorrProofs",
        "algorithm": "",
        "period": "setup",
        "category": "evidence",
        "description": ""
    },
    {
        "id": "05.21",
        "name": "VerifySignatureVerificationDataAndCodeProofs",
        "algorithm": "",
        "period": "setup",
        "category": "evidence",
        "description": ""
    },
    {
        "id": "06.01",
        "name": "VerifyTallyCompleteness",
        "algorithm": "",
        "period": "tally",
        "category": "completness",
        "description": ""
    },
    {
        "id": "07.01",
        "name": "VerifySignatureControlComponentBallotBox",
        "algorithm": "",
        "period": "tally",
        "category": "authenticity",
        "description": ""
    },
    {
        "id": "07.02",
        "name": "VerifySignatureControlComponentShuffle",
        "algorithm": "",
        "period": "tally",
        "category": "authenticity",
        "description": ""
    },
    {
        "id": "07.03",
        "name": "VerifySignatureTallyComponentShuffle",
        "algorithm": "",
        "period": "tally",
        "category": "authenticity",
        "description": ""
    },
    {
        "id": "07.04",
        "name": "VerifySignatureTallyComponentVotes",
        "algorithm": "",
        "period": "tally",
        "category": "authenticity",
        "description": ""
    },
    {
        "id": "07.05",
        "name": "VerifySignatureTallyComponentDecrypt",
        "algorithm": "",
        "period": "tally",
        "category": "authenticity",
        "description": ""
    },
    {
        "id": "07.06",
        "name": "VerifySignatureTallyComponentEch0222",
        "algorithm": "",
        "period": "tally",
        "category": "authenticity",
        "description": ""
    },
    {
        "id": "07.07",
        "name": "VerifySignatureTallyComponentEch0110",
        "algorithm": "",
        "period": "tally",
        "category": "authenticity",
        "description": ""
    },
    {
        "id": "08.01",
        "name": "VerifyConfirmedEncryptedVotesConsistency",
        "algorithm": "",
        "period": "tally",
        "category": "consistency",
        "description": ""
    },
    {
        "id": "08.02",
        "name": "VerifyCiphertextsConsistency",
        "algorithm": "",
        "period": "tally",
        "category": "consistency",
        "description": ""
    },
    {
        "id": "08.03",
        "name": "VerifyPlaintextsConsistency",
        "algorithm": "",
        "period": "tally",
        "category": "consistency",
        "description": ""
    },
    {
        "id": "08.04",
        "name": "VerifyVerificationCardIdsConsistency",
        "algorithm": "",
        "period": "tally",
        "category": "consistency",
        "description": ""
    },
    {
        "id": "08.05",
        "name": "VerifyBallotBoxIdsConsistency",
        "algorithm": "",
        "period": "tally",
        "category": "consistency",
        "description": ""
    },
    {
        "id": "08.06",
        "name": "VerifyFileNameBallotBoxIdsConsistency",
        "algorithm": "",
        "period": "tally",
        "category": "consistency",
        "description": ""
    },
    {
        "id": "08.07",
        "name": "VerifyNumberConfirmedEncryptedVotesConsistency",
        "algorithm": "",
        "period": "tally",
        "category": "consistency",
        "description": ""
    },
    {
        "id": "08.08",
        "name": "VerifyElectionEventIdConsistency",
        "algorithm": "",
        "period": "tally",
        "category": "consistency",
        "description": ""
    },
    {
        "id": "08.09",
        "name": "VerifyNodeIdsConsistency",
        "algorithm": "",
        "period": "tally",
        "category": "consistency",
        "description": ""
    },
    {
        "id": "08.10",
        "name": "VerifyFileNameNodeIdsConsistency",
        "algorithm": "",
        "period": "tally",
        "category": "consistency",
        "description": ""
    },
    {
        "id": "08.11",
        "name": "VerifyEncryptionGroupConsistency",
        "algorithm": "",
        "period": "tally",
        "category": "consistency",
        "description": ""
    },
    {
        "id": "09.01",
        "name": "VerifyTallyIntegrity",
        "algorithm": "",
        "period": "tally",
        "category": "integrity",
        "description": ""
    },
    {
        "id": "10.01",
        "name": "VerifyOnlineControlComponents",
        "algorithm": "",
        "period": "tally",
        "category": "evidence",
        "description": ""
    },
    {
        "id": "10.02",
        "name": "VerifyTallyControlComponent",
        "algorithm": "",
        "period": "tally",
        "category": "evidence",
        "description": ""
    }
]