search

NilFoundation / zkLLVM

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

[Possible bug] unsupported opcode type: freeze #499

Closed manylov closed 7 months ago

manylov commented 7 months ago

Describe the bug When trying to run assigner on some circtuits, i got errors like following: image

I've made some research and found some variations of circuits codes which fail or ran successfully. Put them into the separate repo.

To Reproduce How to reproduce the behavior:

  1. Compile circuits from repo i've made for this issue: https://github.com/manylov/zkllvm-issues
  2. Run assigner

Expected behavior No error

Toolchain versions

  1. Run in zkllvm with docker 0.1.8
nkaskov commented 7 months ago

Fixed with this PR: https://github.com/NilFoundation/zkllvm-assigner/pull/169