Resumo Técnico: Operações de Conjuntos Privados Quânticos Verificáveis e Resistentes à Colusão

1. Definição do Problema

As Operações de Conjunto Privadas (PSO), incluindo a Interseção de Conjuntos Privados (PSI) e a União (PSU), são fundamentais para a Computação Multipartidária Segura (SMC). Embora existam soluções criptográficas clássicas, o advento de algoritmos quânticos (ex: algoritmo de Shor) ameaça os atuais esquemas baseados em teoria dos números. Consequentemente, a pesquisa tem se voltado para o PSI Quântico (QPSI).

No entanto, os protocolos de QPSO existentes enfrentam limitações significativas:

• Modelos de Ameaça: A maioria dos esquemas de QPSI existentes assume um Terceiro Confiável (TP) semipresto (semi-honesto) ou baseia-se na suposição de que o TP não pode coludir com nenhum participante.
• Resistência à Colusão: Protocolos anteriores de MP-QPSI frequentemente falham em resistir à colusão entre o TP e um subconjunto de participantes, ou apenas toleram a corrupção de um único participante.
• Verificabilidade: Muitos esquemas carecem de mecanismos para verificar se o TP executou corretamente o circuito quântico prescrito, deixando o sistema vulnerável a desvios maliciosos.

2. Metodologia

Os autores propõem um protocolo de Interseção de Conjuntos Privados Quânticos Multipartidário (MP-QPSI) que integra a Criptografia Totalmente Homomórfica Quântica Verificável (vQFHE) com a Criptografia Totalmente Homomórfica de Limiar (TFHE). O protocolo opera em um modelo envolvendo $n$ participantes detentores de dados, um TP quântico poderoso e uma Autoridade de Confiança (TA).

Componentes Principais

1. Gerenciamento de Chaves de Limiar (TFHE):

   • A chave secreta para decriptação é compartilhada entre $n$ participantes usando um esquema de compartilhamento de segredo de limiar $(t, n)$.
   • A decriptação requer a colaboração de pelo menos $t$ participantes. Isso garante que nem um subconjunto de participantes corrompidos, nem uma colusão entre o TP e menos de $t$ participantes, possa recuperar a chave secreta ou aprender as entradas privadas.

2. Avaliação Quântica Verificável (vQFHE):

   • O protocolo utiliza a construção TrapTP (de [ADS+17]) como a camada vQFHE.
   • Encriptação: Os participantes codificam seus conjuntos privados em estados quânticos usando códigos CSS, adicionam qubits de armadilha (trap qubits) ($|0\rangle$ e $|+\rangle$), aplicam uma permutação aleatória e mascaram o resultado com um Quantum One-Time Pad (QOTP). As chaves do QOTP são encriptadas sob TFHE e autenticadas com Códigos de Autenticação de Mensagem (MAC).
   • Avaliação: O TP realiza a avaliação homomórfica de um circuito AND multipartidário ($C_{\text{AND}}$) nos estados quânticos encriptados. O TP atualiza as chaves QOTP encriptadas de forma homomórfica e consome "gadgets" (estados mágicos) para lidar com portas não-Clifford (T), seguindo o modelo garden-hose.
   • Verificação: O TP gera um transcrito clássico (log) da avaliação. Os participantes e a TA verificam este log contra os MACs, o arranjo de portas e as medições do código de armadilha para garantir que o TP não desviou do circuito alvo.

3. Fluxo do Protocolo:

   • Fase 1 (Preparação): A TA gera chaves, amostra permutações, prepara gadgets de porta T e distribui as partes secretas (secret shares).
   • Fase 2 (Encriptação): Os participantes codificam seus conjuntos em estados quânticos, aplicam armadilhas e QOTP, e enviam os estados encriptados e as chaves ao TP.
   • Fase 3 (Avaliação): O TP executa o circuito $C_{\text{AND}}$ homomorficamente, atualizando as chaves e registrando um transcrito.
   • Fase 4 (Verificação e Decriptação): Os participantes realizam a verificação clássica (verificação de MAC, porta e transcrito) e a decriptação de limiar para recuperar as chaves QOTP. A TA realiza a verificação quântica (verificação de armadilha) e decripta o estado final para transmitir o resultado da interseção.

