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…
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…
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…
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…