def testHashAndMapToG1(self):
self.assertEqual(
G1.hashAndMapToG1("test").getStr(),
"1 1664126500441530256482751269291290703962889676827426721113973279626206305626152966034740921719739598015047469980014 2770511850529075397457134371943688177934498111089053025052575225110555843257818577745559532770169098874656481355098"
)
a_i.set_by_CSPRNG()
a_list.append(a_i)
r_i = g * a_i
r_list.append(r_i)
h_i = Fr.set_hash_of(f"{msg}{r_i.getStr()}")
h_list.append(h_i)
a = Fr()
a.set_by_CSPRNG()
r = (g * a) + reduce(
operator.add,
[pks[i] * h_list[i].neg() for i in range(len(pks)) if i != v_id])
h = Fr.set_hash_of(f"{msg}{r.getStr()}")
s = reduce(
operator.add,
[a_list[i] + a + (sk * h) for i in range(len(pks)) if i != v_id])
r_list[v_id] = r * sk
return (r_list, s)
if __name__ == "__main__":
msg = "Master Thesis"
g = G1.hashAndMapToG1("DVS")
sk_p, pk_p, sk_v, pk_v = keygen(g)
# print(sk_p, pk_p, sk_v, pk_v )
sk_t, pk_t, sk_z, pk_z = keygen(g)
# print(sk_t, pk_t, sk_z, pk_z)
# R, s = sign(g, msg, [pk_p, pk_v], sk_p, 0, 1)
R, s = sim(g, msg, [pk_p, pk_v], sk_v, 0, 1)
verify(g, msg, [pk_p, pk_v], sk_v, 0, 1, R, s)
