After compilation (on MacBook Pro 2015 Intel i5 it took roughly 90 mins.)
The setup phase was working, however when computing the witness I see the following:
time ./run.sh
Compiling network.zok
Compiled code written to 'out'
Number of constraints: 12697691
Performing setup...
Verification key written to 'verification.key'
Proving key written to 'proving.key'
Setup completed
Computing witness...
Execution failed: Sum check failed
The default ZoKrates interpreter should not yield this error. Please open an issue.
real 62m19.883s
user 50m2.462s
sys 16m59.227s
So Sum check failed
Is there a limitation I'm hitting?
Or is something else wrong?
I'm trying to use this for a hackathon due next week, any help would be greatly appreciated!
Description
I trained a small Neural Network model in PyTorch and I'm trying to compute a witness when I get an error stating that I should open an issue.
the repo with reproduction instructions
this is my run script:
After compilation (on MacBook Pro 2015 Intel i5 it took roughly 90 mins.) The setup phase was working, however when computing the witness I see the following:
So Sum check failed
Is there a limitation I'm hitting? Or is something else wrong? I'm trying to use this for a hackathon due next week, any help would be greatly appreciated!
Thanks in advance!
Environment
Steps to Reproduce
Please follow the steps in the repo here -> https://github.com/berendjan/zk-neural-network