Beispiel #1
0
 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)
Beispiel #2
0
 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)
Beispiel #3
0
 def checkGeqproof(com0, com1, geqproof):
     return nizk.geqProofCheck(self.publicKey, com0, com1, geqproof,
                               self.maxexp)
Beispiel #4
0
 def checkGeqproof(com0, com1, geqproof):
     return nizk.geqProofCheck(self.publicKey, com0, com1, geqproof, self.maxexp)