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

Remove redundant data before pushing to public inputs. #1898

Closed
LeilaWang opened this issue Aug 30, 2023 · 2 comments
Closed

Remove redundant data before pushing to public inputs. #1898

LeilaWang opened this issue Aug 30, 2023 · 2 comments
Labels
T-optimisation Type: Optimisation. Making something faster / cheaper / smaller

Comments

@LeilaWang
Copy link
Contributor

#1725 (comment)

@LeilaWang LeilaWang added this to A3 Aug 30, 2023
@github-project-automation github-project-automation bot moved this to Todo in A3 Aug 30, 2023
@iAmMichaelConnor iAmMichaelConnor added the T-optimisation Type: Optimisation. Making something faster / cheaper / smaller label Aug 31, 2023
@iAmMichaelConnor iAmMichaelConnor added this to the 📢 Initial Public Sandbox Release milestone Sep 5, 2023
@iAmMichaelConnor
Copy link
Contributor

Tagging @jeanmon @suyash67 @dbanks12 for thoughts, after this just got mentioned in our chat :)

@iAmMichaelConnor iAmMichaelConnor removed this from the 📢 Initial Public Sandbox Release milestone Sep 11, 2023
@LHerskind
Copy link
Contributor

This seems to have been covered by some of the squashing. Seems related to the #3753

@github-project-automation github-project-automation bot moved this from Todo to Done in A3 Jan 18, 2024
codygunton pushed a commit that referenced this issue Jan 23, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
T-optimisation Type: Optimisation. Making something faster / cheaper / smaller
Projects
Archived in project
Development

No branches or pull requests

3 participants