Halo2 backend should infer the `k` value from the number of rows of the CompilationUnit

privacy-scaling-explorations / chiquito

DSL for Halo2 circuits

https://docs.pecadorplonkish.xyz/

186 stars 39 forks source link

Closed alxkzmn closed 2 months ago

alxkzmn commented 2 months ago

For the PlonkishCompilation, num_rows can be accessed via Assignment Generator. TODO: handle the super circuit case.