[
{
"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": "VerifyNodeIdsConsistency",
"algorithm": "",
"period": "setup",
"category": "consistency",
"description": ""
},
{
"id": "03.03",
"name": "VerifyFileNameNodeIdsConsistency",
"algorithm": "",
"period": "setup",
"category": "consistency",
"description": ""
},
{
"id": "03.04",
"name": "VerifyElectionEventIdConsistency",
"algorithm": "",
"period": "setup",
"category": "consistency",
"description": ""
},
{
"id": "03.05",
"name": "VerifyVerificationCardSetIdsConsistency",
"algorithm": "",
"period": "setup",
"category": "consistency",
"description": ""
},
{
"id": "03.06",
"name": "VerifyFileNameVerificationCardSetIdsConsistency",
"algorithm": "",
"period": "setup",
"category": "consistency",
"description": ""
},
{
"id": "03.07",
"name": "VerifyVerificationCardIdsConsistency",
"algorithm": "",
"period": "setup",
"category": "consistency",
"description": ""
},
{
"id": "03.08",
"name": "VerifyCCRChoiceReturnCodesPublicKeyConsistency",
"algorithm": "",
"period": "setup",
"category": "consistency",
"description": ""
},
{
"id": "03.09",
"name": "VerifyCCMElectionPublicKeyConsistency",
"algorithm": "",
"period": "setup",
"category": "consistency",
"description": ""
},
{
"id": "03.10",
"name": "VerifyCCMAndCCRSchnorrProofsConsistency",
"algorithm": "",
"period": "setup",
"category": "consistency",
"description": ""
},
{
"id": "03.11",
"name": "VerifyChoiceReturnCodesPublicKeyConsistency",
"algorithm": "",
"period": "setup",
"category": "consistency",
"description": ""
},
{
"id": "03.12",
"name": "VerifyElectionPublicKeyConsistency",
"algorithm": "",
"period": "setup",
"category": "consistency",
"description": ""
},
{
"id": "03.13",
"name": "VerifyPrimesMappingTableConsistency",
"algorithm": "",
"period": "setup",
"category": "consistency",
"description": ""
},
{
"id": "03.14",
"name": "VerifyTotalVotersConsistency",
"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": "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": "VerifySignatureTallyComponentEch0222",
"algorithm": "",
"period": "tally",
"category": "authenticity",
"description": ""
},
{
"id": "08.01",
"name": "VerifyEncryptionGroupConsistency",
"algorithm": "",
"period": "tally",
"category": "consistency",
"description": ""
},
{
"id": "08.02",
"name": "VerifyNodeIdsConsistency",
"algorithm": "",
"period": "tally",
"category": "consistency",
"description": ""
},
{
"id": "08.03",
"name": "VerifyFileNameNodeIdsConsistency",
"algorithm": "",
"period": "tally",
"category": "consistency",
"description": ""
},
{
"id": "08.04",
"name": "VerifyElectionEventIdConsistency",
"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": "VerifyVerificationCardIdsConsistency",
"algorithm": "",
"period": "tally",
"category": "consistency",
"description": ""
},
{
"id": "08.08",
"name": "VerifyConfirmedEncryptedVotesConsistency",
"algorithm": "",
"period": "tally",
"category": "consistency",
"description": ""
},
{
"id": "08.09",
"name": "VerifyCiphertextsConsistency",
"algorithm": "",
"period": "tally",
"category": "consistency",
"description": ""
},
{
"id": "08.10",
"name": "VerifyPlaintextsConsistency",
"algorithm": "",
"period": "tally",
"category": "consistency",
"description": ""
},
{
"id": "08.11",
"name": "VerifyNumberConfirmedEncryptedVotesConsistency",
"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": ""
}
]