Smart Contracts for Agent Lotteries