def checkCondProof(com0,rproof,com): A = rproof[0] #TODO : check here res1 = com == A[1] res2 = True in nizk.base2RangeProofCheck(self.publicKey,com0,rproof) mexp = self.argsdict['max_exp_message_w'] res3 = True in nizk.base2VerifExpoDecomp(self.publicKey,rproof,mexp) return res1 and res2 and res3
def checkRangeProof(com,rproof): res1 = True in nizk.base2RangeProofCheck(self.publicKey,com,rproof) mexp = self.argsdict['max_exp_message_c'] k = len(rproof) res2 = rproof[k-1][0] == 2**(mexp-1) for i in range(k-1): facti = rproof[i][0] res = facti == 2**i res2 = res2 and res return res1 and res2
def checkrangeproof(com, rproof): return True in nizk.base2RangeProofCheck(self.publicKey, com, rproof)
def checkRangeproof(com, rproof): if not com == None and not rproof == None: return True in nizk.base2RangeProofCheck( self.publicKey, com, rproof) else: return True
def checkrangeproof(com,rproof): return True in nizk.base2RangeProofCheck(self.publicKey,com,rproof)
def checkRangeproof(com,rproof): if not com==None and not rproof==None : return True in nizk.base2RangeProofCheck(self.publicKey,com,rproof) else : return True
def test_range_proof_on_commitment(self): m = randint(1,self.maxmessage) r = randint(1,self.n-1) com,r = self.ppatspk.commit(m,r) proof = nizk.base2RangeProof(self.ppatspk,com,m,r,self.maxexp,verif = True) self.assertTrue(nizk.base2RangeProofCheck(self.ppatspk,com,proof))