Show HN: Simple Zero-Knowledge Proof Treasure Hunt Game

Re:Show HN: Simple Zero-Knowledge Proof Treasure Hunt Game by cvoss on Wednesday January 26, 2022 @03:15PM (#30091095)

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.

[ Parent | on HN ]

Re:Show HN: Simple Zero-Knowledge Proof Treasure Hunt Game by zamadatix on Wednesday January 26, 2022 @03:59PM (#30091748)

I 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.

[ Parent | on HN ]

Re:Show HN: Simple Zero-Knowledge Proof Treasure Hunt Game by chrisco255 on Wednesday January 26, 2022 @04:46PM (#30092397)

The entire end-to-end source code (backend and frontend) is available at: 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.

[ Parent | on HN ]

Re:Show HN: Simple Zero-Knowledge Proof Treasure Hunt Game by mattdesl on Wednesday January 26, 2022 @06:40PM (#30093803)

Just 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).

[ Parent | on HN ]