I'm trying to create a zk-proof of a neural network in https://github.com/berendjan/zk-neural-network using ZoKrates and PyTorch. The steps to reproduce are in the README.md

However, when computing the witness I run into errors

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

Am I hitting some limitations of zk-proofs with 12 million constraints? Am I hitting some ZoKrates limitations with 12 million constraints?

I want to build a verifier for proofs of a neural network computation, hoping that the computation will be much lower than otherwise needed when running the network directly. I'm using the parameters of the neural network model as constant fixed precision integers in the ZoKrates scripts. Does this work as I want too?



Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Browse other questions tagged or ask your own question.