zkLLVM icon indicating copy to clipboard operation
zkLLVM copied to clipboard

_generate_crct and _generate_both generate different circuit files

Open CblPOK-git opened this issue 5 months ago • 0 comments

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

CblPOK-git avatar Mar 28 '24 15:03 CblPOK-git