def _invoke_groth16_bls12_377_verify(vk: Groth16.VerificationKey,
proof: Groth16.Proof,
inputs: List[str]) -> bool:
vk_evm = Groth16.verification_key_to_contract_parameters(
vk, BLS12_377_PAIRING)
proof_evm = Groth16.proof_to_contract_parameters(
proof, BLS12_377_PAIRING)
inputs_evm = hex_list_to_uint256_list(inputs)
return CONTRACT_INSTANCE.functions.testVerify(vk_evm, proof_evm,
inputs_evm).call()
def test_alt_bn128_groth16_proof_parameters(self) -> None:
extproof = EXTPROOF_ALT_BN128_GROTH16
proof_parameters = Groth16.proof_to_contract_parameters(
extproof.proof, ALT_BN128_PAIRING)
self.assertEqual(PROOF_ALT_BN128_GROTH16_PARAMETERS, proof_parameters)
def test_bw6_761_groth16_proof_parameters(self) -> None:
extproof = EXTPROOF_BW6_761_GROTH16
proof_parameters = Groth16.proof_to_contract_parameters(
extproof.proof, BW6_761_PAIRING)
self.assertEqual(PROOF_BW6_761_GROTH16_PARAMETERS, proof_parameters)