Skip to content

bullet-tooth/zk-battleship

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

2 Commits
 
 
 
 
 
 
 
 
 
 

Repository files navigation

ZK-Battleship

This repository show an example implementation of the well known Battleship game based on ZK-SNARKS.

Battleship Game Mechanics

The console application generates a field with randomly placed ships. And user is trying to guess where the ships located by providing coordinates. Before the game starts the correctness of the field is verified by Rank-1 Constraint System (R1CS).

Current implementation uses arkworks zkSNARKs library.

How To Run

To run the application you need Rust installed, then simply run:

cargo run

TODOs

  • Check field correctness including ship bounds.
  • Add trusted setup for zkSNARK verification using Groth16 proof system.
  • Add proof generation for each shoot i.e. generate ZK proof that the user hit a ship or missed.

Releases

No releases published

Packages

No packages published

Languages