Hmm, Maybe they licensed it from RED, or I think they will get a heavy law suit. .
Why would they license it from Red? CinemaDNG is open file format that dates backs to 2008.
I put my money they don't pay Red a penny for CinemaDNG.
And yes it's compressed RAW and it's 4K.
Where is the Red lawsuit now?