Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

How to set up pb.primary_input() on the verifier side #188

Open
wzjin2017 opened this issue Sep 30, 2021 · 0 comments
Open

How to set up pb.primary_input() on the verifier side #188

wzjin2017 opened this issue Sep 30, 2021 · 0 comments

Comments

@wzjin2017
Copy link

Hi, I am building a two-to-one hash function using this post. I generated proof and keypair.vk, and serialized them. However, on the verifier side, when I try to use bool verified = r1cs_ppzksnark_verifier_strong_IC<default_r1cs_ppzksnark_pp>(keypair.vk, pb.primary_input(), proof);, I don't know how to set up this pb.primary_input(). I know this should be the y in y = Hash(x1, x2). Do I need to set up a new pb and input this y value using something like const libff::bit_vector y = libff::int_list_to_bits({0xe421ca1e, 0x71d16149, 0x8997ecc3, 0x6d05272a, 0xecc74cc9, 0xf5d071a5, 0x7e743987, 0x1bae758c}, 32); ?

Thanks in advance!

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

No branches or pull requests

1 participant