Scantegrity II post-Election Audit Version 1.0. written by Filip Zagorski Audit start: Sun Nov 08 20:13:20 CET 2009 Path set to: scantegrity.org/svn/data/takoma-nov3-2009/PUBLIC/PUBLIC/ward5/ 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: ab90f2a7c850d9f3a81e2ecd1bbb9da6169bd577 Election constant: VFBNRDNOT1YwOXdhcmQ1IA== Number of ballots: 5000 Number of D-tables: 40 Reading complete Step 3. Reading data from: MeetingOneOut.xml File hash: 1ca7973d8d8fcef65299cccab9aa14381772ff20 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: c848141539ed590158f48841cea2e79ff07c2d27 Reading id's of ballots to be opened: Reading from the file completed Step 5. Reading data from: MeetingTwoOut.xml File hash: f9c0012b2218aa8566516765fe318bf5222918e5 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: a17aee304363066792813d44d294a5b0587b43ac Reading id's of ballots to be opened: Reading from the file completed Step 7. Reading data from: MeetingThreeOut-Provisional-Manual.xml File hash: a0b1b221a5157272e1aa8362759428c48ce92067 Reading d3 and r Reading from the file completed Step 8. Reading data from: MeetingTwoOutCommitments.xml File hash: 4d0c272dcc3bd0b21d1cb302e5d24722181b4bf3 Reading commitments to ballots Reading from the file completed Step 9. Reading data from: MeetingThreeOutCodes-Provisional-Manual.xml File hash: f7c3b0abb69e1bba8cf798e083bb45b165609281 Verifying commitments to ballots Reading from the file completed Step 10. Reading data from: MeetingFourIn.xml File hash: 968472f25a4ca6c21d9e34d6956e81be0247021a Reading which sides should be opened Reading from the file completed Step 11. Reading data from: MeetingFourOut.xml File hash: a9df28445efd5a3c7736c94b6036b99542f5d3cf 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: e8d099dfba457e27bcb2e9e53022caba2ec55e20 Verifying commitments to ballots Reading from the file completed Step 13. Reading data from: PrintAuditMixnet.xml File hash: 57bec2f3f79329a7ab4afc082dcbafd0eeb54541 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: e5e24ad90beeadc3bb42a9f71847b58d5dd97c02 Reading id's of ballots that were spoiled Reading from the file completed Audit end: Sun Nov 08 20:14:04 CET 2009 Audit last: 44 sec. post-Election Audit result: OK