zkLLVM icon indicating copy to clipboard operation
zkLLVM copied to clipboard

Published 20 hours ago • verified publisher icon NilFoundation

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

Open CblPOK-git opened this issue 5 months ago • 0 comments

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

CblPOK-git avatar Mar 18 '24 10:03 CblPOK-git