Skip to content

Implement NMT multiproof verification. #131

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

Merged
merged 16 commits into from
Jan 9, 2023

Conversation

adlerjohn
Copy link
Member

@adlerjohn adlerjohn commented Nov 24, 2022

@adlerjohn adlerjohn added enhancement New feature or request contracts labels Nov 24, 2022
@adlerjohn adlerjohn self-assigned this Nov 24, 2022
@adlerjohn adlerjohn marked this pull request as ready for review December 8, 2022 18:09
@@ -1,2 +1,3 @@
[profile.default]
solc_version = "0.8.11"
via_ir = true
Copy link
Member Author

Choose a reason for hiding this comment

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

This is needed to avoid stack too deep error. Will result in longer compile times but that should be fine since the contracts are small anyways. The QGB contract doesn't have to be re-compiled / bindings re-generated (ABI is identical).

Copy link
Member

@rach-id rach-id left a comment

Choose a reason for hiding this comment

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

Dope 🚀

Thanks a lot for your help.

Question:
Now that we have the implementation of the multiproof, does it make sense to create a separate contract that calls it? And we generate a go wrapper for this latter so that we use it in the verification command we're planning to have for the QGB?
If so, I can create an issue and start working on it.

@adlerjohn adlerjohn merged commit 29d0c93 into master Jan 9, 2023
@adlerjohn adlerjohn deleted the adlerjohn/verify-nmt-multiproof branch January 9, 2023 19:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
contracts enhancement New feature or request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

NMT multiproof verification
2 participants