So, NSA can break 64-bit keys