0.2.3.1
The verification interface serves to verify the correctness of the votes and voting results against the possibility of errors or tampering. The interface is not yet implemented in full and this document is only a sketch of its design.
The admin reports all votes and results via public interfaces. Each report is backed by a specific snapshot that is named in the report. For example, see:
The admin posts snapshots of voting data via public interfaces. Each snapshot includes copies of all the votes that were received, plus any results that were derived from those votes. For example, see:
Each watchdog works from:
RV. |
Reported votes spot copied (partial data) from admin's public interface.
Verified against SVR. |
---|---|
RR. |
Reported results copied from admin's public interface.
Verified against SVR. |
SVR. |
Snapshot of votes and results copied from admin's public interface.
Verified against AV. |
AV. |
Actual votes, an independently verified sub-sample of RV.
Verified against the memory of the voter and that of her co-voters, candidate and own voters. |
CV. |
Complaints of vote tampering.
Tested against RV and SVR. Recorded and analyzed statistically vs. normal voting data, known vote buyers and statistically implicated sellers, and equivalent data gathered from other vote-servers. Plaintiffs could be added to RV/AV checks. If any subsequent complaints are proven to be fraudulent, then the overall fraud rate might be estimated. But this part is rather fuzzy, yet. |
The verification architecture may alternatively be rationalized as follows.1 A main site with (1) a count engine, reading from (2) a mirror database of translated image votes, reading from remote vote-servers and from (by null translation) a local vote-server (same vote form as the local mirror uses). It produces timestamped series of counts, and of the configuration parameters on which each count is based.
A count verification site with (1) the same design of count engine, reading from (2) a mirror database of translated image vote, reading from the same remote vote-servers as the main site and from (by null translation) the main site's local vote-server. The count verification site delays configuration-sensitive actions (such as counts) to ensure it has the same configuration as the main site for each timestamped action (e.g. the same remote source vote-servers for each count). It verifies only counts, not input data such as votes. It does this by producing counts at the same timestamps as the main site, each of which matches.
Vote verification facilities. These are not yet specified, except a personal vote verification facility which consists in comparing one's vote as locally recorded (voter's own record) on the voting client vs. the image on the count verification site. A match here guarantees that the vote was indeed counted as recorded on the client.
1. |
From Christian Weilbach's ideas. Worked up together with Michael Allan into a rough design sketch, April 2013. |
Copyright 2011, 2013, Michael Allan. Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the "Votorola Software"), to deal in the Votorola Software without restriction, including without limitation the rights to use, copy, modify, merge, publish, distribute, sublicence, and/or sell copies of the Votorola Software, and to permit persons to whom the Votorola Software is furnished to do so, subject to the following conditions: The preceding copyright notice and this permission notice shall be included in all copies or substantial portions of the Votorola Software. THE VOTOROLA SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE VOTOROLA SOFTWARE OR THE USE OR OTHER DEALINGS IN THE VOTOROLA SOFTWARE.