Merge branch 'main' of https://github.com/kastel-security/polyas-core…

…3-universal-verification
kastel-security · Dec 6, 2023 · a2af008 · a2af008
2 parents 82e0e97 + 9aeac57
commit a2af008
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/algos/verifications.py b/src/algos/verifications.py
@@ -300,13 +300,14 @@ def verification_of_a_ballot_entry(pk: bytearray, l: str, z: bytearray, encrypte
 
     if verification_of_proof(pk, l, z, encrypted_choices, private_credentials, z) is False:
         return False
-    
+
     for t in range(0, len(encrypted_choices)):
         if verification_of_proof(pk, l, z, encrypted_choices, encrypted_coins[t], encrypted_choices[t][0]) is False:
             return False
 
     return True
 
+
 def verification_of_proof(pk: bytearray, l: str, z: bytearray, encrypted_choices: typing.List, proof: tuple, verify: bytearray):
     """
     Verifies a Zero-Knowledge-Proof