changeset 1551:38793a845e3f

BeDOZa: Added comment.
author Thomas P Jakobsen <tpj@cs.au.dk>
date Mon, 27 Sep 2010 10:31:49 +0200
parents c8e7c5ee1583
children 00e4f1acc454
files viff/bedoza/zero_knowledge.py
diffstat 1 files changed, 11 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/viff/bedoza/zero_knowledge.py	Fri Sep 24 14:21:36 2010 +0200
+++ b/viff/bedoza/zero_knowledge.py	Mon Sep 27 10:31:49 2010 +0200
@@ -55,6 +55,17 @@
 
 
     def start(self):
+        """Executes this zero-knowledge proof.
+
+        Returns a deferred evaluating to True if the proof succeeds
+        and False otherwise. The proof succeeds if the verifiers,
+        e.g. all players except the player with prover_id are able to
+        verify that each number inside the encryptions c are
+        numerically at most 2**(s + 2k).
+
+        The result also evaluates to True or False as above for the
+        proving player, even though this is not needed.
+        """
         if self.runtime.id == self.prover_id:
             self._generate_proof()
         deferred_proof = self._get_proof_broadcasted_by_prover()