Ciao,
il 4K è supporto da Ultra HD Blu-ray, ma ritengo sia inutile investire su un prodotto del genere.
La cosa importante è impostare correttamente la risoluzione del progetto. generalmente se la prima clip che importi sulla timeline è 4K il progetto si imposta automaticamente in 4K.
Appurato ciò, cioè che il progetto abbia la risoluzione adeguata alle clip video che si andranno a montare, l'esportazione è semplicissima.
Quando esporti puoi usare l'impostazione Master File se vuoi un file alla massima definizione e quindi anche molto pesante, oppure scegliere il preset Apple Devices 4K che impiega il formato di compressione solito H264