How is the proof different than a signed message saying "This person has found the treasure"? With the private key derived from the coordinates?
Anyway, I'm off to read more about ZK proofs in hopes of making the above sound silly to me.
How is the proof different than a signed message saying "This person has found the treasure"? With the private key derived from the coordinates?
Anyway, I'm off to read more about ZK proofs in hopes of making the above sound silly to me.
The main issue is that the circuit is simply hashing the coordinates and the resulting hash is being used to identify the treasures. So it is already fairly similar to the scenario you describe, but in an ideal ZK system it would not even reveal a hash of the coordinates, only verifiable knowledge of them.
For example, I _think_ it might be closer to true ZK if I had hardcoded an equality check with exactly (5, 10) coordinates into the ZK circuit, rather than using hashes to support a variety of coordinates (but then it wouldn’t be as general purpose). Perhaps there’s another better way though!
The idea in ZKP is to prove you know a value without revealing the value itself.