Salt formula for Redis