3. Principais Contribuições

• Extensão Multipartidária: Os autores estendem o vQFHE para um cenário multipartidário combinando-o com TFHE, permitindo que $n$ partes computem interseções de conjuntos sem revelar dados privados.
• Resistência à Colusão: Diferente dos esquemas de QPSI anteriores, este protocolo resiste à colusão entre o TP e até $t-1$ participantes. O mecanismo de limiar garante que, enquanto menos de $t$ partes estiverem corrompidas, a chave secreta e as entradas privadas permaneçam seguras.
• Verificabilidade contra TP Malicioso: O protocolo fornece segurança semântica e verificabilidade. Ele pode detectar se um TP malicioso desviar do circuito prescrito (ex: alterando o arranjo de portas ou a saída) através de uma combinação de verificação de transcrito clássico e verificações de código de armadilha quântica.
• Estrutura Modular: A construção é apresentada como um framework modular. Os autores demonstram como:
  • Reduzir a complexidade do circuito (ex: usando portas CCCZ em vez de $C_nX$ para diminuir a contagem de portas T).
  • Estender a funcionalidade para União de Conjuntos Privados Quânticos (QPSU) substituindo o circuito AND por um circuito OR via operações de controle aberto.
  • Substituir as instâncias de vQFHE subjacentes para diferentes equilíbrios de eficiência/segurança.

4. Resultados e Análise

• Corretude: Os autores validaram a porta AND multipartidária lógica usando a plataforma IBM Quantum e Qiskit. Simulações confirmaram que a distribuição de saída corresponde à tabela verdade ideal para a operação lógica AND.
• Provas de Segurança:
  • Privacidade: O protocolo é provado como sendo de segurança informacional contra o TP em relação aos estados quânticos (devido ao QOTP e estados maximamente mistos) e computacionalmente seguro em relação aos dados clássicos (devido ao TFHE e MAC).
  • Colusão: O Teorema 3 prova que qualquer coalizão de participantes corrompidos (tamanho $<t$) coludindo com o TP não obtém informação além do resultado da interseção.
  • Verificabilidade: Sob o modelo de segurança semântica ($\kappa$-SEM-VER), o protocolo mostra-se verificável. Um argumento híbrido demonstra que qualquer desvio pelo TP é detectado com probabilidade esmagadora.
• Desempenho:
  • Complexidade de Comunicação: O custo de comunicação quântica é $O(n\kappa L)$, onde $n$ é o número de partes, $\kappa$ é o parâmetro de segurança e $L$ é o tamanho do conjunto.
  • Comparação: Comparado a esquemas existentes (ex: [SMZ+15], [ZLS+20], [HZZ24]), o protocolo proposto é o único que suporta cenários multipartidários com capacidades de PSI e PSU, oferecendo resistência à colusão TP-participante e ao comportamento de um TP malicioso.

5. Significância e Alegações

O artigo afirma oferecer um avanço significativo no campo da computação quântica segura ao abordar a lacuna de "colusão TP-participante" que afeta as soluções de QPSI existentes.

• Robustez: Ao integrar TFHE, o protocolo alcança um nível de resistência à colusão anteriormente ausente no QPSI, garantindo a segurança mesmo se o TP e um subconjunto de participantes conspirarem.
• Minimização de Confiança: A camada de verificabilidade permite que o sistema funcione de forma segura mesmo se o TP for malicioso, removendo a necessidade de confiar na honestidade do TP, apenas em sua capacidade computacional.
• Flexibilidade: O design modular permite que o framework seja adaptado para diferentes operações de conjunto (União, Cardinalidade) e otimizado para diferentes restrições de hardware (ex: reduzindo a complexidade de portas T).

Os autores reconhecem que, embora o protocolo ofereça uma segurança forte, ele herda o overhead clássico associado ao vQFHE baseado em TrapTP. Sugere-se como trabalho futuro explorar o tratamento de portas T sem uso de gadgets e outras otimizações para reduzir os custos de comunicação clássica.