This repository has been archived by the owner on May 3, 2024. It is now read-only.
Upgrade complex circuits to macro syntax #109
Comments
Sign up for free
to subscribe to this conversation on GitHub.
Already have an account?
Sign in.
Describe the feature you would like
we have big circuits like the EVM code which is filled with confusing constraints that are saved by the comments or the constraint string names. Upgrading these circuits to Brecht's macro syntax would be a big boost to readability.
Additional context
No response
The text was updated successfully, but these errors were encountered: