viff

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 diff
     1.1 --- a/viff/bedoza/zero_knowledge.py	Fri Sep 24 14:21:36 2010 +0200
     1.2 +++ b/viff/bedoza/zero_knowledge.py	Mon Sep 27 10:31:49 2010 +0200
     1.3 @@ -55,6 +55,17 @@
     1.4  
     1.5  
     1.6      def start(self):
     1.7 +        """Executes this zero-knowledge proof.
     1.8 +
     1.9 +        Returns a deferred evaluating to True if the proof succeeds
    1.10 +        and False otherwise. The proof succeeds if the verifiers,
    1.11 +        e.g. all players except the player with prover_id are able to
    1.12 +        verify that each number inside the encryptions c are
    1.13 +        numerically at most 2**(s + 2k).
    1.14 +
    1.15 +        The result also evaluates to True or False as above for the
    1.16 +        proving player, even though this is not needed.
    1.17 +        """
    1.18          if self.runtime.id == self.prover_id:
    1.19              self._generate_proof()
    1.20          deferred_proof = self._get_proof_broadcasted_by_prover()