def ZKPS(self, h, g, sig, pk, G, c_bar, sk, z1, z2, ri, P_bar):
'''
calculates the ZKP for the correct format of the signature
:param h: the public parameter from G2
:param g: the public parameter from G1
:param sig: the signature
:param pk: the verification key
:param G: the client side signature randomness
:param c_bar: the blinded EV
:param sk: the secret signature key
:param z1: first part of the random decomposition of the secret signature parameter
:param z2: second part of the random decomposition of the secret signature parameter
:param ri: the server side signature randomness
:param P_bar: the blinded pad
:return: the ZKP parameters challenge and response
'''
(ch, r) = ZKP.ZKP_correctFormatS(h, g, sig, pk, G, c_bar, sk, z1, z2,
ri, P_bar, self.params)
return (ch, r)
def testZKPS_oneParameter(self):
groupObj = PairingGroup('BN254')
params = 1
msg = []
msg.append("testmessage")
el = ElGamal(params)
agho = AGHOBlind(el)
(pk_EV, sk_EV) = el.keygen()
h = groupObj.random(G2)
(sk_sig, pk_sig) = agho.keygen(h)
(c, o) = el.encrypt(pk_EV, msg)
(c_bar, P_bar, G, e, f1, f2) = agho.blind(c, pk_EV['g'])
(sig_bar, z1, z2, ri) = agho.sign(pk_EV['g'], sk_sig, c_bar, h, G,
P_bar)
(ch, r) = ZKP.ZKP_correctFormatS(h, pk_EV['g'], sig_bar, pk_sig, G,
c_bar, sk_sig, z1, z2, ri, P_bar,
params)
isCorrect = ZKP.verifyZKP_FormatS(h, pk_EV['g'], pk_sig, ch, r, c_bar,
P_bar, G, sig_bar, params)
print("ZKPS Test Result with one Parameter:", isCorrect)