Fix Translator relations #1128
Assignees
Labels
bug
Something isn't working
Comments
Rumata888
added a commit
to AztecProtocol/aztec-packages
that referenced
this issue
Oct 31, 2024
…ide of minicircuit (#9251) When Translator was built, there was expectation on using ZM's degree checks for minicircuit polynomials later. ZM is dead, so we have to enforce those in another way so there is no soundness issue during polynomial concatenation. This PR adds relations to ensure range_constraint polynomials are zero outside of minicircuit ClientIVC before:  ClientIVC after:  Fixes AztecProtocol/barretenberg#1128
AztecBot
pushed a commit
that referenced
this issue
Nov 1, 2024
…ide of minicircuit (#9251) When Translator was built, there was expectation on using ZM's degree checks for minicircuit polynomials later. ZM is dead, so we have to enforce those in another way so there is no soundness issue during polynomial concatenation. This PR adds relations to ensure range_constraint polynomials are zero outside of minicircuit ClientIVC before:  ClientIVC after:  Fixes #1128
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Since we are not going to be doing degree checks on translator polynomials in the mini circuit, we have to add relations ensuring range constraint wires are zeroed out outside of the mini circuit (should be 64 2-degree equations which can be skipped almost all the time)
The text was updated successfully, but these errors were encountered: