3 ms·
Thanks! 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 mai
by mattdesl 5y ago
Thanks! 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 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!