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

Prover/Bug Fix—Total Bytes Counter in the Public Input Module #168

Open
bogdanbear opened this issue Oct 9, 2024 · 0 comments · May be fixed by #169
Open

Prover/Bug Fix—Total Bytes Counter in the Public Input Module #168

bogdanbear opened this issue Oct 9, 2024 · 0 comments · May be fixed by #169
Assignees
Labels
Prover Tag to use for all work impacting the prover

Comments

@bogdanbear
Copy link
Contributor

The TotalBytesCounter must be included in the zeroization constraints.
Moreover, we need to propagate the proper index to the next step of the circuit.

@bogdanbear bogdanbear changed the title Bug Fix—Total Bytes Counter in the Public Input Module Prover/Bug Fix—Total Bytes Counter in the Public Input Module Oct 9, 2024
@bogdanbear bogdanbear linked a pull request Oct 9, 2024 that will close this issue
2 tasks
@bogdanbear bogdanbear self-assigned this Oct 9, 2024
@bogdanbear bogdanbear linked a pull request Oct 11, 2024 that will close this issue
2 tasks
@bogdanbear bogdanbear added the Prover Tag to use for all work impacting the prover label Oct 14, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Prover Tag to use for all work impacting the prover
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant