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

ECCVM manifest test #782

Closed
codygunton opened this issue Nov 20, 2023 · 0 comments · Fixed by AztecProtocol/aztec-packages#5246
Closed

ECCVM manifest test #782

codygunton opened this issue Nov 20, 2023 · 0 comments · Fixed by AztecProtocol/aztec-packages#5246
Assignees

Comments

@codygunton
Copy link
Collaborator

Fix these when we switch the PCS on the ECCVM.

@maramihali maramihali self-assigned this Mar 21, 2024
AztecBot pushed a commit that referenced this issue Mar 22, 2024
Resolves #769.
Resolves #782.

Generalise Zeromorph further to be able to instantiate with both KZG and
IPA and switch ECCVM to use Zeromorph + IPA. This PR also fixes a small
inconsistency in Zeromorph where we assumed that first element of the
SRS is always going to be [1]_1 which is not the case if we work on
Grumpkin. Unskip and complete eccvm transcript tests.
sklppy88 pushed a commit to AztecProtocol/aztec-packages that referenced this issue Mar 22, 2024
Resolves AztecProtocol/barretenberg#769.
Resolves AztecProtocol/barretenberg#782.

Generalise Zeromorph further to be able to instantiate with both KZG and
IPA and switch ECCVM to use Zeromorph + IPA. This PR also fixes a small
inconsistency in Zeromorph where we assumed that first element of the
SRS is always going to be [1]_1 which is not the case if we work on
Grumpkin. Unskip and complete eccvm transcript tests.
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 a pull request may close this issue.

2 participants