@Tecnoedumx

Existen muy pocos editores de vídeo 4K, y la mayoría son de pago. Aquellos que son gratuitos o bien incluyen herramientas de edición muy básicas, o los resultados no son los esperados.
Es por eso que merece la pena echar un vistazo a OpenShot 2.2, en cuya última versión lanzada hace un par de días acaba de añadir la edición de vídeos con resolución 4K. Aquí puedes ver cómo funciona:

Via Gumersindo Fernández