@@ -479,7 +479,7 @@ class EGCiphertext: print "bad proof %s, %s, %s" % (i, plaintexts[i], proof.proofs[i]) return False - logging.info("made it past the two encryption proofs") + # logging.info("made it past the two encryption proofs") # check the overall challenge return (challenge_generator([p.commitment for p in proof.proofs]) == (sum([p.challenge for p in proof.proofs]) % self.pk.q)) crypto/algs.py @@ -10,14 +10,14 @@ indexes: # automatically uploaded to the admin console when you next deploy # your application using appcfg.py. -# Unused in query history -- copied from input. +# Used once in query history. - kind: ElectionExponent properties: - name: election - name: exponent direction: desc -# Used once in query history. +# Used 6 times in query history. - kind: KeyShare properties: - name: election @@ -43,7 +43,7 @@ indexes: - name: tallied_at - name: cast_id -# Used once in query history. +# Used 9 times in query history. - kind: Voter properties: - name: election index.yaml @@ -300,6 +300,17 @@ class VoterBase(DBObject): self.password = utils.random_string(10) def set_encrypted_vote(self, votes_json_string): + # Check the proof on the vote + pk = self.election.get_pk() + election_obj = self.election.toElection() + vote_dict = utils.from_json(votes_json_string) + enc_vote = electionalgs.EncryptedVote.fromJSONDict(vote_dict, pk) + + # verify + if not enc_vote.verify(election_obj): + raise Exception("Vote does not verify") + + # store this current vote in the voter structure self.vote = votes_json_string self.vote_hash = self.compute_vote_hash() self.cast_id = str(datetime.datetime.utcnow()) + str(self.voter_id) models/modelsbase.py 94653c012a4688461ae0b4af95b24865df0fcda7 Ben Adida ben@adida.net http://github.com/benadida/helios/commit/c5d28c55e15b036d8e4b6f4f3481cef1598befee c5d28c55e15b036d8e4b6f4f3481cef1598befee 2008-11-16T13:23:42-08:00 2008-11-16T13:23:42-08:00 added proof verification at submission time e0ac8ddee63f49869c856e2dff67dc59d399138e Ben Adida ben@adida.net