Ballot Aggregation
At the conclusion of voting, all of the ballot encryptions are published in the election record together with the proofs that the ballots are well-formed. Additionally, all of the encryptions of each option are homomorphically combined to form an encryption of the total number of times that option was selected. The encryptions
Important
An election verifier must confirm for each (non-placeholder) option in each contest in the ballot coding file that the aggregate encryption