Evaluating Security Properties in the Execution of Quantum Circuits

Este trabalho propõe uma metodologia heurística prática para avaliar propriedades de segurança, como sigilo e integridade, durante a execução de circuitos quânticos em dispositivos NISQ operados por provedores potencialmente não confiáveis.

O essencial

Imagine que você tem uma receita secreta e muito valiosa para fazer um bolo (o seu cálculo quântico). Você quer assar esse bolo, mas sua própria cozinha é muito pequena e não tem forno grande o suficiente. Então, você decide alugar espaço em várias cozinhas de vizinhos diferentes (os computadores quânticos na nuvem).

O problema? Você não confia totalmente nesses vizinhos. Alguns podem ser curiosos e tentar roubar sua receita (confidencialidade), enquanto outros podem ser desonestos e trocar o açúcar por sal, estragando o bolo sem você perceber (integridade).

Este artigo de pesquisa propõe uma solução inteligente para esse problema, usando uma técnica chamada "Corte de Circuito Quântico". Pense nisso como cortar sua receita gigante em pedaços pequenos, enviar cada pedaço para um vizinho diferente, e depois juntar tudo de volta na sua cozinha para ver se o bolo ficou bom.

Aqui está a explicação simples do que eles descobriram:

1. O Problema: Vizinhos Desconfiados

Se você enviar apenas um pedaço da receita para cada vizinho, ainda há riscos:

• O Espião: Um vizinho pode analisar o pedaço que recebeu e tentar adivinhar qual é a receita completa.
• O Sabotador: Um vizinho pode alterar o resultado do seu pedaço (ex: "diga que o bolo ficou dourado" quando na verdade ficou queimado).

2. A Solução: O "Gerente de Cozinha" Inteligente

Os autores criaram um sistema onde um "Gerente" (um agendador seguro) gerencia a distribuição dos pedaços da receita. Eles testaram várias estratégias para proteger o bolo:

Para Proteger a Receita (Confidencialidade)

• A Estratégia do "Bolo de Mentira": Imagine que, além de enviar o pedaço real da sua receita, você envia também 5 ou 10 pedaços de "bolos falsos" (receitas aleatórias) para cada vizinho.
• O Resultado: O vizinho espião recebe uma pilha de papéis. Ele não consegue saber qual é o pedaço real e quais são os falsos. É como tentar encontrar uma agulha em um palheiro, mas o palheiro é gigante e cheio de agulhas falsas.
• A Lição: Se você misturar seus dados reais com muitos dados falsos e bem feitos, os espiões não conseguem distinguir o que é importante.

Para Proteger o Resultado (Integridade)

• A Estratégia do "Relatório de Confiança": Antes de enviar a receita, o Gerente testa os vizinhos com um "bolo de teste" (um cálculo simples onde ele já sabe o resultado). Se o vizinho errar o teste, ele ganha uma nota baixa.
• A Estratégia da "Sorteio Ponderado": O Gerente não envia os pedaços da receita de forma aleatória. Ele usa uma fórmula matemática (exponencial) que diz: "Envie 90% dos pedaços para os vizinhos mais confiáveis e quase nada para os desonestos".
• O Resultado: Mesmo que 5 dos 6 vizinhos sejam malvados e tentem estragar o bolo, se o Gerente confiar apenas no 1 vizinho honesto (e ignorar os outros), o resultado final ainda será perfeito.
• A Lição: Não é necessário confiar em todos; basta confiar nos melhores e ignorar os ruins.

3. O Grande Dilema: Confidencialidade vs. Integridade

O artigo descobre algo muito interessante: o que é melhor para esconder a receita pode ser ruim para garantir a qualidade do bolo, e vice-versa.

• Se você quer esconder a receita (Confidencialidade): Você deve espalhar os pedaços da receita de forma igual entre todos os vizinhos (mesmo os desconfiados), e enviar muitos "bolos falsos". Assim, ninguém tem uma visão clara do todo.
• Se você quer garantir a qualidade (Integridade): Você deve concentrar o trabalho nos vizinhos mais confiáveis e ignorar os outros. Isso é ótimo para o resultado, mas perigoso para a privacidade, porque o vizinho confiável pode ver quase tudo o que você está fazendo.

4. A Conclusão Prática

Os pesquisadores criaram um "Guia de Segurança" para quem usa computação quântica na nuvem. Eles sugerem que o sistema deve ter três modos de operação, dependendo do que o usuário prioriza:

