Premiere Pro now uses proxy files for editing in its latest update. Import your 4k file and it creates a user defined proxy file, 1080, 720, etc. Editing is then done using the proxy files, so less intensive on the hardware, then when finished, the edits are applied to the original 4K files.