the fastest commercially available glass is 0.75-1.0. that means the 0.7 from the glass Kubrik used is still the fastest. i seriously doubt that even someone the likes of Kubrik would have the clout to approach the NRO and ask for whatever the best they have is to shoot a feature film. so your non-classified caveat is kind of pointless.