1. Modo "Segredo Total": Foca em esconder a receita. Envia muitos dados falsos e distribui o trabalho igualmente.
2. Modo "Equilibrado": Tenta proteger tanto a receita quanto o resultado, usando uma mistura de dados falsos e uma distribuição inteligente.
3. Modo "Precisão Absoluta": Foca em garantir que o bolo saia perfeito. Ignora os vizinhos desconfiados e confia apenas nos melhores, mesmo que isso signifique que o vizinho confiável saiba mais sobre a receita.

Resumo Final

Este trabalho mostra que a técnica de "cortar" cálculos quânticos em pedaços pequenos não serve apenas para usar computadores fracos; ela pode ser transformada em um escudo de segurança. Ao misturar dados falsos e escolher com quem trabalhar de forma inteligente, é possível proteger segredos comerciais e garantir que os resultados não sejam adulterados, mesmo em um ambiente onde os provedores de nuvem não são totalmente confiáveis.

É como se você pudesse assar um bolo em uma cozinha coletiva cheia de espiões e ladrões, e ainda assim garantir que ninguém saiba a receita e que o bolo fique perfeito para você comer.

Resumo técnico

Resumo Técnico: Avaliação de Propriedades de Segurança na Execução de Circuitos Quânticos

1. Problema e Contexto

O acesso à computação quântica ocorre predominantemente através de plataformas em nuvem, onde os usuários delegam a execução de circuitos quânticos para dispositivos NISQ (Noisy Intermediate-Scale Quantum) hospedados remotamente por provedores que podem não ser totalmente confiáveis. Neste cenário, surgem duas preocupações principais de segurança:

• Confidencialidade: O risco de um provedor malicioso inferir informações sensíveis sobre o circuito, os dados de entrada ou o algoritmo proprietário (IP).
• Integridade: O risco de um provedor alterar deliberadamente os resultados do cálculo, comprometendo a correção dos dados de saída.

O artigo investiga se a técnica de Corte de Circuitos Quânticos (Quantum Circuit Cutting), tradicionalmente usada para contornar limitações de hardware (dividindo circuitos grandes em sub-circuitos menores), pode ser aprimorada para atuar como um mecanismo de segurança eficaz contra adversários que possuem acesso de leitura e escrita aos sub-circuitos executados.

2. Metodologia e Abordagem

2.1. Modelo de Ameaça

O cenário assume um Agendador Central Confiável (Quantum Broker) que distribui tarefas para múltiplos QPUs (Unidades de Processamento Quântico) potencialmente não confiáveis.

• Objetivos do Atacante: Roubar designs de circuitos (confidencialidade) ou alterar resultados de computação (integridade).
• Limitação: Os QPUs não se comunicam entre si; a reconstituição do resultado final é feita classicamente pelo Broker.

2.2. Framework de Avaliação (Inspiração em Não-Interferência Probabilística)

Como a "Não-Interferência Probabilística" (PNI) clássica não é diretamente aplicável a sistemas quânticos devido à natureza da medição e ao emaranhamento, os autores utilizam a PNI como uma heurística conceitual para definir métricas de segurança:

• Para Integridade: A saída global não deve ser significativamente alterada pela presença de QPUs maliciosos. A métrica utilizada é a Distância de Hellinger entre a distribuição de probabilidade de saída (com atacantes) e a "verdade fundamental" (ground truth). Um limite de 0,25 é estabelecido como aceitável.
• Para Confidencialidade: Os QPUs não devem conseguir distinguir entre diferentes circuitos de entrada de alto nível. A métrica mede a capacidade de um QPU malicioso de diferenciar as distribuições de saída de baixo nível (sub-circuitos) geradas por diferentes entradas.

2.3. Contra-medidas Propostas

Os autores propõem um conjunto de contra-medidas ativas aplicadas sobre o corte de circuitos padrão:

1. Pontuação de Integridade Dinâmica (i1): Envio de circuitos de prova (probes) com valores esperados conhecidos para calcular um índice de confiabilidade de cada QPU.
2. Atribuição Probabilística de Sub-circuitos (i2): Distribuição dos sub-circuitos baseada na pontuação de integridade. Duas abordagens são testadas:
   • Proporcional: Alocação linearmente proporcional à pontuação.
   • Exponencial: Alocação exponencialmente dependente da pontuação (favorece drasticamente os QPUs mais confiáveis).
