Type Zero is a web3 typing game built on Stellar that uses RISC Zero's ZKVM to generate zero-knowledge proofs verifying game scores on-chain. All game logic is deterministic and verified through Soroban smart contracts, eliminating trust in frontend or backend.
Type Zero demonstrates how zero-knowledge proofs and Stellar smart contracts work together to create a trustless gaming experience. The game captures player keystrokes as deterministic replay events, uses RISC Zero's guest program to compute scores with cryptographic guarantees, and verifies everything on-chain via Soroban contracts. The architecture splits responsibility across four components: frontend captures input, backend generates proofs, RISC Zero guest enforces rules deterministically, and the Soroban contract verifies proofs and updates the leaderboard. Proof verification uses Groth 16 receipts instead of full RISC Zero receipts to keep on-chain submission sizes manageable. The project integrates with Stellar's emerging gaming standard through Gamehub contract calls and demonstrates how moving all trust into deterministic ZK code while keeping contracts minimal creates verifiable game state.
