Scantegrity II post-Election Audit Version 1.0. written by Filip Zagorski Audit start: Sun Nov 08 20:12:39 CET 2009 Path set to: scantegrity.org/svn/data/takoma-nov3-2009/PUBLIC/PUBLIC/ward4/ Step 1. Reading data from: ElectionSpec.xml File hash: 26431928c2b279ab5ce3dd80121253e9248dd2f4 Number of questions: 2 Reading question's definitions Question id: 1 :: type: rank :: max answers: 2 :: no of answers: 2 Question id: 0 :: type: rank :: max answers: 3 :: no of answers: 3 Step 2. Reading data from: MeetingOneIn.xml File hash: 1983012f84f3705406935851757e036f74537ac7 Election constant: VFBNRDNOT1YwOXdhcmQ0IA== Number of ballots: 5000 Number of D-tables: 40 Reading complete Step 3. Reading data from: MeetingOneOut.xml File hash: 44679c49318ff3de066f349e411fef400dd527b3 Reading commitments c1, c2 into memory (5000 total) #################### Reading commitments cl, cr into memory (800000 total) #################### Reading from the file completed Step 4. Reading data from: MeetingTwoIn.xml File hash: 45d59993b931b0570339e7c5a9f61dce811d8c1c Reading id's of ballots to be opened: Reading from the file completed Step 5. Reading data from: MeetingTwoOut.xml File hash: 3bd294c002c50ab8f78a614cda2bd597fc2e9519 Verification of commitments to p1 and p2: ########## Verification of commitments to p1 and p2 succeeded Verification of commitments to d2 and d4: ############################ Verification of commitments to d2 and d4 succeeded d2 + d4 = p2 + p1 Reading from the file completed Step 6. Reading data from: MeetingThreeIn-Provisional-Manual.xml File hash: fdd35e3039082a7202402684942f8a40b23f28e6 Reading id's of ballots to be opened: Reading from the file completed Step 7. Reading data from: MeetingThreeOut-Provisional-Manual.xml File hash: edbf8054fd6ada85891097fec857a8af9cd7d965 Reading d3 and r Reading from the file completed Step 8. Reading data from: MeetingTwoOutCommitments.xml File hash: b87f42562a7734f3f4bac4348ba83d66df9de236 Reading commitments to ballots Reading from the file completed Step 9. Reading data from: MeetingThreeOutCodes-Provisional-Manual.xml File hash: b17432d162778ca1e0d827f6970dc2188e22f804 Verifying commitments to ballots Reading from the file completed Step 10. Reading data from: MeetingFourIn.xml File hash: cf2fca46ac1dfeb48af7f43f2b861f6e686c9c37 Reading which sides should be opened Reading from the file completed Step 11. Reading data from: MeetingFourOut.xml File hash: 0db5580a85566edacd6219943917f122e55a7b53 Verification of correctness of p3 and d3: ############## Verification of commitments to d2 and d4 succeeded p3 + d2 = d3 and d3 + d4 = r for all rows requested Reading from the file completed Step 12. Reading data from: PrintAuditBallots.xml File hash: c951619d363aa5db19cf9ad795b40e5519f618cc Verifying commitments to ballots Reading from the file completed Step 13. Reading data from: PrintAuditMixnet.xml File hash: c35eff3fb010a5e47ac12a874829f8b0763b2539 Verification of commitments to p1 and p2: ########## Verification of commitments to p1 and p2 succeeded Verification of commitments to d2 and d4: ############################ Verification of commitments to d2 and d4 succeeded d2 + d4 = p2 + p1 Reading from the file completed Step 14. Reading data from: SpoiledBallotsPid.xml File hash: 35c749ebe920a547a304159f560d086ad0c3b4ab Reading id's of ballots that were spoiled Reading from the file completed Audit end: Sun Nov 08 20:13:20 CET 2009 Audit last: 42 sec. post-Election Audit result: OK