[Possible bug] arithmetics example proving fails on some input on master

NilFoundation / zkLLVM

Zero-Knowledge Proof Systems Circuit Compiler

https://docs.nil.foundation/zkllvm

273 stars 44 forks source link

[Possible bug] arithmetics example proving fails on some input on master #575

Open CblPOK-git opened 3 months ago

CblPOK-git commented 3 months ago

this input [ {"field": "0x123456789abcdef0123456789abcdef01234567890abcdef01234567890abcde"}, {"field": "0x123456789abcdef0123456789abcdef01234567890abcdef01234567890abcde"} ] assignment process goes well, but verification fails