GitHub repository: risc0/battleship-example
Primary language: Rust
Description: A battleship game using ZKPs