A computação quântica promete resolver problemas que são atualmente impossíveis para os nossos supercomputadores mais poderosos, mas construir o software para operar essas máquinas é uma tarefa frágil e confusa. Ao contrário dos computadores clássicos, que processam informações como simples interruptores de ligar/desligar, as máquinas quânticas utilizam "qubits" que podem existir em múltiplos estados simultaneamente. Para fazê-las funcionar, os programadores devem construir sequências intrincadas de operações, muitas vezes escrevendo código que fala diretamente com a física da máquina. Isso exige uma mistura rara de habilidades: um profundo entendimento da mecânica quântica, a capacidade de escrever códigos complexos e a familiaridade com um cenário de diferentes ferramentas de software em rápida mudança. Cada grande empresa de tecnologia e grupo de pesquisa construiu sua própria maneira de falar com o hardware quântico, usando diferentes linguagens e regras. Essa fragmentação torna difícil saber se um resultado está correto, porque um erro poderia estar no código, na ferramenta usada para escrevê-lo ou na própria máquina.

Uma equipe de pesquisadores do Brasil desenvolveu uma nova maneira de navegar por essa complexidade, tratando o software quântico como um fluxo de água através de uma série de canos, em vez de uma parede de texto a ser escrita. Eles criaram um sistema chamado Quanifi, que permite aos usuários construir programas quânticos arrastando e soltando blocos pré-fabricados em uma tela visual, de forma muito semelhante à montagem de uma placa de circuito sem nunca precisar soldar um fio. A genialidade de sua abordagem reside em como eles testam esses programas. Em vez de executar uma única versão de um cálculo em uma única máquina, seu sistema executa o mesmo problema simultaneamente através de três ferramentas de software diferentes e em três computadores quânticos diferentes. Isso cria uma grade de resultados onde cada combinação possível é testada de uma só vez. Se as respostas divergirem, o sistema pode identificar exatamente onde o erro ocorreu: se foi na ferramenta de software, no computador hardware ou no emparelhamento específico entre os dois.

Os pesquisadores usaram este método para executar um algoritmo de busca clássico, conhecido como algoritmo de Grover, que é projetado para encontrar um item específico em uma grande lista. Eles construíram a mesma rotina de busca usando três frameworks de software diferentes — Qiskit, Cirq e PennyLane — e os enviaram para três computadores quânticos localizados em diferentes partes do mundo: um da IBM, um da IQM e um da Quantum Inspire. Ao comparar os resultados desses nove caminhos diferentes, eles foram capazes de detectar inconsistências que seriam invisíveis se tivessem olhado apenas para um resultado. Este processo, que chamam de execução N×M, atua como uma poderosa rede de segurança, revelando falhas ocultas em todo o ecossistema da computação quântica.

A investigação descobriu três defeitos reais nas ferramentas e máquinas utilizadas pela indústria. O primeiro problema foi encontrado em uma máquina da Quantum Inspire. Quando os pesquisadores utilizaram o framework de software Cirq, a máquina retornou consistentemente a resposta errada, invertendo os bits do resultado. No entanto, o mesmo software funcionou perfeitamente nos outros dois computadores, e os outros frameworks de software funcionaram bem naquela máquina específica. Essa falha específica apontou para um problema na forma como o adaptador da máquina traduzia as instruções do Cirq. Descobriu-se que o adaptador estava usando um tipo específico de porta de rotação com a direção errada, efetivamente girando os qubits no sentido oposto ao devido. Os pesquisadores confirmaram isso através de uma simulação do erro e relataram o ocorrido ao provedor.

Um segundo defeito envolveu a mesma máquina da Quantum Inspire. O adaptador de software afirmava que a máquina poderia realizar certas operações complexas que, na verdade, ela não conseguia realizar. Quando os pesquisadores tentaram usar essas operações não suportadas, a máquina falhou silenciosamente, produzindo respostas erradas sem emitir qualquer alerta. Isso destacou uma lacuna entre o que o software dizia que a máquina podia fazer e o que ela realmente era capaz de fazer. O terceiro e talvez mais significativo achado envolveu um serviço de nuvem chamado Open Quantum, que atua como um intermediário permitindo que usuários acessem diferentes computadores quânticos através de uma interface única. Os pesquisadores enviaram exatamente os mesmos arquivos de circuito para uma máquina através da conexão direta e também através deste serviço de nuvem. Enquanto a conexão direta funcionou, o serviço de nuvem retornou resultados incorretos para certos tipos de circuitos. O erro foi sutil: o serviço estava removendo silenciosamente etapas de rotação específicas das instruções, alterando o cálculo sem avisar o usuário. O provedor confirmou este erro de análise (parsing) e o corrigiu logo após o relatório.

O valor deste trabalho não reside apenas em encontrar esses bugs, mas no método utilizado para encontrá-los. Ao executar todas as combinações de software e hardware ao mesmo tempo, os pesquisadores criaram um mapa de confiabilidade que mostrou exatamente onde o sistema falha. Eles descobriram que algumas ferramentas funcionam bem em algumas máquinas, mas falham em outras, e que alguns serviços de nuvem introduzem erros que são impossíveis de detectar se você olhar apenas para o resultado final. Esta abordagem não exige que o usuário seja um especialista em física quântica ou que escreva códigos complexos; basta montar os blocos e deixar o sistema comparar os resultados. Os pesquisadores observaram que, embora as versões de quatro qubits de seus testes fossem muito ruidosas em algumas máquinas para tirar conclusões definitivas, os testes de dois qubits foram claros e decisivos.

Este estudo demonstra que o caminho para uma computação quântica confiável requer mais do que apenas um hardware melhor; requer uma maneira de verificar se o software e o hardware estão trabalhando juntos corretamente. Os pesquisadores mostraram que, ao tratar diferentes frameworks de software e diferentes máquinas como versões independentes do mesmo teste, eles puderam isolar falhas que de outra forma permaneceriam ocultas. Eles relataram todos os três defeitos encontrados, e o provedor do serviço de nuvem já confirmou e corrigiu o erro. Os outros dois problemas relativos ao adaptador da Quantum Inspire permanecem sob revisão. O trabalho sugere que, à medida que a computação quântica transita do laboratório para o mundo real, esse tipo de verificação cruzada será essencial para garantir que as respostas que obtemos sejam, de fato, corretas.