What open-source video editors are available with 4k capabilities?

Are there any open-source video editors available for Ubuntu that have 4k exportation capabilities?

If not, are there any proprietary (free or paid) license video editors with these skills?

Blender has an integrated Video Sequencer and supports 4K cinema resolution, a proof of that is that Sintel, a movie produced with blender, is available for download in 4K :)

http://www.blendernation.com/2011/02/20/sintel-4k-available/

More information about Blender here:

http://www.blender.org/

You can obviously install Blender from the Ubuntu Software Center.

Looks like Lightworks will be available for ubuntu next month.

http://www.omgubuntu.co.uk/2012/09/oscar-winning-video-editor-lightworks-landing-on-linux-in-october

Lightworks running on Ubuntu

Openshot, Shotcut,and Kdenlive now support the editing and export of 4K videos.

• Among them, the fastest editor should be Shotcut as it allows you to create optimized media and take utilization of GPU acceleration.
• Kdenlive is stable on Linux system, but temporarily not quite stable on Windows.And it doesn't support GPU acceleration and multi core CPU processing.

• Openshot is buggy and more basic.

  file-size-with-kdenlive