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))
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))
def test_encrypt_with_verifiability_check_proof(self):
m = randint(0,1)
c, vproof = self.ppatspk.encryptwithVproof(m)
d = self.ppatspk.derivCom(c)
self.assertTrue(nizk.verifiabilityProofCheck(self.ppatspk,d,vproof))
def test_encrypt_with_verifiability_check_proof(self):
m = randint(0,1)
c, vproof = self.ppatspk.encryptwithVproof(m)
d = self.ppatspk.derivCom(c)
self.assertTrue(nizk.verifiabilityProofCheck(self.ppatspk,d,vproof))
