ZK Verify Logo

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

ETHWarsaw