Jedną z opcji byłoby wykonanie zadd leaderboard highscore.(Long.MAX_VALUE - timestamp) player_id.attempt_number
(zmień Long.MAX_VALUE na jakąkolwiek rozsądnie najwyższą możliwą wartość dla Twojego znacznika czasu — podpisany 64-bitowy int będzie przechowywać milisekundy o wartości około 300 milionów lat, więc może to nie być potrzebne)
EDYCJA:Nie zapomnij dodać wiodących zer :)