Como podemos confiar em algoritmos que ainda não foram testados contra um computador quântico real? Engenheiros não esperam por um terremoto para testar se uma ponte suporta o peso. Eles calculam a carga que ela precisa suportar antes mesmo de ser construída. Criptógrafos fazem o mesmo. Eles contam quantos passos o melhor ataque conhecido exigiria. O algoritmo de Shor é a prova de que isso funciona. Ele demonstrou que a criptografia de curva elíptica é quebrada em tempo polinomial em um computador quântico suficientemente potente. Isso aconteceu em 1994, três décadas antes de existir uma máquina capaz de executá-lo. A matemática chegou primeiro, enquanto o hardware ainda está se atualizando. Nenhum ataque clássico ou quântico eficiente é conhecido contra assinaturas de reticulados como ML-DSA, o padrão finalizado pelo NIST em 2024. Os problemas de reticulados subjacentes foram estudados por décadas. É o resultado de anos de análise aberta por criptógrafos que ativamente tentam quebrá-lo.