Verifiable zk-mastermind
By zkVerify1
Description
The Problem Verifiable zk-mastermind Solves: Compared with the original game, we imported the zkVerify library to handle the verification of any submitted guess. Once the player (acting as the code breaker) orders to verify a previous guess, the zk proof and relevant public signals of that guess are displayed at the front end, and a zkVerify session is triggered to verify that proof. Our modification on the original repo comprises: - components/Game.tsx: the gameplay frontend, we created two additional textboxes to output the zk proof and list of public signals of a submitted guess once it requires verification. - context/GameContext.tsx: the React context holding game states, in which we applied the zkVerify hook to operate a proof verification by zkVerify. context/useZkVerify.ts: the zkVerify hook, almost directly derived from the sample sudoku project.
Technologies Used
- zkVerify
- Solidity
- React
- JavaScript
- Hardhat
Built At
ETHWarsaw