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))