[Possible bug] Incorrect satisiability check in case of empty proxy

NilFoundation / zkLLVM

Zero-Knowledge Proof Systems Circuit Compiler

https://docs.nil.foundation/zkllvm

278 stars 48 forks source link

Closed akokoshn closed 8 months ago

akokoshn commented 8 months ago

If one of proxy has empty used_gates/lookup_gates/copy_constraints is_satisfied fails

nil-foundation-cicd-bot[bot] commented 8 months ago

PRs, synced with the current issue:

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

akokoshn commented 8 months ago

merged