NilFoundation/zkllvm-blueprint

Enable_selector doesn't increase allocated_rows

ETatuzova opened this issue · 0 comments

Satisfiability check runs on blueprint assignment table "allocated_rows":
https://github.com/NilFoundation/zkllvm-blueprint/blob/master/include/nil/blueprint/utils/satisfiability_check.hpp#L63

allocated_rows increases when witnesses or selectors are set, but they are not changed by enable_selector function:
https://github.com/NilFoundation/zkllvm-blueprint/blob/master/include/nil/blueprint/blueprint/plonk/assignment.hpp#L368

So, if selector is switched on some last rows, where witnesses are not allocated, satisfiability check will be passed, but table may not satisfy constraints on these last rows.