Hay dos amenazas a considerar aquí. Primero usaría el algoritmo de Grover para acelerar la minería de Bitcoin. El segundo sería usar el análogo de curva elíptica del algoritmo de Shor para resolver el problema del logaritmo discreto para romper el algoritmo de firma digital utilizado para firmar transacciones.
El algoritmo de Grover resuelve el problema general de encontrar x que satisfaga y = f (x) en el tiempo O (2 ^ (n / 2)) cuando x es n bits. El paso difícil de la minería de Bitcoin es encontrar x tal que SHA-256 (bloque, x) esté por debajo de cierto umbral dependiendo del nivel de dificultad. En el peor de los casos, el umbral podría ser 0, lo que requeriría 2 ^ 256 evaluaciones SHA-256 usando una computadora convencional o 2 ^ 128 evaluaciones usando una computadora cuántica. Por lo tanto, no hay amenaza de que la red de Bitcoin no pueda elevar el nivel de dificultad lo suficientemente alto como para resistir incluso el cálculo cuántico, siempre que no se descubran otras debilidades en SHA-256.
El problema por el que debe preocuparse es usar el algoritmo de Shor para romper el ECDSA. Esto facilitaría el robo de Bitcoins derivando claves privadas de claves públicas, y lo más probable es que conduzca al colapso de la moneda (y al fracaso de la criptografía de clave pública en general).
- ¿Hay alguna evidencia de que el universo sea una computadora cuántica? ¿La hipótesis de un universo simulado es realmente tomada en serio por los científicos?
- ¿Cuál es el significado de 'cuantizado' cuando hablamos de física cuántica?
- ¿Dónde está la próxima revolución en la informática: transistores / computadoras cuánticas cada vez más pequeñas, o la ciencia de la información que las utilizará?
- ¿Se puede lograr la superposición lógica digital independientemente de la superposición cuántica? ¿Si no, porque no?
- ¿Cuál es la computadora cuántica más poderosa hasta ahora? ¿Y qué tan poderoso es? ¿Qué tipo de cálculos puede hacer?
Sin embargo, no hay peligro de que esto suceda usando computadoras D-Wave, que no tienen el tipo correcto de arquitectura para calcular el algoritmo de Shor o el algoritmo de Grover. En este momento, es solo una posibilidad teórica.