Live data from Hacker News

Quantum Algorithms for Lattice Problems

eprint.iacr.org

81–90 of 127 posts

Re: Quantum Algorithms for Lattice Problems

#81
post #80

Earlier quoted context omitted.

We are within 20 years of scalable quantum computers already.

The record for integer factoring on quantum computers was on the order of factoring fifteen into three times five the last time I checked. Can we do three digits now?

The last time I checked they even cheated to factor fifteen

Re: Quantum Algorithms for Lattice Problems

#83
post #44

Earlier quoted context omitted.

If scalable quantum computers do not exist, we do not need PQC.

Hemomorphic encryption is not the same thing as post quantum crypto?

No, they're orthogonal terms. Homomorphic encryption is encryption where a specific operation on ciphertexts (e.g., ×) translates into an operation on the underlying plaintexts (e.g., +). With fully homomorphic encryption, there are even two such ciphertext operations (and corresponding plaintext operations).

Post quantum crypto is cryptography that cannot be broken by a quantum computer. This is rather nebulous, since we haven't yet discovered all possible algorithms that can run on quantum computers. Before you know it, someone comes along and finds a new efficient algorithm for quantum computers that breaks something thought to be post-quantum. Which is what is happening here - if the results stand up under scrutiny.

Sidenote: it may turn out that any crypto scheme which supports some operation on ciphertexts that translates into an operation on the plaintexts is quantum-resilient (or, vice versa, quantum-vulnerable). But tgat would require a fornal proof.

Re: Quantum Algorithms for Lattice Problems

#84
post #80

Earlier quoted context omitted.

We are within 20 years of scalable quantum computers already.

The record for integer factoring on quantum computers was on the order of factoring fifteen into three times five the last time I checked. Can we do three digits now?

Significantly larger numbers than 15 have been factored [1] but not using Shor's algorithm. Shor's algorithm is particularly sensitive to noise/errors in your quantum computer and isn't going to be useful unless we get a properly error corrected machine working. The algorithms used in [1] are considerably less fancy (with worse asymptomatic performance) but are more resilient to noise.

[1] https://arxiv.org/abs/2012.07825

Re: Quantum Algorithms for Lattice Problems

#85
post #81
post #80

Earlier quoted context omitted.

The record for integer factoring on quantum computers was on the order of factoring fifteen into three times five the last time I checked. Can we do three digits now?

The last time I checked they even cheated to factor fifteen

You should check again. Numbers like 1099551473989 have been factored successfully by now. The arxiv link in the sibling post is a good start.

Re: Quantum Algorithms for Lattice Problems

#86

Earlier quoted context omitted.

I didn’t say the runtime did I? The approximation ratio went from exponential to polynomial noise ratio. This just went from 2^n to n^4.5 and everyone seems to say “oh this is fine”.

The attackable noise ratio did not go from exponential to polynomial either. It went from classically subexponential to quantumly polynomial.

Yes sub exponential which is splitting hairs. Exp(O(n log log n / log n)). Thanks for the acknowledgment that I didn’t say runtime.

Re: Quantum Algorithms for Lattice Problems

#87
post #80

Earlier quoted context omitted.

The record for integer factoring on quantum computers was on the order of factoring fifteen into three times five the last time I checked. Can we do three digits now?

Significantly larger numbers than 15 have been factored [1] but not using Shor's algorithm. Shor's algorithm is particularly sensitive to noise/errors in your quantum computer and isn't going to be useful unless we get a properly error corrected machine working. The algorithms used in [1] are considerably less fancy (with worse asymptomatic performance) but are more resilient to noise. [1] https://arxiv.org/abs/2012.…

And to extend off this comment, there are methods being worked on for building qubits that are intrinsically noise-free and don’t need the exponential number of error correcting operations. When those are available, you’ll see a step function increase in capabilities.

Re: Quantum Algorithms for Lattice Problems

#88
post #80

Earlier quoted context omitted.

The record for integer factoring on quantum computers was on the order of factoring fifteen into three times five the last time I checked. Can we do three digits now?

Significantly larger numbers than 15 have been factored [1] but not using Shor's algorithm. Shor's algorithm is particularly sensitive to noise/errors in your quantum computer and isn't going to be useful unless we get a properly error corrected machine working. The algorithms used in [1] are considerably less fancy (with worse asymptomatic performance) but are more resilient to noise. [1] https://arxiv.org/abs/2012.…

that paper is factoring with an algorithm that almost certainly isn't polynomial time. That paper is only slightly better than the quantum factoring algorithm of making a quantum computer perform trial division.

Re: Quantum Algorithms for Lattice Problems

#89
post #85
post #81

Earlier quoted context omitted.

The last time I checked they even cheated to factor fifteen

You should check again. Numbers like 1099551473989 have been factored successfully by now. The arxiv link in the sibling post is a good start.

biggest number factored by a quantum computer isn't the right question. the right question is biggest number factored using a polynomial time algorithm. the answer to that as far as I know of still 15 (although I would be interested in papers that show more progress)

Re: Quantum Algorithms for Lattice Problems

#90
post #17

Earlier quoted context omitted.

Major systems and big companies like Google are already mid-transition to PQC. So it is alarming.

Their deployment is additive. You would need to break both the PCQ and classical schemes, so they’d be unaffected here.

They wouldn't be immediately hacked, especially as this is a quantum algorithm anyway. But if it turns out that the current PQC schemes are not quantum-resistant, then that work will need to be redone (unless the progress in quantum computing stalls out, I guess). The current result does not break Kyber / Dilithium / NTRU variants / Falcon / FrodoKEM even assuming it's correct, but obviously there's some concern that the a follow-up result might improve on it.

The NIST process has been running for 7 years, though they do have a few "non-lattice" schemes waiting for a 4th round of standardization: the code-based schemes Classic McEliece, BIKE and HQC. We could switch over to those, and the work to add crypto-agility to protocols would not be wasted, but the work on lattice software and hardware would be largely wasted.

Also, error-correcting codes are also solving short-vector problems in a lattice! But since the lattice has a different shape maybe it would be fine? After codes the list gets pretty thin... like there's CSIDH, but it's very slow, has partial quantum attacks, and it isn't very trusted after SIKE got broken in half.

Post reply on HN