But the problem is you didn't count the million lines of python interpreter or the millions of lines of X11 or Linux you might run it on.
If you're going to claim verification, you need verified building blocks or build the whole thing yourself. Brian Olson http://bolson.org/ On Thu, 1 Feb 2007, Ka-Ping Yee wrote: > I'm working on this. It's still at the research stage, but you might > be interested in checking it out. Last year i developed very small > software for running a touchscreen voting machine, aiming for something > small and simple enough to be verifiable. See: > > http://zesty.ca/voting/ > > Diebold's code is over 31000 lines of C++. My prototype weighed in at > less than 300 lines of Python -- small enough that one might actually > reasonably consider verification. > > That prototype is only for sighted voters (touchscreen input and > output). I'm now working on a new prototype with both video and audio, > to provide greater accessibility. It's looking like this won't exceed > twice the size of the first prototype. ---- election-methods mailing list - see http://electorama.com/em for list info
