search

pepper-project / pequin

A system for verifying outsourced computations, and applying SNARKs. Simplified release of the main Pepper codebase.
Other
122 stars 46 forks source link

Private input #5

Closed vishal16babu closed 7 years ago

vishal16babu commented 7 years ago

Ben-Sasson, Eli, et al. "Succinct Non-Interactive Zero Knowledge for a von Neumann Architecture." USENIX Security. Vol. 2014. 2014.

This paper talks about F(x,w) where w is private input to F. But the current code implementation requires all the inputs to be public (shared with both prover and verifier). Is there any work around for that ?

cnasikas commented 6 years ago

Hi

Did you find any solution? Is exo_compute for that purpose or pequin doen't support private inputs?

Thanks in advanced

maxhowald commented 6 years ago

Pequin supports private inputs. The documentation has been updated a bit since this pull request was created.

Please look at the section "Private prover input" in GETTINGSTARTED.md, and some further notes in exo_compute.txt

If you have any further questions or issues, please let us know! (You can open a new pull request, or send us email at pepper@pepper-project.org.)

cnasikas commented 6 years ago

Thanks a lot for your answer!