DRE-i With Enhanced Privacy
   HOME

TheInfoList



OR:

Direct Recording Electronic with Integrity and Enforced Privacy (DRE-ip) is an End-to-End (E2E) verifiable e-voting system without involving any tallying authorities, proposed by Siamak Shahandashti and Feng Hao in 2016. It improves a previous DRE-i system by using a real-time computation strategy and providing enhanced privacy. A touch-screen based prototype of the system was trialed in the
Gateshead Civic Centre Gateshead Civic Centre is a municipal building in the Regent Street, Gateshead, England. History The civic centre was commissioned to replace the aging 19th century town hall in West Street. After Tyne and Wear County Council was abolished in A ...
polling station on 2 May 2019 during the
2019 United Kingdom local elections The 2019 United Kingdom local elections took place on Thursday 2 May 2019, with 248 English local councils, six directly elected mayors in England, and all 11 local councils in Northern Ireland being contested. A total of 8,886 councillors w ...
with positive voter feedback. A proposal that includes DRE-ip as a solution for large-scale elections was ranked 3rd place in the 2016 Economist Cybersecurity Challenge jointly organized by
The Economist ''The Economist'' is a British newspaper published weekly in printed magazine format and daily on Electronic publishing, digital platforms. It publishes stories on topics that include economics, business, geopolitics, technology and culture. M ...
and
Kaspersky Lab Kaspersky Lab (; ) is a Russian multinational cybersecurity and anti-virus provider headquartered in Moscow, Russia, and operated by a holding company in the United Kingdom. It was founded in 1997 by Eugene Kaspersky, Natalya Kaspersky a ...
. A browser-based prototype of the system was used in a Durga Puja online voting trial among residents of New Town, Kolkata, India, in October 2022.


Protocol

The DRE-ip protocol is applicable to both onsite polling station voting and remote Internet voting implementations. In the specification below, it is described for polling station voting. The protocol consists of three stages: setup, voting and tallying.


Setup

Let p and q be two large primes, where q\,, \, p-1. G_q is a subgroup of Z_p^* of prime order q. Let g_1 and g_2 be two random generators of G_q, whose discrete logarithm relationship is unknown. This can be realized by choosing a non-identity element in G_q as g_1 and computing g_2 based on applying a one-way hash function with the inclusion of election specific information such as the date, election title and questions as the input. All modulo operations are performed with respect to the modulus p. Alternatively, the protocol can be implemented using an
elliptic curve In mathematics, an elliptic curve is a smooth, projective, algebraic curve of genus one, on which there is a specified point . An elliptic curve is defined over a field and describes points in , the Cartesian product of with itself. If the ...
, while the protocol specification remains unchanged.


Voting

For simplicity, the voting process is described for a single-candidate (Yes/No) election held in a polling station using a touch-screen
DRE DRE may refer to: * ''Dre'' (album), 2010 by American rapper Soulja Boy Tell 'Em, 2010 * Dre (given name) **Dr. Dre Andre Romell Young (born February 18, 1965), known professionally as Dr. Dre, is an American rapper, record producer, recor ...
machine. There are standard ways to extend a single candidate election to support multiple candidates, e.g., providing a Yes/No selection for each of the candidates or using different encoded values for different candidates as described by Baudron et al. After being authenticated at a polling station, a voter obtains an authentication credential, which can be a random passcode or a smartcard. The authentication credential allows the voter to log onto a DRE machine in a private voting booth and cast a vote, but the machine does not know the voter's real identity. A voter casts a vote on a DRE machine in two steps. First, he is presented with "Yes" and "No" options for the displayed candidate on the screen. Once the voter makes a choice on the touch screen, the DRE prints the first part of the receipt, containing i, R_i = g_2^, Z_i = g_1^ g_1^ where i is a unique ballot index number, r_i is a number chosen uniformly at random from
, q-1 The comma is a punctuation mark that appears in several variants in different languages. Some typefaces render it as a small line, slightly curved or straight, but inclined from the vertical; others give it the appearance of a miniature fille ...
/math>, and v_i is either 1 or 0 (corresponding to "Yes" and "No" respectively). The cipher text also comes with a
zero knowledge proof In cryptography, a zero-knowledge proof (also known as a ZK proof or ZKP) is a protocol in which one party (the prover) can convince another party (the verifier) that some given statement is true, without conveying to the verifier any information ...
to prove that R_i and Z_i are well-formed. This zero knowledge proof can be realized by using a technique due to
Ronald Cramer Ronald John Fitzgerald Cramer (born 3 February 1968 in Haarlem) is a professor at the Centrum Wiskunde & Informatica (CWI) in Amsterdam and the University of Leiden. He obtained his PhD from the University of Amsterdam in 1997. Prior to returning ...
,
Ivan Damgård Ivan Bjerre Damgård (born 1956) is a Danish cryptographer and currently a professor at the Department of Computer Science, Aarhus University, Denmark. Ivan is the co-founder of CryptomathicPartisiaand Sepior. Ivan is a Professor and head of the ...
and Berry Schoenmakers (also called the CDS technique). The interactive CDS technique can be made non-interactive by applying Fiat-Shamir heuristics. In the second step, the voter has the option to either confirm or cancel the selection. In case of "confirm", the DRE updates the aggregated values t and s in memory as below, deletes individual values r_i and v_i, and marks the ballot as "confirmed" on the receipt. t = \sum v_i, s = \sum r_i. In case of “cancel”, the DRE reveals r_i and v_i on the receipt, marks the ballot as "cancelled" and prompts the voter to choose again. The voter can check if the printed v_i matches his previous selection and raise a dispute if it does not. The voter can cancel as many ballots as he wishes but can only cast one confirmed ballot. The canceling option allows the voter to verify if the data printed on the receipt during the first step corresponds to the correct encryption of the voter's choice, hence ensuring the vote is "cast as intended". This follows the same approach of voter-initiated auditing as proposed by Joshua Benaloh. However, in DRE-ip, voter-initiated auditing is realized without requiring the voter to understand cryptography (the voter merely needs to check whether the printed plaintext v_i is correct). After voting is finished, the voter leaves the voting booth with one receipt for the confirmed ballot and zero or more receipts for the canceled ballots. The same data printed on the receipts are also published on a mirrored public election website (also known as a public bulletin board) with a digital signature to prove the data authenticity. To ensure the vote is "recorded as cast", the voter just needs to check if the same receipt has been published on the election website.


