_generate_crct and _generate_both generate different circuit files

NilFoundation / zkLLVM

Zero-Knowledge Proof Systems Circuit Compiler

https://docs.nil.foundation/zkllvm

273 stars 44 forks source link

_generate_crct and _generate_both generate different circuit files #589

Open CblPOK-git opened 3 months ago

CblPOK-git commented 3 months ago

All component inputs are initialized when running in has_assignments() mode, and normal copy_constraints are created. However, in generate-type circuit mode, some steps are skipped, and copy_constraints are created with uninitialized w(0,0) cell.

[ ] fix this issue
[x] add tests to control that everything works as intended