Football.Fun debuts FUN token as sports betting drives onchain prediction markets