Skip to content
This repository has been archived by the owner on Jul 15, 2022. It is now read-only.

I want to compile libsnark into a window version. In the window environment, kc_A != GT<ppT>::one(), can you tell why? #12

Closed
shangsony opened this issue Aug 9, 2019 · 1 comment

Comments

@shangsony
Copy link

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;
}
leave_block("Check knowledge commitment for A is valid");

@fixanoid
Copy link

You probably should ask for help from the origin: https://github.com/scipr-lab/libsnark

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants