Sony showed two prototype 4K cameras and also cinema prime lenses at the 2013 NAB Show. From the images below Sony cinema lenses are 20mm, 50mm and 135mm prime lenses.
Also at NAB Show 2013, one of the two prototype 4k cameras has a DSLR-like design similar to the Canon EOS-1DC. There are no available specs of the 4k cameras.
Several 4K resolutions exist in digital television and digital cinematography. The term 4K refers to the horizontal resolution of these formats, which are all on the order of 4,000 pixels.
Sony 4K Cameras and Lenses at the 2013 NAB Show
On professional production, 4K/UltraHD content is produced from high-end film captured by 8K scanners (7680×4320 pixels) or 8K sensors cameras (7680×4320 pels) or 4K CGI (4096px X 2160px). (Content produced from digital cameras using “4K sensors” (3840 pel x 2160 pels) is not considered 4K-Digital-Film/UltraHD but 2K)