El proceso dependerá de qué programa uses, pero por lo general suelen tener la opción 'exportar para web'.
La extensión, de pende del tipo de imagen, ya que
.gif sólo soporta 256 colores pero sí admite colors enmascarado (trasparencia),
.jpg no tiene esa limitación pero no puedes enmascarar.
Puedes comprimirlas, ¿cuánto? depende de cada imagen, es cuestión probar y hallar el punto que consideres oportuno en la relación peso/calidad.
Un saludo
௫