search

NilFoundation / zkLLVM

Zero-Knowledge Proof Systems Circuit Compiler
https://docs.nil.foundation/zkllvm
278 stars 48 forks source link

Improve satisfiability check #480

Closed akokoshn closed 8 months ago

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

Tests will be run in sync with other PRs containing [SyncWith NilFoundation/zkLLVM#479] in title. You can find related PRs as linked with mentioned issue.