Scantegrity II post-Election Audit Version 1.0. written by Filip Zagorski Audit start: Sun Nov 08 20:11:14 CET 2009 Path set to: scantegrity.org/svn/data/takoma-nov3-2009/PUBLIC/PUBLIC/ward2/ 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: ff5cb5026951d4be848af66404fe9c26645ac03e Election constant: VFBNRDNOT1YwOXdhcmQyIA== Number of ballots: 5000 Number of D-tables: 40 Reading complete Step 3. Reading data from: MeetingOneOut.xml File hash: 3b17b932950b865dd2bd48cbbbd18ed947243f1c 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: f1aaa1222ba5a451879ce1a8e9a6807cd4f2a07e Reading id's of ballots to be opened: Reading from the file completed Step 5. Reading data from: MeetingTwoOut.xml File hash: 15670e64944007b8b672f761f9b268cd0a7c807b 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: 600615ac3581255044fd4ca240efb367167d302e Reading id's of ballots to be opened: Reading from the file completed Step 7. Reading data from: MeetingThreeOut-Provisional-Manual.xml File hash: 486dde5d5bb70347f8061d87cb50d2512f5edf0b Reading d3 and r Reading from the file completed Step 8. Reading data from: MeetingTwoOutCommitments.xml File hash: cb60de60802ec2989a40fe844264f0ab6f807ed8 Reading commitments to ballots Reading from the file completed Step 9. Reading data from: MeetingThreeOutCodes-Provisional-Manual.xml File hash: 2c33a941f9ccefc32f26c14f3e5bf94327b41c23 Verifying commitments to ballots Reading from the file completed Step 10. Reading data from: MeetingFourIn.xml File hash: adb410a66ae203bfa0b6bbdb963fe4af5e8caf9c Reading which sides should be opened Reading from the file completed Step 11. Reading data from: MeetingFourOut.xml File hash: 907a1d9dfd180acdd442ae91800a0371537f3d44 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: 09aef26844519771167c15da9e51be4bdf2a2ea0 Verifying commitments to ballots Reading from the file completed Step 13. Reading data from: PrintAuditMixnet.xml File hash: fa598f86512975723db06e9b9eeceaec92b746f9 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: a123007faac80ac9a06a74b6b9fb25f55aa417b9 Reading id's of ballots that were spoiled Reading from the file completed Audit end: Sun Nov 08 20:11:56 CET 2009 Audit last: 42 sec. post-Election Audit result: OK