PQfanboy

3 ms·

1. 1.▲
   by PQfanboy 8y ago

   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? O
2. 2.▲
   by PQfanboy 8y ago

   Formal verification: https://en.wikipedia.org/wiki/Formal_verification
3. 3.▲
   by PQfanboy 8y ago

   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 availabil