[anigbrowl]

It exists but it's slow which is why it's not standard in many video editing platforms yet. Encoding speed for 4k using the Divx encoder is <1fps. So a 2 hour film owuld take about 48 hours on an i7. I think there are some commercial codecs that are a bit faster like the Cinemartin one, but they're about $500. Makes sense if you have a small rendering farm, but limits demand at the bottom end of the market.

Of course you can just distribute the decoder, and of course the decoder is much faster (Divx is 28fps ont he same Core i7 IIRC). But the # of people with 4k displays right now is really tiny compared to the install base for HD, like I'd guess <<1%.