TLDR:

"Vorgada Treasure Hunt" is a simple game that applies zero-knowledge proof and multi-party computation. Players need to find as many treasures as possible within 50 steps based on the hints at each coordinate. This is a partially hidden information game that does not require a trusted third party to complete.

• As each new round of the game needs to randomly generate a new map matrix, we use an external language to generate the map matrix first, and then input this matrix into the circuit to generate the proof.
• We will put the proof generated by the circuit into the contract of that round of the game. Each step of verification will be carried out in our ZK server and return the result; otherwise, it will be cracked by malicious players through local simulation.

【Screenshot】

Frontend code: https://github.com/justinnzhao/TreasureHuntV1

Demo link: https://treasure-hunt-v1.vercel.app/

Run the Circuit：

Initialization and Circuit Generation:

template MatrixCheck() {
    signal private input matrix[4][6];
    signal input coordinate[2];
    signal input a;
    signal output res;

    function checkNumber(private a, private b) {
        return a === b ? 1 : 0;
    }

    res <== checkNumber(matrix[coordinate[0]][coordinate[1]], a);
}

component main = MatrixCheck();

Running the Circuit: