Quantum Homomorphic Encryption: Towards Practical and Private Computation on Untrusted Quantum Hardware

Este artigo propõe um novo quadro universal de criptografia homomórfica quântica (QOTPH), baseado no One-Time Pad Quântico, que oferece segurança teórica e permite a avaliação não interativa de circuitos quânticos complexos em hardware não confiável, validando experimentalmente sua viabilidade em processadores quânticos reais e simulados.

O essencial

Imagine que você tem uma receita secreta de bolo (seus dados) e quer que um chef famoso (um computador quântico na nuvem) cozinhe para você. O problema é que você não confia no chef: se ele ver a receita, pode roubá-la, vender para seus concorrentes ou estragar o bolo de propósito.

Na computação clássica, já temos "envelopes mágicos" (criptografia) que permitem que o chef cozinhe sem abrir o envelope. Mas na computação quântica, que é muito mais complexa e frágil, esse "envelope" era um grande mistério: como cozinhar um bolo quântico sem ver os ingredientes?

Este artigo apresenta a solução: um novo método chamado QOTPH (Criptografia Homomórfica Quântica Universal). Vamos explicar como funciona usando analogias simples.

1. O Problema: O "Envelope" Quântico

Antes, tínhamos o "One-Time Pad Quântico" (QOTP). Pense nele como uma caixa de som que emite um ruído branco constante. Se você colocar sua receita dentro, o ruído a esconde perfeitamente. Ninguém ouve nada.

• O problema: Se você tentar cozinhar (fazer uma operação) dentro dessa caixa cheia de ruído, o ruído muda de forma imprevisível. O chef não consegue cozinhar sem "quebrar" o ruído e ver a receita.

2. A Solução: O "Chef de Bolso" que Ajusta o Ruído

Os autores criaram um sistema inteligente onde o "ruído" (a chave de criptografia) não é estático. Ele é dinâmico.

Imagine que você envia o bolo para o chef, mas com um truque:

1. O Envio: Você coloca o bolo em uma caixa que está girando e vibrando de um jeito aleatório (isso é a criptografia).
2. A Cozimento: Quando o chef aplica uma faca (um "portão" ou operação quântica) no bolo, ele não precisa saber o que está dentro. Ele apenas segue regras matemáticas estritas.
3. O Ajuste Mágico: A cada corte que o chef dá, ele atualiza automaticamente a forma como a caixa vibra. É como se o chef tivesse um manual secreto que diz: "Se você cortar o bolo com a faca X, a caixa deve começar a girar para a esquerda. Se usar a faca Y, a caixa deve vibrar para cima."

O chef nunca vê o bolo (os dados), mas ele consegue cozinhar perfeitamente porque ele sabe como ajustar a "caixa de ruído" a cada passo.

3. A Magia do "Desembaralhar" (Decodificação)

Depois que o bolo está pronto e a caixa ainda está vibrando, o chef devolve o pacote para você.

• No Computador Quântico: O computador (o chef) só vê uma caixa vibrando aleatoriamente. Para ele, o resultado é apenas ruído. Ele não sabe se o bolo ficou bom ou queimado.
• Em Casa (No seu computador): Você pega a caixa, olha para o seu "manual de ajustes" (a chave secreta que você guardou) e sabe exatamente como a caixa estava vibrando em cada momento. Você aplica o movimento inverso, a caixa para de girar, e lá está o bolo perfeito, pronto para ser servido.

4. O Que Eles Testaram?

Os autores não ficaram só na teoria. Eles foram para um laboratório real (usando computadores quânticos da IBM) e testaram isso:

• Eles criaram circuitos quânticos (receitas) com 5, 10, 20 e até 40 "ingredientes" (qubits).
• Eles enviaram essas receitas criptografadas para o computador quântico.
• O computador processou tudo.
• Resultado: Quando eles "desembaralharam" a caixa em casa, o bolo estava 99% perfeito (em simuladores) e 93-99% perfeito (em computadores reais).

Isso prova que é possível fazer cálculos quânticos complexos em máquinas que você não confia, sem que elas saibam o que você está fazendo.

5. Por que isso é importante?

• Privacidade Total: Você pode usar a nuvem para cálculos quânticos poderosos sem revelar seus dados sensíveis (como dados médicos, financeiros ou segredos industriais).
• Segurança Matemática: Diferente de outros métodos que dependem de "problemas difíceis de resolver" (que um computador quântico futuro poderia quebrar), este método é seguro pela própria física quântica. Se alguém tentar espiar, o ruído esconde tudo.
• O Futuro: Ainda há um pequeno problema: o computador quântico real tem "barulho" (erros) e, quanto mais complexo o bolo, mais o ruído acumula. Mas os autores mostram que, à medida que a tecnologia melhorar, esse método será a chave para uma internet quântica segura.

Resumo em uma frase

Os autores criaram um "truque de mágica" matemático que permite que você mande um computador quântico desconhecido cozinhar seus dados secretos, ajustando o "ruído" da criptografia a cada passo, para que apenas você, em casa, possa ver o resultado final.

Resumo técnico

Título: Criptografia Homomórfica Quântica: Rumo à Computação Prática e Privada em Hardware Quântico Não Confiável

1. Problema e Contexto

Com o amadurecimento da computação quântica, surge a necessidade urgente de realizar computações seguras e privadas em hardware não confiável (como serviços de nuvem quântica). Embora a Criptografia Homomórfica (HE) clássica permita computação sobre dados criptografados, uma contraparte quântica totalmente homomórfica e praticamente implementável tem sido elusiva.

