def run_pairing_negation_contract(client): g1 = G1.random() g2 = G2.random() # e(g1, g2) * e(g1, g2^-1) = 1 args = [(g1, g2), (g1, G2.neg(g2))] # check if equality holds result = pairing_check(args) assert result stack_args = [(G1.to_hex(g1), G2.to_hex(g2)) for g1, g2 in args] stack_args = [f'Pair {g1} {g2}' for g1, g2 in stack_args] stack_args = f'{{ {"; ".join(stack_args)} }}' print("CONTRACT: ", CONTRACTS['pairing_check']) print("STACK ARGS: ", stack_args) check_contract(client, CONTRACTS['pairing_check'], stack_args, result)
def run_pairing_property_contract(client): g1 = G1.random() g2 = G2.random() a = Fr.random() b = Fr.random() ab = a * b # e(g1^a, g2^b) * e(g1, g2^-ab) = 1 args = [(G1.mul(g1, a), G2.mul(g2, b)), (g1, G2.neg(G2.mul(g2, ab)))] # check if equality holds result = pairing_check(args) assert result stack_args = [(G1.to_hex(g1), G2.to_hex(g2)) for g1, g2 in args] stack_args = [f'Pair {g1} {g2}' for g1, g2 in stack_args] stack_args = f'{{ {"; ".join(stack_args)} }}' print("CONTRACT: ", CONTRACTS['pairing_check']) print("STACK ARGS: ", stack_args) check_contract(client, CONTRACTS['pairing_check'], stack_args, result)
def test_signature_aggregation(self, client_regtest): for _ in RANDOM_ITERATIONS: sk0 = Fr.random(self.gen) # secret key pk0 = G2.mul(G2.one, sk0) # public key # we don't have hash-to-curve on g1, so compute a random point msg_hash = G1.random(self.gen) # message hash sig0 = G1.mul(msg_hash, sk0) # signature args0 = [(msg_hash, pk0), (G1.neg(sig0), G2.one)] check_pairing_check(client_regtest, args0) sk1 = Fr.random(self.gen) # secret key pk1 = G2.mul(G2.one, sk1) # public key # we don't have hash-to-curve on g1, so compute a random point sig1 = G1.mul(msg_hash, sk1) # signature args1 = [ (G1.add(msg_hash, msg_hash), G2.add(pk0, pk1)), (G1.neg(G1.add(sig0, sig1)), G2.add(G2.one, G2.one)), ] check_pairing_check(client_regtest, args1)
def test_pairing_neg_g2(self, client_regtest): for _ in RANDOM_ITERATIONS: g1_point = G1.random(self.gen) g2_point = G2.random(self.gen) args = [(g1_point, g2_point), (g1_point, G2.neg(g2_point))] check_pairing_check(client_regtest, args)
def test_pairing_random_random(self, client_regtest): for _ in RANDOM_ITERATIONS: args = [(G1.random(self.gen), G2.random(self.gen))] check_pairing_check(client_regtest, args)