[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 #514

Closed akokoshn closed 6 months ago

akokoshn commented 7 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 https://github.com/NilFoundation/zkLLVM/issues/407
Closes https://github.com/NilFoundation/zkLLVM/issues/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.