Dileep wrote:Pranav, I have no interest in personal attacks. You asked for "mathematical proof". It takes time and effort for me to present the technical information. I don't want to waste it on someone who can't understand it, the "willingness to understand" notwithstanding.
I am pissed off on people with hardly any knowledge on the technology (and it is not rocket science either) making expert comments (like your millions of transistors and interconnects) Which will then be taken by others who have still less knowledge and propagated. I wouldn't be surprised if the phrase "millions of transistors and interconnects" itself appear elsewhere in the context of EVMS (Or you yourself might have copied it from somewhere).
Rahul Mehta at least makes claims based on what he understands.
Dileep, I have no desire to talk about myself, but you force me to remark that my ability to comprehend mathematical proofs is probably enough to dissect whatever you can produce. If you have a protocol that provably, fully characterizes a black-box, let us know.
Even if you can provide a link to a peer-reviewed Journal paper that explicitly makes such a claim in a theorem, that would be useful. I'd be happy to accept any method that guarantees full verification, if and when such verification is actually permitted by the EC. Meanwhile, the electronic voting mechanisms remain suspect.
As regards transistor counts, all that matters is that the systems are complex enough to make detailed verification an expensive proposition. Let's not go into irrelevant tangents.