search

NilFoundation / zkLLVM

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

[Possible bug] private inputs assigner run fails on new zkllvm-template in branch nkaskov-update-cmake #500

Closed manylov closed 7 months ago

manylov commented 7 months ago

Describe the bug Working with https://github.com/NilFoundation/zkllvm-template/tree/nkaskov-update-cmake Tried to run https://github.com/Resolfinity/zkllvm-casper-experiments/tree/main/4.poseidon-commitment/test-server cpp and input, make worked ok, but assigner not: image

Removed [[ptivate_input]] from arguments, and it works. Seems the issue is in [[private_input]]

To Reproduce How to reproduce the behavior:

  1. Compile circuit with private inputs, like noted above
  2. Run assigner

Expected behavior No error

Toolchain versions

  1. https://github.com/NilFoundation/zkllvm-template/tree/nkaskov-update-cmake
  2. Commit: 8853254331b741ca1c899a02166b80053d2c1cca
nkaskov commented 7 months ago

@CblPOK-git , could you please check if it's still present? @manylov checked on this commit: 8853254331b741ca1c899a02166b80053d2c1cca

After this commit, I've substituted the example code and the input with a very simple arithmetic example. It makes sense to restore the old version.

CblPOK-git commented 7 months ago

@manylov we moved private inputs to separate file, create second json, move private inputs there and pass file name with -p flag