HN user
Thank you for your perspective.
I should've been more specific: is it at all likely that Grover's will enable faster/feasible search of "quantum algorithm space" (?) or crypto_algo_classical_implementations-space? Or are we limited by number of qubits and QEC for the foreseeable future?
... Quantum Algorithm Zoo: http://math.nist.gov/quantum/zoo/
Formal verification: https://en.wikipedia.org/wiki/Formal_verification
And otherwise many of these would all be unactionable research fancies with insufficient review.
Are we going to have standard PQ algos in time for government, infrastructure, and industry to upgrade before disparate or widespread availability of quantum computation capabilities?
One estimate indicated that Bitcoin and ECDSA would be broken with Shor's by - optimistically - 2027.
How many n-year tech acquisition refresh cycles are there between then and now?
Will Grover's algorithm find a more efficient approach?