Mercurial > 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 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()