[Feature request]: generate constaraints for FALSE branch of runtime condition statement

[akokoshn]

Problem Circuit file produced by assigner must be independent on input. Now it's not true if we have in code runtime condition dependent on input: generated constraints only for TRUE branch.

Solution Generate circuits for both branches

Related issues https://github.com/NilFoundation/zkLLVM/issues/419

[akokoshn]

Implementation steps

• zkLLVM (assigner main): add flag generate-type (CIRCUIT, ASSIGNMENT, CIRCUIT-ASSIGNMENT)
• assigner: handle generate-type flag, generate circuit for FALSE branch (same circuit for different inputs) - https://github.com/NilFoundation/zkllvm-assigner/tree/433-split-generate-circuit-assignments
• blueprint: don't pass assignment table to generate_circuit

[akokoshn]

generate circuit for FALSE branch

complexity

[akokoshn]

Implementation: https://github.com/NilFoundation/zkLLVM/pull/514

WARNING: follow CPP features becomes unsupported after apply change:

• Dynamic size loops
• Recursion

Instructions unsupported without generate assignment:

• IndirectBr

Skip CPP examples/tests due to unsupported dynamic loop:

• libc/strlen
• libc/strcmp
• libc/strncmp
• libc/strcpy
• libc/strncpy
• strlen example

Modify examples/tests due to unsupported dynamic parameters:

• cpp/bit_operations/shift_left
• cpp/bit_operations/shift_right
• cpp/algebra/integers/shift/left
• cpp/algebra/integers/shift/right

reduce size of inputs for zkbridge

Enable unroll constant loops in RUST examples by using macros #[unroll_for_loop] - https://github.com/akokoshn/zkllvm-unroll, with follow limitations:

• only literal constant range
• required name of iterator

[nil-foundation-cicd-bot[bot]]

PRs, synced with the current issue:

• NilFoundation/proof-producer#57 (SHA: 47b3140)
• NilFoundation/zkLLVM#514 (SHA: 5717cbe)

Note: Please do not edit this comment; it's generated automatically.