Abstract:Recently, Kiayias, Zacharias and Zhang proposed a new E2E verifiable e-voting system called 'DEMOS' that for the first time provides E2E verifiability without relying on external sources of randomness or the random oracle model; the main advantage of such system is in the fact that election auditors need only the election transcript and the feedback from the voters to pronounce the election process unequivocally valid. Unfortunately, DEMOS comes with a huge performance and storage penalty for the election authority (EA) compared to other e-voting systems such as Helios. The main reason is that due to the way the EA forms the proof of the tally result, it is required to precompute a number of cipher texts for each voter and each possible choice of the voter. This approach clearly does not scale to elections that have a complex ballot and voters have an exponential number of ways to vote in the number of candidates. The performance penalty on the EA appears to be intrinsic to the approach: voters cannot compute an enciphered ballot themselves because there seems to be no way for them to prove that it is a valid ciphertext.In contrast to the above, in this work, we construct a new e-voting system that retains the strong E2E characteristics of DEMOS (but against computational adversaries) while completely eliminating the performance and storage penalty of the EA. We achieve this via a new cryptographic construction that has the EA produce and prove, using voters' coins, the security of a common reference string (CRS) that voters subsequently can use to affix non-interactive zero knowledge (NIZK) proofs to their ciphertexts. The EA itself uses the CRS to prove via a NIZK the tally correctness at the end. Our construction has similar performance to Helios and is practical. The privacy of our construction relies on the SXDH assumption over bilinear groups via complexity leveraging.

Statistical and Mathematical Evidence of Rigged Parliamentary Elections in Georgia, 2024

Election forensic analysis of the Turkish Constitutional Referendum 2017

Dual approach to proving electoral fraud via statistics and forensics (Dvojnoe dokazatel'stvo falsifikazij na vyborah statistikoj i kriminalistikoj)

Statistical anomalies in 2011-2012 Russian elections revealed by 2D correlation analysis

Forensic analysis of the Turkey 2023 presidential election reveals extreme vote swings in remote areas

Testing for voter rigging in small polling stations

On the robustness of democratic electoral processes to computational propaganda

Gerrymandering and fair districting in parallel voting systems

A belief systems analysis of fraud beliefs following the 2020 US election

The Dynamics of Electoral Manipulation and Institutional Trust in Democracies: Election Timing, Blatant Fraud, and the Legitimacy of Governance

Elections in Russia, 1991-2008

An analysis of New South Wales electronic vote counting

Conservative statistical post-election audits

Demos-2: Scalable E2e Verifiable Elections Without Random Oracles

Estonian Voting Verification Mechanism Revisited

Election Manipulation in Social Networks with Single-Peaked Agents

COPYING AND STORING OF ELECTRONIC COMMUNICATION IDENTIFYING DATA AS ELECTRONIC EVEDENCE THE STORAGE PROBLEM IN THE GEORGIAN CRIMINAL JUSTICE PROCESS – IN RELATION TO ARTICLE 8 OF THE EUROPEAN CONVENTION

Election Forensics: quantitative methods for electoral fraud detection

American Views About Election Fraud in 2024

Election Manipulation on Social Networks: Seeding, Edge Removal, Edge Addition