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

[WIP] fix (need-wait-for-new-gnark): remove the input hash in groth16 inputs #380

Draft
wants to merge 2 commits into
base: main
Choose a base branch
from

Conversation

silathdiir
Copy link
Contributor

@silathdiir silathdiir commented Sep 26, 2024

Summary

We have 3 Groth16 inputs for now:

  • Index-0: circuit digest
  • Index-1: input hash, it includes 32 bytes of 0, since we don't really have inputs.
  • Index-2: Output hash, we verify sha256(plonky2_proof) == this_groth16_input.

So I think we may remove the input hash (one Uint256) in groth16 input.

@silathdiir silathdiir marked this pull request as draft September 26, 2024 10:28
InputHash frontend.Variable `gnark:"inputHash,public"`
InputHash frontend.Variable `gnark:"inputHash"`
Copy link
Contributor Author

@silathdiir silathdiir Sep 26, 2024

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I found that I could remove this from the function verifyProof of generated verifier.sol when deleting public.

@silathdiir silathdiir changed the title [WIP] fix (need more discussion): remove the input hash in groth16 inputs [WIP] fix: remove the input hash in groth16 inputs Sep 26, 2024
@silathdiir silathdiir changed the title [WIP] fix: remove the input hash in groth16 inputs [WIP] fix (need-wait-for-new-gnark): remove the input hash in groth16 inputs Sep 26, 2024
@delehef delehef force-pushed the main branch 8 times, most recently from d8cf76a to a9e2b59 Compare January 25, 2025 02:25
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

Successfully merging this pull request may close these issues.

1 participant