Redis sorted sets for O(log n) score updates and rank queries; MySQL holds durable points and profiles. Top-N, a player's own rank, and the players around them.
Hashing, key generation, read-heavy caching.