def test_geq_proof_on_commitment(self):
m1 = randint(1,self.maxmessage)
m2 = randint(1,m1)
com1, r1 = self.ppatspk.commit(m1)
com2, r2 = self.ppatspk.commit(m2)
gproof = nizk.geqProof(self.ppatspk,com1,m1,r1,com2,m2,r2,self.maxexp)
res = nizk.geqProofCheck(self.ppatspk,com1,com2,gproof,self.maxexp)
self.assertTrue(res)
def test_geq_proof_on_commitment(self):
m1 = randint(1,self.maxmessage)
m2 = randint(1,m1)
com1, r1 = self.ppatspk.commit(m1)
com2, r2 = self.ppatspk.commit(m2)
gproof = nizk.geqProof(self.ppatspk,com1,m1,r1,com2,m2,r2,self.maxexp)
res = nizk.geqProofCheck(self.ppatspk,com1,com2,gproof,self.maxexp)
self.assertTrue(res)
def checkGeqproof(com0, com1, geqproof):
return nizk.geqProofCheck(self.publicKey, com0, com1, geqproof,
self.maxexp)
def checkGeqproof(com0, com1, geqproof):
return nizk.geqProofCheck(self.publicKey, com0, com1, geqproof, self.maxexp)
