Amenaza Cuántica: ¿Qué criptografía muere y cuál vive? (O: ¿Por qué los ZK-STARKs son seguros frente a la computación cuántica?) Anteriormente, expliqué cómo funciona una computadora cuántica: Piensa en la resolución de problemas como intentar escapar de un laberinto. Hay muchos caminos posibles y necesitas revisar cada uno de ellos hasta que encuentres la salida. Así es como funciona una computadora clásica (no cuántica). Pero las leyes de la mecánica cuántica permiten hacer mejor. Permiten que un sistema (un grupo de partículas) explore en paralelo *todos* los diferentes caminos en el laberinto. Los caminos que llegan a una salida permanecen viables mientras que los que conducen a un callejón sin salida desaparecen. Luego, el universo elige al azar uno de los caminos viables restantes (esta es la parte que a Einstein no le gustaba, diciendo "Dios no juega a los dados", solo que en realidad lo hace). Así es como una computadora cuántica resuelve problemas que llevarían a una computadora clásica millones de años en resolver. Pero hay tipos de primitivas criptográficas que son vulnerables a una computadora cuántica, y otras que permanecen seguras. ¿Cómo es esto posible? En mi explicación anterior omití una parte crucial: No todos los laberintos son iguales. Hay algunos laberintos en los que los caminos de callejón sin salida desaparecen, dejando al universo solo con el buen camino que llega a una salida. Los llamo "laberintos cuánticamente fáciles" porque cuando el universo selecciona un camino para tal laberinto, siempre será un camino que conduce a una salida. Fácil de alcanzar el final del laberinto significa fácil de romper. Sin embargo, en "laberintos cuánticamente difíciles" todos los caminos permanecen "vivos", ya sea que lleguen a un callejón sin salida o a una salida. Para tal laberinto, una computadora cuántica no es mejor que una computadora clásica. Cuando Dios lanza un dado y elige un camino, todos los caminos – buenos y malos – tienen la misma probabilidad de aparecer. Así que una computadora cuántica hace el análogo de una computadora clásica, revisando al azar un solo camino en el laberinto. Ahora probablemente te estés preguntando: ¿Qué laberintos son cuánticamente fáciles y cuáles no? ...