A CUDA-powered beam search achieved 1.08M points on KALIEN (Asteroids) with zero deaths, verified on-chain via zero-knowledge proof on Stellar.
An engineer achieved a deterministic Asteroids replay on KALIEN scoring 1,082,860 points with zero deaths, with the entire gameplay verified on-chain using a zero-knowledge proof on Stellar. KALIEN is a faithful implementation of the 1979 Atari classic where gameplay runs off-chain and a ZK proof validates the final score using Protocol 25's cryptographic primitives, with the replay verifiable through Boundless. The breakthrough was porting the KALIEN TypeScript engine to CUDA with bit-perfect accuracy for ZK verification, then running a GPU-accelerated beam search to explore thousands of gameplay paths simultaneously. Initial attempts prioritized survival, but the key optimization came from reweighting the fitness function to aggressively maximize saucer count on screen, which increases points per frame regardless of RNG variance. This achievement demonstrates that zero-knowledge gaming on Stellar can handle complex, non-trivial game logic verified on-chain without sacrificing player skill or determinism. It opens the door to cryptographic proof of skill and privacy-preserving competitive gaming at scale.
