3 ms·
Are you doubting that the application implements the zk-SNARK algorithm correctly? Or doubting that the application actually running on the server is the same a
by cvoss 5y ago
Are you doubting that the application implements the zk-SNARK algorithm correctly? Or doubting that the application actually running on the server is the same as the one in the publicly available source code? Or something else?
The first doubt could be eliminated by an expert investigating the source code. The second doubt is more interesting to me. I wonder how that one could be dispelled.
- zamadatix 5y agoI don't think anything is being doubted just dumps you the numbers and tells you it is so without explaining why or how making for a weak example.
- chrisco255 5y agoThe entire end-to-end source code (backend and frontend) is available at: https://glitch.com/edit/#!/zk-treasure-hunt?path=README.md%3A1%3A0 https://glitch.com/edit/#!/zk-treasure-hunt?path=README.md%3... . It's a full-stack Glitch example, so you can browse all the code, and fork it and edit it.
- mattdesl 5y agoJust fwiw the demo runs client side as a static site - no server is really needed for proof generation or verification. In a more ideal scenario the code and prover/verifier would all be running in a decentralized fashion (see zk-evms and StarkNet for example).