Smart Contracts for the Snake Betting Game