Eine Option wäre zadd leaderboard highscore.(Long.MAX_VALUE - timestamp) player_id.attempt_number
(Ändern Sie Long.MAX_VALUE auf einen angemessen höchstmöglichen Wert für Ihren Zeitstempel - Ein signiertes 64-Bit-Int speichert ungefähr 300 Millionen Jahre im Wert von Millisekunden, sodass dies möglicherweise nicht benötigt wird)
EDIT:Vergessen Sie nicht, führende Nullen hinzuzufügen :)