You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository was archived by the owner on Mar 14, 2024. It is now read-only.
Currently, repeated circuit components incur large witness generation code. This is because there is a separate line of rust statement invoking the witness generator for each circuit component each time the component is used. This results in long compilation times for the generated witness gen code.
Solution?
We need to explore ways to reduce the generated code size. Effectively, iterative calls to the same witness gen needs to be generated as runtime loops, instead of "unrolled" loops as they currently are. Moreover, we should support both sequential and parallel runtime loops.
Problem
Currently, repeated circuit components incur large witness generation code. This is because there is a separate line of rust statement invoking the witness generator for each circuit component each time the component is used. This results in long compilation times for the generated witness gen code.
Solution?
We need to explore ways to reduce the generated code size. Effectively, iterative calls to the same witness gen needs to be generated as runtime loops, instead of "unrolled" loops as they currently are. Moreover, we should support both sequential and parallel runtime loops.
The exact solution is TBD.