I think that if China has technology to break any [1] encryption with 256 bit key, they should have technology [2] to break encryption with longer keys. [1] Ar

I think that if China has technology to break any [1] encryption with 256 bit key, they should have technology [2] to break encryption with longer keys. [1] Article does not specify encryption algorithms, so we should assume "any encryption algorithm can be broken" here. [2] Contemporary SAT (CDCL) solvers accumulate constraints derived from problem being solved and it has been shown (proven, even) to exponentially speed up search process. Resulting algorithm is still exponential (2^O(N)), but exponentially faster than brute force (different constants).