Tallying

Once the election has finished, the DRE publishes the final values t and s on the election website, in addition to all the receipts. Anyone will be able to verify the tallying integrity by checking the published audit data, in particular, whether the following two equations hold. This ensures that all votes are "tallied as recorded", which together with the earlier assurance on "cast as intended" and "recorded as cast" guarantees that the entire voting process is "end-to-end verifiable". An "end-to-end verifiable" voting system is also said to be "software independent", a phrase coined by
Ron Rivest Ronald Linn Rivest (; born May 6, 1947) is an American cryptographer and computer scientist whose work has spanned the fields of algorithms and combinatorics, cryptography, machine learning, and election integrity. He is an Institute Profess ...
. The DRE-ip system differs from other E2E verifiable voting systems in that it does not require tallying authorities, hence the election management is much simpler. \prod R_i = g_2^s and \prod Z_i = g_1^s g_1^t.


Real-world trial

A touch-screen based prototype of DRE-ip had been implemented and trialed in a polling station in Gateshead on 2 May 2019 during the 2019 United Kingdom local elections. During the trial, voters first voted as normal using paper ballots. Upon exiting the polling station, they were invited to participate in a voluntary trial of using a DRE-ip e-voting system for a dummy election. On average, it took each voter only 33 seconds to cast a vote on the DRE-ip system. As part of the trial, voters were asked to compare their voting experiences of using paper ballots and the DRE-ip e-voting system, and indicate which system they would prefer. Among the participating voters, 11 chose "strongly prefer paper", 9 chose "prefer paper", 16 chose "neutral", 23 chose "prefer e-voting", and 32 chose "strongly prefer e-voting". A browser-based DRE-ip prototype was used in an online voting trial as part of the 2022 Durga Puja festival celebration, organized by the New Town Kolkata Development Authority (NKDA) together with researchers from the
University of Warwick The University of Warwick ( ; abbreviated as ''Warw.'' in post-nominal letters) is a public research university on the outskirts of Coventry between the West Midlands and Warwickshire, England. The university was founded in 1965 as part of ...
. In this trial, residents of
New Town New or NEW may refer to: Music * New, singer of K-pop group The Boyz (South Korean band), The Boyz * New (album), ''New'' (album), by Paul McCartney, 2013 ** New (Paul McCartney song), "New" (Paul McCartney song), 2013 * New (EP), ''New'' (EP), ...
,
Kolkata Kolkata, also known as Calcutta ( its official name until 2001), is the capital and largest city of the Indian state of West Bengal. It lies on the eastern bank of the Hooghly River, west of the border with Bangladesh. It is the primary ...
, were invited to use mobile phones to vote for their favourite pujas (festival decorations) in an end-to-end verifiable manner. 543 people participated in this trial. The voter feedback indicated that participants generally found the E2E online voting system easy to use.


References

{{reflist Applications of cryptography Electronic voting methods