Exemplo n.º 1
0
 def test_encrypt_with_proofs_decrypt_and_check(self):
     m = randint(0,1)
     c,cproof,vproof = self.ppatspk.encryptwithproofs(m)
     d = self.ppatspk.derivCom(c)
     #print 'c',c
     #print 'd',d
     dec = self.ppatssk.decrypt(c)
     self.assertTrue(m==dec)
     self.assertTrue(nizk.consistencyProofCheck(self.ppatspk,c,cproof))
     self.assertTrue(nizk.verifiabilityProofCheck(self.ppatspk,d,vproof))
Exemplo n.º 2
0
 def test_encrypt_with_proofs_decrypt_and_check(self):
     m = randint(0,1)
     c,cproof,vproof = self.ppatspk.encryptwithproofs(m)
     d = self.ppatspk.derivCom(c)
     #print 'c',c
     #print 'd',d
     dec = self.ppatssk.decrypt(c)
     self.assertTrue(m==dec)
     self.assertTrue(nizk.consistencyProofCheck(self.ppatspk,c,cproof))
     self.assertTrue(nizk.verifiabilityProofCheck(self.ppatspk,d,vproof))
Exemplo n.º 3
0
 def checkconsistproof(cce, consistproof):
     return nizk.consistencyProofCheck(self.publicKey, cce,
                                       consistproof)
Exemplo n.º 4
0
 def checkconsistproof(cce,consistproof):
     return nizk.consistencyProofCheck(self.publicKey,cce,consistproof)
Exemplo n.º 5
0
 def test_encrypt_with_consistency_check_proof(self):
     m = randint(1,self.maxmessage)
     c, cproof = self.ppatspk.encryptwithCproof(m)
     self.assertTrue(nizk.consistencyProofCheck(self.ppatspk,c,cproof))
Exemplo n.º 6
0
 def test_encrypt_with_consistency_check_proof(self):
     m = randint(1,self.maxmessage)
     c, cproof = self.ppatspk.encryptwithCproof(m)
     self.assertTrue(nizk.consistencyProofCheck(self.ppatspk,c,cproof))