Du kannst das gif in fast alle Grafikprogramme (zB. Gimp) laden und daraus jedes beliebige Format machen. Einfach unter zB. Jpg speichern. Ob das von der Auflösung dann allerdings reicht und welches Format du eigentlich für die ps4 brauchst, kann ich dir nicht beantworten.