Our implementation of Chrone’s T–Rex Runner ensures cheat-free gameplay by leveraging the Valida zkVM to prove the game state in the Rust backend. The game's location data is sent to the secure backend, and every gameplay can be proven in a Valida zkVM environment. The client-side only needs to render the game normally and send data of game state to the backend for verification. This happens at the end of each game if a user selects to generate a proof for their score.

Client-side verification and/or proving is a future change we will implement. This will improve the game and its use of the zkVM because all the real game physics will be verified as they happen without cutting any corners.