• Desafio Principal: A maioria dos esquemas de criptografia quântica, como o Quantum One-Time Pad (QOTP), oferece segurança teórica perfeita, mas não suporta a manipulação computacional de dados criptografados (avaliação homomórfica) sem interação constante com o cliente ou sem revelar a chave de descriptografia.
• Objetivo: Desenvolver um modelo universal de Criptografia Homomórfica Quântica (QHE) que mantenha a segurança teórica e permita a avaliação não interativa de circuitos quânticos arbitrários em hardware não confiável.

2. Metodologia Proposta (QOTPH)

Os autores propõem um modelo universal chamado QOTPH (Quantum One-Time Pad Homomorphic), baseado no esquema QOTP, mas estendido para suportar computação homomórfica.

• Fundamento Teórico: O modelo utiliza o QOTP (que aplica operadores de Pauli $X$ e $Z$ aleatórios a cada qubit) para criptografar o estado quântico. A inovação reside em como lidar com a não comutatividade entre portas quânticas gerais e os operadores de Pauli.
• Decomposição de Portas e Atualização de Chaves:
  • O sistema decompõe circuitos universais (conjunto Clifford + T, além de portas controladas e parametrizadas) em operações elementares.
  • Para cada porta aplicada ao estado criptografado, o sistema deriva regras analíticas para atualizar as chaves de criptografia (os bits clássicos que definem os operadores $X$ e $Z$).
  • Isso permite que o avaliador (o servidor quântico) execute a porta modificada no estado criptografado, enquanto o cliente mantém o controle das chaves atualizadas, garantindo que a estrutura de criptografia seja preservada semanticamente.
• Não Interatividade: O processo é totalmente não interativo. O cliente envia o circuito e as chaves iniciais; o servidor executa as portas e atualiza as chaves internamente (ou o cliente atualiza as chaves localmente com base na sequência de portas enviada), sem necessidade de comunicação durante a execução.
• Implementação: O protocolo foi implementado no framework Qiskit e testado em dois cenários:
  1. Descriptografia em Circuito: A descriptografia ocorre dentro do circuito quântico antes da medição.
  2. Descriptografia Local: O servidor retorna resultados criptografados (strings de bits aleatórias) e o cliente realiza a descriptografia localmente após a medição, garantindo que o servidor nunca veja os dados brutos.

3. Contribuições Principais

• Primeira Validação Experimental Universal: É a primeira validação experimental sistemática de um esquema de QHE baseado em QOTP em hardware quântico real (IBM Quantum), estendendo conceitos teóricos para uma implementação modular.
• Regras Analíticas de Atualização de Chaves: O artigo fornece um conjunto completo de regras para a atualização de chaves para uma vasta gama de portas (Clifford, T, portas controladas como CNOT, CZ, e portas parametrizadas), permitindo a avaliação de circuitos arbitrários.
• Segurança Teórica Preservada: O esquema mantém a segurança de informação teórica (o estado criptografado é maximamente misto para quem não possui a chave), mesmo durante o processamento.
• Mecanismo de Privacidade Adicional: Introdução de portas de Swap aleatórias antes da medição para ofuscar ainda mais a estrutura do circuito e os dados, dificultando a inferência por parte do provedor de hardware.

4. Resultados Experimentais

Os experimentos foram realizados em simuladores quânticos sem ruído e em processadores quânticos reais da IBM (incluindo o dispositivo IBM Basquecountry com 156 qubits).

• Fidelidade e Corretude:
  • Em simuladores, a fidelidade foi próxima de 0,999, independentemente da profundidade do circuito, provando que o protocolo em si não introduz erros.
  • Em hardware real, a fidelidade permaneceu alta, variando entre 0,94 e 0,99 para circuitos de até 20 qubits e múltiplas portas.
  • A redução na fidelidade no hardware real foi atribuída exclusivamente ao ruído intrínseco do dispositivo (decoerência, erros de porta), e não a falhas no protocolo de criptografia.
• Escalabilidade: O protocolo demonstrou ser escalável para tamanhos de circuito moderados (até 40 qubits em testes parciais), mantendo a corretude lógica.
• Comparação de Algoritmos: Tanto a descriptografia em circuito (Algoritmo 1) quanto a descriptografia local (Algoritmo 2) produziram resultados estatisticamente indistinguíveis dos circuitos originais, validando a segurança e a corretude de ambas as abordagens.

5. Significado e Conclusão

Este trabalho representa um passo crucial na ponte entre a teoria da criptografia homomórfica quântica e sua realização prática.

• Viabilidade Prática: Demonstra que a computação quântica delegada e privada é viável em hardware atual, apesar das limitações de ruído.
• Privacidade: Oferece um primitivo criptográfico simétrico e escalável que permite a um cliente processar dados em um servidor quântico não confiável sem revelar os dados ou o algoritmo (com as ressalvas de privacidade do circuito discutidas).
• Futuro: O principal gargalo identificado é o ruído do hardware. O sucesso futuro depende de avanços na tecnologia quântica (portas de maior fidelidade e correção de erros). O trabalho sugere também futuras pesquisas para ocultar completamente a estrutura do circuito (Blind Quantum Computing) e o desenvolvimento de assinaturas quânticas baseadas neste modelo.

Em resumo, o QOTPH apresenta um modelo robusto, modular e experimentalmente validado para computação quântica homomórfica, estabelecendo uma base sólida para serviços de nuvem quântica seguros e privados no futuro.