ZiK-ZaK-Zoo JOLT is a Tic-Tac-Toe-like game with a twist, implemented in Rust and utilizing the JOLT framework for zero-knowledge proofs.
- Play against a computer opponent
- Random seed generation for game initialization
- Zero-knowledge proof generation and verification of player wins
- The game uses a custom pseudo random number generator (LCR with MMIX parameters) seeded by the time between 2 user inputs.
- Players take turns placing 'Z' (human) and 'K' (computer) on a 3x3 grid.
- The game records the seed and player moves.
- After a win, the game generates a zero-knowledge proof of the player's victory (taking seed + moves as inputs), and verifies it.
src/main.rs
: Main game logic and user interface (host)guest/src/lib.rs
: Zero-knowledge proof generation and verification (guest)core/src/lib.rs
: Core game mechanics and data structures
- JOLT SDK
- Custom
zikzakzoo-core
library for game logic
To run the game, use cargo run --release
in the main directory.