Zero-Knowledge Proof Treasure Hunt
Learning and science
zero-knowledge proof demo
SHOW HN2022
Zero-Knowledge Proof Treasure Hunt
Simple Zero-Knowledge Proof Treasure Hunt Game
zk-treasure-hunt.glitch.meHow HN took it
2 positive, 10 neutral or asking, 0 mixed, 6 critical, out of 18 comments about the project. Thread score -0.11.
Idea: 1 for, 3 againstExecution: 1 for, 2 againstDocs: 0 for, 1 against
The thread, comment by comment
Each row is a top-level comment and its replies, in HN's order. Select a cell to open that comment on HN.
positive neutral or mixed critical about another commenter or something else the maker
What HN said
What people liked
Nice demo and interesting idea
From 2 comments
Nice demo. I found up to "harder". I assume you would need to bruteforce to find the "impossible". proof: ``` {"proof":…
nicexe on HNReally interesting idea. I'm also stuck on the last proof: ``` {"proof":…
shhsshs on HN
Objections
Does not clearly prove zero knowledge; proof may leak coordinate information
From 3 comments
I did verify that you found the "harder" treasure, but I am not sure this is a good example of zero knowledge proof. The author claims that > you can Download the JSON Proof…
dfdz on HNThis doesn't seem like a zero knowledge proof to me. It seems like, for this to work, you have to have a prover, a validator and a 3rd party. By revealing the authentication to…
relaunched on HNI'm not sure why that matters. By inputting coordinates, you have giving extra information. There is a difference between verifying that someone knows the coordinates and sharing…
relaunched on HN
Does not work on mobile and breaks on long number input
From 3 comments
It doesn't seem to work on mobile (maybe a limitation of snarkjs)—I've been testing only on macOS Chrome.
mattdesl on HNIf you try to input a number longer than 10 digits in either field it'll break and you have to refresh. You can see the error in the console. Its not stuck on searching, it just…
amflare on HNThe website is stuck on “searching” for me? Is this expected?
eruleman on HN
Proof output shown without explanation
From 1 comment
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.
zamadatix on HN
Requests
Explain how the proof works and why it hides coordinates
From 2 comments
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.
zamadatix on HNI did verify that you found the "harder" treasure, but I am not sure this is a good example of zero knowledge proof. The author claims that > you can Download the JSON Proof…
dfdz on HN
Better handling of signed proofs to prevent proof theft
From 2 comments
It's not mentioned on the website, but, empirically, at least, I see the generated proof file is different if you find the same treasure multiple times. That means if someone…
cvoss on HNThe trick is to sign the secret, not the proof. And than to prove inside the circuit following claims: 1) secret (provided as a hidden input) is correct a solution to the puzzle…
pepesza on HN
Questions
How to tie a proof to a user so stolen proofs can be detected
From 2 comments
It's not mentioned on the website, but, empirically, at least, I see the generated proof file is different if you find the same treasure multiple times. That means if someone…
cvoss on HN> Does such a mechanism exist? Sign the puzzle solution with your private key. Check signature inside the circuit. This obviously can't be applied to this particular game since…
pepesza on HN
Whether the hashed coordinates reveal information
From 2 comments
I haven't looked at the game implementation in detail yet, but in order to verify "This person has found the treasure" is signed with the key for coordinates (X,Y), we need to…
minism on HNThanks! You may be correct in that this application could be better achieved with a simple signed message—this is my first time playing with ZK proofs. The main issue is that the…
mattdesl on HN
Alternatives named
Signed messages
From 1 comment
I think there is an impedance mismatch in how easy the game is to understand versus how the ZK proof part has required reading. Some (if not most) of the questions or comments…
aib on HN
Blockchain token reward systems
From 1 comment
I have the feeling someone's going to put this game on blockchain with token rewards.
can16358p on HN