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