rcc icon indicating copy to clipboard operation
rcc copied to clipboard

Reduce witness gen code bloat by supporting runtime witness gen loops

Open clvv opened this issue 2 years ago • 0 comments

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.

clvv avatar Aug 31 '23 22:08 clvv