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.

Sign up for GitHub

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

Jump to bottom

removing redundant values from PrivateCircuitPublicInputs #4256

Closed
benesjan opened this issue Jan 29, 2024 · 0 comments
Closed

removing redundant values from PrivateCircuitPublicInputs #4256

benesjan opened this issue Jan 29, 2024 · 0 comments
Assignees
@benesjan

Comments

@benesjan
Copy link
Contributor

benesjan commented Jan 29, 2024 •
edited
Loading

chainId and version is now also in Header so it can be removed.

Note: Look for TODO(#4256) in the codebase.
@benesjan benesjan self-assigned this Jan 29, 2024
@github-project-automation github-project-automation bot moved this to Todo in A3 Jan 29, 2024
@benesjan benesjan mentioned this issue Jan 29, 2024
Closed
@benesjan benesjan moved this from Todo to In Progress in A3 Jan 30, 2024
@github-project-automation github-project-automation bot moved this from In Progress to Done in A3 Jan 30, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@benesjan benesjan

Labels
None yet
Projects
A3
Archived in project
Milestone
No milestone
Development

No branches or pull requests
1 participant
@benesjan