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

auditing(json): fix all circom constraint warnings #40

Open
Autoparallel opened this issue Aug 20, 2024 · 0 comments
Open

auditing(json): fix all circom constraint warnings #40

Autoparallel opened this issue Aug 20, 2024 · 0 comments
Labels
json research Asking to dive into an unknown tests Make sure thing work good

Comments

@Autoparallel
Copy link
Contributor

Idea

If we compile an instance of the extract template, we will get warnings about constraints. For example:

warning[CA02]: In template "LessThan(8)": Array of subcomponent input/output signals n2b.out contains a total of 8 signals that do not appear in any constraint of the father component

warning[CA02]: In template "GetTopOfStack(2)": Subcomponent input/output signal atTop.match does not appear in any constraint of the father component

warning[CA02]: In template "RewriteStack(2)": Subcomponent input/output signal inObjectValue.out does not appear in any constraint of the father component

warning[CA02]: In template "StateUpdate(2)": Subcomponent input/output signal Syntax.NEWLINE does not appear in any constraint of the father component

We should resolve these all.
@Autoparallel Autoparallel added research Asking to dive into an unknown json tests Make sure thing work good labels Aug 20, 2024
@Autoparallel Autoparallel changed the title auditing(disclosure): fix all circom constraint warnings auditing(json): fix all circom constraint warnings Aug 23, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
json research Asking to dive into an unknown tests Make sure thing work good
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@Autoparallel