Open shangsony opened 4 years ago
enter_block("Online pairing computations"); enter_block("Check knowledge commitment for A is valid"); G1_precomp proof_g_A_g_precomp = ppT::precompute_G1(proof.g_A.g); G1_precomp proof_g_A_h_precomp = ppT::precompute_G1(proof.g_A.h); Fqk kc_A_1 = ppT::miller_loop(proof_g_A_g_precomp, pvk.vk_alphaA_g2_precomp); Fqk kc_A_2 = ppT::miller_loop(proof_g_A_h_precomp, pvk.pp_G2_one_precomp); GT kc_A = ppT::final_exponentiation(kc_A_1 * kc_A_2.unitary_inverse()); if (kc_A != GT::one()) { if (!inhibit_profiling_info) { print_indent(); printf("Knowledge commitment for A query incorrect.\n"); } result = false; }
enter_block("Online pairing computations"); enter_block("Check knowledge commitment for A is valid"); G1_precomp proof_g_A_g_precomp = ppT::precompute_G1(proof.g_A.g);
G1_precomp proof_g_A_h_precomp = ppT::precompute_G1(proof.g_A.h);
Fqk kc_A_1 = ppT::miller_loop(proof_g_A_g_precomp, pvk.vk_alphaA_g2_precomp);
Fqk kc_A_2 = ppT::miller_loop(proof_g_A_h_precomp, pvk.pp_G2_one_precomp);
GT kc_A = ppT::final_exponentiation(kc_A_1 * kc_A_2.unitary_inverse());
if (kc_A != GT::one())
{
if (!inhibit_profiling_info)
{
print_indent(); printf("Knowledge commitment for A query incorrect.\n");
}
result = false;
}