Developer explores building verifiable, unhackable games using zero-knowledge proofs on Stellar, focusing on a Pong game integrated with Blend protocol's fee vault to distribute yield to game winners.
A developer discusses building games with cryptographic verification using zero-knowledge proofs (ZK) on Stellar. The core project is a game contract that deposits user funds into Blend protocol's fee vault, generating yield that gets distributed to game winners based on faction performance. The speaker explains ZK fundamentals: circuits define game rules, proofs verify rule compliance without revealing inputs, and verification keys ensure only compliant proofs are accepted on-chain. Key challenges include handling physics-based games like Pong (complex to verify), managing real-time multiplayer latency, and preventing cheating by both players and servers. Solutions discussed include incremental verifiable computation (IVC) folding for multi-event proofs and Risk Zero for faster proving. The speaker emphasizes using AI for development while providing extensive context, avoiding mock code, and leveraging audited protocols (Blend, SoroSwap) for fund handling rather than custom implementations.