[SyncWith:zkllvm#433]Split generate circuit and assignment

NilFoundation / zkLLVM

Zero-Knowledge Proof Systems Circuit Compiler

https://docs.nil.foundation/zkllvm

278 stars 48 forks source link

[SyncWith:zkllvm#433]Split generate circuit and assignment #493

Closed akokoshn closed 7 months ago

akokoshn commented 8 months ago

Split generation circuit and assignment table (circuit should not depend on inputs):

Generate circuit for both true and false branches
Allow run assigner only for generate circuit without inputs (flag --generate-type citcuit)

WARNING:

Not support dynamic loop till no component for handle it.
Not support bit_shift with not constant shift parameter.

Related issues: Closes #407 Closes #433

nil-foundation-cicd-bot[bot] commented 7 months ago

Tests will be run in sync with other PRs containing [SyncWith NilFoundation/zkLLVM#433] in title. You can find related PRs as linked with mentioned issue.