3. Replicação de Sub-circuitos (i3): Execução do mesmo sub-circuito em múltiplos QPUs e média ponderada dos resultados.
4. Injeção de Circuitos Falsos Calibrados (c1): Mistura de sub-circuitos "falsos" (decoy) com os reais para obfuscar a computação real. Os circuitos falsos são "calibrados" para ter valores de expectativa dentro da mesma magnitude e faixa dos circuitos reais.

3. Experimentos e Configuração

• Ambiente: Simuladores de QPU ruidosos (Qiskit Aer) configurados com perfis de ruído realistas (relaxação térmica e despolarização).
• Circuitos Testados: Algoritmos padrão (GHZ, Deutsch-Jozsa) e circuitos personalizados de 15 qubits.
• Cenário de Ataque: De 1 a 6 QPUs maliciosos em um total de 6 disponíveis. Os atacantes alteram seus resultados em até 250%.

4. Resultados Principais

4.1. Resultados de Integridade (Goal G1)

• Corte Bruto: Sem contra-medidas, um único atacante degrada significativamente a integridade (Distância de Hellinger > 0,7).
• Melhor Configuração: A combinação que oferece maior resiliência é:
  • Uso de Pontuação de Integridade Dinâmica.
  • Atribuição Exponencial (favorecendo fortemente QPUs confiáveis).
  • Sem Replicação de sub-circuitos (a replicação mostrou-se prejudicial para a integridade neste contexto específico).
• Desempenho: Esta configuração consegue tolerar 5 QPUs maliciosos de um total de 6, mantendo a integridade do resultado global. A atribuição exponencial é superior à proporcional porque isola efetivamente QPUs com pontuação baixa, mesmo que apenas ligeiramente abaixo do melhor.

4.2. Resultados de Confidencialidade (Goal G2)

• Corte Bruto: Falha em esconder a diferença entre circuitos de entrada; a Distância de Hellinger entre saídas de diferentes entradas é muito alta (~0,9), permitindo que o atacante identifique o algoritmo.
• Injeção de Ruído:
  • Circuitos falsos aleatórios reduzem a distinção, mas não suficientemente.
  • Circuitos Falsos Calibrados são essenciais.
• Melhor Configuração: Uso de circuitos falsos calibrados com um multiplicador de 5X a 10X (5 a 10 circuitos falsos para cada circuito real).
• Desempenho: Com um multiplicador de 5X ou superior, a Distância de Hellinger cai para níveis aceitáveis (< 0,25), tornando impossível para o QPU distinguir entre diferentes circuitos de entrada.

4.3. Compromisso (Trade-off)

Existe um conflito entre as estratégias ideais para integridade e confidencialidade:

• Integridade: Beneficia-se da alocação exponencial (concentrar trabalho nos QPUs mais confiáveis).
• Confidencialidade: Beneficia-se da alocação proporcional (distribuir o trabalho uniformemente para que nenhum QPU tenha uma visão desproporcional do total).
• Solução: O sistema deve permitir configurações ajustáveis conforme a prioridade do usuário (ver seção de Agendador Seguro).

5. Contribuições e Significância

1. Mecanismo de Segurança Baseado em Corte: Demonstra que o corte de circuitos, quando aprimorado, não é apenas uma ferramenta de escalabilidade, mas um mecanismo de segurança viável para ambientes de nuvem não confiáveis.
2. Framework Heurístico de Avaliação: Introduz uma metodologia prática baseada em PNI para quantificar e comparar a resiliência de diferentes arquiteturas quânticas distribuídas, preenchendo uma lacuna na verificação formal de segurança quântica.
3. Soluções Práticas e Implementáveis: As contra-medidas (pontuação dinâmica, atribuição exponencial, circuitos falsos calibrados) podem ser integradas em arquiteturas de "Quantum Broker" existentes sem exigir recursos quânticos no lado do cliente.
4. Agendador Quântico Seguro: Propõe três perfis de configuração para um agendador seguro, permitindo que os usuários escolham entre priorizar a confidencialidade, a integridade ou um equilíbrio entre ambos.

Conclusão

O trabalho conclui que é possível executar circuitos quânticos em ambientes de nuvem hostis mantendo a integridade dos resultados (tolerando até 5/6 QPUs maliciosos) e a confidencialidade dos dados de entrada (através de obfuscamento com circuitos falsos calibrados). A chave para o sucesso reside na combinação inteligente de técnicas de corte de circuitos com heurísticas de alocação probabilística e injeção de ruído controlado, oferecendo uma via prática para a segurança na era NISQ.