Com base em um algoritmo inovador, pesquisadores propõem uma maneira de criar um circuito de fatoração quântica menor e mais tolerante a ruídos para criptografia.
O e-mail mais recente que você enviou provavelmente foi criptografado usando um método testado e comprovado que se baseia na ideia de que mesmo o computador mais rápido seria incapaz de quebrar com eficiência um número gigantesco em fatores.
Os computadores quânticos, por outro lado, prometem quebrar rapidamente sistemas criptográficos complexos que um computador clássico talvez nunca consiga desvendar. Essa promessa é baseada em um algoritmo de fatoração quântica proposto em 1994 por Peter Shor, que agora é professor no MIT.
Mas enquanto os pesquisadores fizeram grandes avanços nos últimos 30 anos, os cientistas ainda precisam construir um computador quântico poderoso o suficiente para executar o algoritmo de Shor.
Enquanto alguns pesquisadores trabalham para construir computadores quânticos maiores, outros tentam melhorar o algoritmo de Shor para que ele possa ser executado em um circuito quântico menor. Cerca de um ano atrás, o cientista da computação da Universidade de Nova York, Oded Regev, propôs uma grande melhoria teórica. Seu algoritmo poderia ser executado mais rápido, mas o circuito exigiria mais memória.
Com base nesses resultados, pesquisadores do MIT propuseram uma abordagem do melhor dos dois mundos que combina a velocidade do algoritmo de Regev com a eficiência de memória de Shor. Este novo algoritmo é tão rápido quanto o de Regev, requer menos blocos de construção quânticos conhecidos como qubits e tem uma tolerância maior ao ruído quântico, o que pode torná-lo mais viável para implementação na prática.
A longo prazo, este novo algoritmo pode informar o desenvolvimento de novos métodos de criptografia que podem suportar o poder de quebra de código dos computadores quânticos.
“Se computadores quânticos em larga escala forem construídos, então a fatoração estará acabada e teremos que encontrar outra coisa para usar na criptografia. Mas quão real é essa ameaça? Podemos tornar a fatoração quântica prática? Nosso trabalho pode potencialmente nos levar um passo mais perto de uma implementação prática”, diz Vinod Vaikuntanathan, professor de engenharia da Fundação Ford, membro do Laboratório de Ciência da Computação e Inteligência Artificial (CSAIL) e autor sênior de um artigo que descreve o algoritmo.
O autor principal do artigo é Seyoon Ragavan, um estudante de pós-graduação no Departamento de Engenharia Elétrica e Ciência da Computação do MIT. A pesquisa será apresentada na International Cryptology Conference de 2024.
Quebrando criptografia
Para transmitir mensagens com segurança pela internet, provedores de serviços como clientes de e-mail e aplicativos de mensagens normalmente contam com RSA, um esquema de criptografia inventado pelos pesquisadores do MIT Ron Rivest, Adi Shamir e Leonard Adleman na década de 1970 (daí o nome “RSA”). O sistema é baseado na ideia de que fatorar um inteiro de 2.048 bits (um número com 617 dígitos) é muito difícil para um computador fazer em um período de tempo razoável.
Essa ideia foi virada de cabeça para baixo em 1994 quando Shor, então trabalhando no Bell Labs, introduziu um algoritmo que provou que um computador quântico poderia fatorar rápido o suficiente para quebrar a criptografia RSA.
“Esse foi um ponto de virada. Mas em 1994, ninguém sabia como construir um computador quântico grande o suficiente. E ainda estamos muito longe disso. Algumas pessoas se perguntam se eles serão construídos algum dia”, diz Vaikuntanathan.
Estima-se que um computador quântico precisaria de cerca de 20 milhões de qubits para executar o algoritmo de Shor. Atualmente, os maiores computadores quânticos têm cerca de 1.100 qubits.
Um computador quântico realiza cálculos usando circuitos quânticos, assim como um computador clássico usa circuitos clássicos. Cada circuito quântico é composto de uma série de operações conhecidas como portas quânticas. Essas portas quânticas utilizam qubits, que são os menores blocos de construção de um computador quântico, para executar cálculos.
Mas as portas quânticas introduzem ruído, então ter menos portas melhoraria o desempenho de uma máquina. Os pesquisadores têm se esforçado para aprimorar o algoritmo de Shor para que ele pudesse ser executado em um circuito menor com menos portas quânticas.
Foi exatamente isso que Regev fez com o circuito que ele propôs há um ano.
“Isso foi uma grande notícia porque foi a primeira melhoria real no circuito de Shor de 1994”, diz Vaikuntanathan.
O circuito quântico proposto por Shor tem um tamanho proporcional ao quadrado do número que está sendo fatorado. Isso significa que se alguém fatorasse um inteiro de 2.048 bits, o circuito precisaria de milhões de portas.
O circuito de Regev requer significativamente menos portas quânticas, mas precisa de muito mais qubits para fornecer memória suficiente. Isso apresenta um novo problema.
“Em certo sentido, alguns tipos de qubits são como maçãs ou laranjas. Se você os mantiver por perto, eles decaem com o tempo. Você quer minimizar o número de qubits que precisa manter por perto”, explica Vaikuntanathan.
Ele ouviu Regev falar sobre seus resultados em um workshop em agosto passado. No final de sua palestra, Regev fez uma pergunta: Alguém poderia melhorar seu circuito para que ele precisasse de menos qubits? Vaikuntanathan e Ragavan abordaram essa questão.
Pingue-pongue quântico
Para fatorar um número muito grande, um circuito quântico precisaria ser executado muitas vezes, realizando operações que envolvem poderes de computação, como 2 elevado a 100.
Mas computar poderes tão grandes é custoso e difícil de executar em um computador quântico, já que computadores quânticos só podem executar operações reversíveis. Elevar um número ao quadrado não é uma operação reversível, então cada vez que um número é elevado ao quadrado, mais memória quântica deve ser adicionada para calcular o próximo quadrado.
Os pesquisadores do MIT encontraram uma maneira inteligente de calcular expoentes usando uma série de números de Fibonacci que requer multiplicação simples, que é reversível, em vez de elevação ao quadrado. Seu método precisa de apenas duas unidades de memória quântica para calcular qualquer expoente.
“É como um jogo de pingue-pongue, onde começamos com um número e depois saltamos para frente e para trás, multiplicando entre dois registros de memória quântica”, acrescenta Vaikuntanathan.
Eles também enfrentaram o desafio da correção de erros. Os circuitos propostos por Shor e Regev exigem que cada operação quântica esteja correta para que seu algoritmo funcione, diz Vaikuntanathan. Mas portas quânticas sem erros seriam inviáveis “”em uma máquina real.
Eles superaram esse problema usando uma técnica para filtrar resultados corrompidos e processar apenas os corretos.
O resultado final é um circuito significativamente mais eficiente em termos de memória. Além disso, sua técnica de correção de erros tornaria o algoritmo mais prático de implantar.
“Os autores resolvem os dois gargalos mais importantes no algoritmo de fatoração quântica anterior. Embora ainda não seja imediatamente prático, seu trabalho aproxima os algoritmos de fatoração quântica da realidade”, acrescenta Regev.
No futuro, os pesquisadores esperam tornar seu algoritmo ainda mais eficiente e, algum dia, usá-lo para testar a fatoração em um circuito quântico real.
“A pergunta do elefante na sala após esse trabalho é: ele realmente nos aproxima de quebrar a criptografia RSA? Isso ainda não está claro; essas melhorias atualmente só entram em ação quando os inteiros são muito maiores do que 2.048 bits. Podemos levar esse algoritmo adiante e torná-lo mais viável que o de Shor, mesmo para inteiros de 2.048 bits””, diz Ragavan.
Publicado em 04/09/2024 20h58
Artigo original: