Verifiable Gaming Achievements: traditional online puzzle games lack reliable ways to verify player solutions, with Zokoban all players submit the solution without revealing it.
Fair Competition and Leaderboards: conventional leaderboards are susceptible to manipulation and false submissions, Zokoban ensures that only valid solutions are recorded.
Decentralized Puzzle Verification, Zokoban removes the need for a central authority to verify puzzle solutions
Being completely new to Rust and zero-knowledge proofs, this project was quite the adventure. Figuring out how to turn a simple game into ZK proofs was not an easy ride, escially when you have other pending tasks.
Current examples are good but it feels that there arent many of them. Getting the committed public data in the contracts to play nice wasnt an easy task.
Discussion