⚛️ quantum physics

Copy-Protection with Correlated Challenges: Point Functions and More via Decisional Coset Monogamy

Este artigo estabelece os primeiros esquemas de proteção contra cópia de modelo plano para funções de ponto e funcionalidades gerais sob desafios correlacionados, incluindo desafios idênticos, ao introduzir e provar a segurança para novas definições de criptografia de decodificador único de desafio correlacionado e ofuscação pontual inoclonável baseadas em ofuscação de indistinguibilidade pós-quântica e LWE de dureza quântica.

Autores originais: Amit Behera, Alper Çakan, Vipul Goyal

Publicado 2026-08-20

📖 6 min de leitura🧠 Leitura aprofundada

CC BY 4.0

Autores originais: Amit Behera, Alper Çakan, Vipul Goyal

Artigo original sob licença CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta é uma explicação gerada por IA do artigo abaixo. Não foi escrita nem endossada pelos autores. Para precisão técnica, consulte o artigo original. Ler aviso legal completo

No mundo da criptografia, o objetivo sempre foi manter os segredos seguros, mas as regras do jogo estão mudando. Durante décadas, a segurança baseou-se na ideia de que, se você pudesse copiar um arquivo digital, poderia copiar o segredo contido nele. Uma chave de decriptação, uma senha ou uma licença de software podiam ser duplicadas perfeitamente, permitindo que qualquer pessoa com uma cópia utilizasse o recurso protegido. Esta é uma diferença fundamental entre o mundo clássico e o mundo quântico. No reino quântico, as leis da física proíbem a cópia perfeita de informação desconhecida. Este princípio, conhecido como teorema da não-clonagem, sugere que pode ser possível codificar um segredo num estado quântico que possa ser usado para realizar uma tarefa, mas que não possa ser dividido em duas cópias separadas que permaneçam úteis. Este conceito, chamado proteção contra cópia (copy protection), promete um futuro onde software ou chaves digitais possam ser distribuídos a milhões de utilizadores, mas nenhum deles possa coludir para criar uma segunda versão totalmente funcional da chave.

Durante anos, os investigadores lutaram para transformar esta promessa teórica numa realidade prática. Embora conseguissem provar que a proteção contra cópia funcionava sob condições artificiais muito específicas, depararam-se com um obstáculo ao tentar abordar o cenário mais natural e comum: o que acontece quando duas pessoas recebem exatamente o mesmo desafio? Em muitas situações do mundo real, como um sinal de transmissão ou um ficheiro enviado para um grupo, todos os recetores recebem os mesmos dados. Tentativas anteriores de proteger chaves quânticas contra a cópia falharam quando os atacantes recebiam informações idênticas, deixando uma lacuna entre a teoria e a realidade complexa de como os dados são realmente partilhados.

Uma equipa de investigadores conseguiu agora colmatar esta lacuna, fornecendo o primeiro método comprovadamente seguro para proteção contra cópia neste cenário de desafios idênticos. O seu trabalho, que se baseia nos fundamentos da mecânica quântica e em pressupostos criptográficos avançados, demonstra que é possível proteger chaves de decriptação e programas de software gerais mesmo quando dois adversários recebem exatamente a mesma mensagem encriptada e tentam dividir a chave quântica entre si. Os investigadores não se limitaram a encontrar uma forma de fazer isto funcionar; eles também reorganizaram toda a compreensão do campo sobre o que a segurança significa neste contexto. Demonstraram que as definições anteriores de segurança eram insuficientes e introduziram um novo padrão mais forte, que abrange todos os casos antigos ao adicionar a capacidade de lidar com desafios idênticos.

O cerne da sua conquista reside num novo insight matemático sobre a natureza do emaranhamento quântico. Eles provaram um teorema relativo a "estados de coset", que são tipos específicos de estados quânticos utilizados para ocultar informação. A sua prova mostra que, se um tal estado for dividido entre duas pessoas e, em seguida, ambas receberem exatamente a mesma peça de informação para o testar, elas não conseguirão ambas acertar na previsão do segredo oculto com qualquer vantagem significativa. Este é um resultado profundo porque as tentativas anteriores dependiam de os dois atacantes receberem desafios diferentes e independentes. A nova prova funciona mesmo quando os desafios estão perfeitamente correlacionados ou são idênticos, fechando efetivamente a porta a uma grande classe de ataques que anteriormente pareciam impossíveis de defender.

Para alcançar isto, os investigadores construíram um quadro que permite a proteção de vários tipos de objetos digitais. Mostraram como aplicar o seu novo método de segurança à encriptação de decodificador único, que é o equivalente quântico de proteger uma chave de decriptação. Também estenderam isto para proteger programas de software gerais, incluindo funções de ponto simples (que atuam como cofres digitais que só abrem para uma palavra-passe específica) e programas de computação e comparação mais complexos. Crucialmente, a sua solução funciona no "modelo plano" (plain model), o que significa que não depende de ferramentas hipotéticas e idealizadas que não existem no mundo real. Em vez disso, baseia-se em pressupostos criptográficos padrão que são amplamente considerados seguros contra computadores clássicos e quânticos.

Os investigadores também dedicaram tempo a clarificar o confuso panorama de definições de segurança que se acumulou na última década. Demonstraram que muitas das definições existentes não eram tão fortes quanto se pensava e que algumas não implicavam outras. Ao estabelecer uma hierarquia clara, mostraram que a sua nova definição é o "padrão de ouro" porque implica todas as anteriores. Isto significa que, se um sistema for seguro sob a sua nova definição, é automaticamente seguro sob todas as outras definições que foram propostas. Esta unificação fornece uma base sólida para o trabalho futuro, garantindo que, quando dizemos que uma chave quântica tem proteção contra cópia, o fazemos no sentido mais forte possível.

Um dos resultados mais significativos deste trabalho é a resolução de uma questão aberta de longa data relativa às funções de ponto. Desde a introdução da proteção contra cópia quântica em 2009, os investigadores não tinham sido capazes de provar que estes simples cofres digitais poderiam ser protegidos contra desafios idênticos num cenário realista. Os novos resultados resolvem finalmente este problema, mostrando que tal proteção é possível sob pressupostos padrão. Além disso, a equipa estendeu este sucesso a programas mais complexos, provando que até softwares sofisticados podem ser protegidos de forma a impedir que dois utilizadores dividam a chave e a utilizem em conjunto, mesmo que lhes seja dado exatamente o mesmo input para teste.

O coração técnico desta descoberta é um novo tipo de jogo de segurança envolvendo estados quânticos. Neste jogo, um estado quântico é dividido entre duas partes que não podem comunicar. São então submetidas ao mesmo desafio e devem cada uma produzir um único bit de informação. Os investigadores provaram que, não importa quão engenhosas sejam as partes, ou como emaranhem os seus estados quânticos, elas não podem ambas adivinhar o bit correto com uma probabilidade significativamente superior ao acaso. Este resultado simplifica o caminho para a proteção contra cópia segura, eliminando a necessidade de técnicas de extração complexas que eram exigidas em métodos anteriores menos robustos. Proporciona uma rota direta e elegante para a segurança que funciona para uma grande variedade de aplicações.

Ao combinar estas novas definições com ferramentas criptográficas avançadas, como a ofuscação de indistinguibilidade e a dificuldade de certos problemas matemáticos, os investigadores construíram um sistema completo para proteção contra cópia. Este sistema não é apenas uma curiosidade teórica; oferece um caminho concreto para assegurar ativos digitais num futuro quântico. Garante que as propriedades únicas da informação quântica possam ser aproveitadas para prevenir a pirataria e a duplicação não autorizada de formas que são fundamentalmente impossíveis com a tecnologia clássica. O trabalho constitui um passo definitivo para tornar a proteção contra cópia quântica uma realidade prática, resolvendo décadas de incerteza e fornecendo um quadro robusto para a próxima geração de segurança criptográfica.

Resumo Técnico: Proteção de Cópia com Desafios Correlacionados

1. Declaração do Problema

A proteção de cópia quântica visa codificar uma funcionalidade em um estado quântico reutilizável de tal forma que ela não possa ser dividida em dois estados distintos (detidos por adversários "freeloaders") que permaneçam simultaneamente úteis. Embora progressos significativos tenham sido feitos na construção de esquemas de proteção de cópia para funcionalidades gerais e chaves de descriptografia, o campo enfrenta duas limitações críticas:

Fragmentação Deficional: Para primitivas fundamentais como a Criptografia de Descritor Único (SDE - Single-Decryptor Encryption), existem sete noções de segurança distintas na literatura. As relações entre essas noções são incertas, e nenhuma definição única de "padrão ouro" é conhecida por implicar todas as outras. Crucialmente, não se sabe se a segurança de indistinguibilidade padrão implica a segurança de busca (search security) para SDE.
A Lacuna do Desafio Idêntico: As construções existentes alcançam primariamente a segurança contra desafios amostrados de forma independente. No entanto, uma noção de segurança mais natural e praticamente relevante é a segurança de desafio idêntico, onde dois adversários recebem exatamente o mesmo desafio (por exemplo, o mesmo texto cifrado ou o mesmo ponto de entrada). Esta noção está conectada a bits não clonáveis e à proteção de cópia de funções de ponto. Apesar de ser uma questão aberta desde Georgiou e Zhandry (2020), nenhuma construção provadamente segura para SDE de desafio idêntico ou proteção de cópia geral existe no modelo plano sob suposições padrão.

O problema central abordado é se é possível definir uma noção de segurança unificada e forte que capture esses casos de uso naturais (incluindo desafios idênticos) e alcançar construções que satisfaçam essa noção no modelo plano.

2. Metodologia e Núcleo Técnico

Os autores resolvem essas questões através de uma combinação de unificação definicional e uma nova ferramenta de informação quântica.

A. Unificação Deficional

O artigo introduz a Segurança de Desafio Correlacionado tanto para SDE quanto para Obfuscação Puncturable Não Clonável (UPO - Unclonable Puncturable Obfuscation).

SDE de Desafio Correlacionado (SDE-CORR): Esta definição permite que os bits de desafio para os dois adversários sejam arbitrariamente correlacionados, desde que suas distribuições marginais permaneçam uniformes. Isso subsume tanto o cenário de desafios independentes quanto o de desafios idênticos.
UPO de Desafio Correlacionado: Da mesma forma, esta definição permite que os pontos de desafio e a informação auxiliar sejam arbitrariamente correlacionados. Ela generaliza as definições anteriores de UPO para incluir o vazamento de informação auxiliar, o que é crucial para aplicações como programas de computar-e-comparar (compute-and-compare).

Os autores estabelecem uma hierarquia de definições, provando que SDE-CORR implica todas as sete noções de segurança de SDE anteriores, incluindo a segurança de desafio idêntico tão procurada. Eles também esclarecem que a indistinguibilidade padrão (CPA) não implica a segurança de busca em geral, e que a segurança de desafio independente não implica a segurança de desafio idêntico.

B. O Teorema da Monogamia de Cosseno Decisional

O coração técnico do artigo é um novo Teorema de Monogamia de Entrelaçamento (MOE) de Cosseno Decisional.

A Configuração: Um adversário recebe um estado de cosseno $|A_{s,t}\rangle$ (uma superposição sobre um subespaço deslocado $A+s$ com deslocamentos de fase determinados por $t$ ). O adversário divide este estado entre duas partes que não se comunicam, B e C.
O Desafio: O desafiador amostra um vetor não nulo $u \in A$ e um vetor não nulo $v \in A^\perp$ e envia o mesmo par $(u, v)$ para B e C.
O Objetivo: B e C devem produzir um único bit $e = \langle u, t \rangle \oplus \langle v, s \rangle$ .
O Resultado: Os autores provam que a probabilidade de ambos, B e C, produzirem o bit correto é de no máximo $1/2 + 2^{-\Omega(n)}$ .

Inovações Chave na Prova:

Decisional vs. Busca: Ao contrário de outros teoremas de MOE anteriores (ex: Culf e Vidick) que são do tipo "busca" (exigindo a saída de vetores completos), este é um jogo "decisional" onde as partes produzem um único bit.
Desafios Idênticos: O desafio $(u, v)$ é idêntico para ambas as partes. Resultados anteriores de MOE decisional dependiam de estados aprendíveis (como BB84) ou desafios independentes. Este é o primeiro teorema de MOE decisional idêntico para uma família de estados não aprendíveis (estados de cosseno).
Sem Extração: A prova evita as técnicas complexas de "extração" (medições de limiar, rewinding) exigidas em trabalhos anteriores para converter garantias de busca em garantias decisionais. Em vez disso, utiliza um argumento de informação teórica mostrando que, condicionado à chave e à mensagem, o texto cifrado é um estado maximamente misto em um espaço próprio específico, aproveitando a estrutura dos operadores de Pauli.
Variante Computacional: Os autores estendem isso para o cenário computacional usando Obfuscação de Indistinguibilidade (iO) e Obfuscação de Subespaço Oculto (Subspace-Hiding Obfuscation), lidando com informações auxiliares correlacionadas.

C. Estratégia de Construção

Usando o novo teorema de MOE de Cosseno Decisional, os autores constroem:

SDE de Desafio Correlacionado: Eles adaptam a construção de Kitagawa-Yamakawa (2025). Ao reescrever os bits de desafio usando um bit idêntico oculto e um parâmetro de correlação, eles reduzem a segurança do esquema SDE diretamente ao jogo de MO de Cosseno Decisional.
UPO Correlacionada: Eles constroem um esquema de UPO para circuitos arbitrários de tamanho polinomial chaveado. A prova de segurança envolve uma sequência de híbridos onde os pontos de desafio são ponturados (punctured) e os valores são substituídos usando funções injetivas/perdedoras (lossy) e hashing universal para simular a informação auxiliar pré-dividida. O híbrido final reduz-se ao jogo de MO de Cosseno Decisional computacional.

3. Principais Resultados

O artigo fornece os seguintes resultados concretos no modelo plano:

Segurança de SDE: Assumindo Obfuscação de Indistinguibilidade (iO) pós-quântica e Funções de Via Única (OWF), existe um esquema SDE que satisfaz SDE-CORR. Esta é a primeira construção de SDE de texto cifrado clássico que satisfaz a segurança de desafio idêntico a partir de suposições padrão.
Segurança de UPO: Assumindo iO pós-quântica e a dureza quântica de Learning With Errors (LWE), existe um esquema de UPO Correlacionada para circuitos arbitrários de tamanho polinomial. Este esquema satisfaz a segurança contra distribuições de desafio arbitrariamente correlacionadas com alta entropia mínima.
- Nota: Para o caso específico de distribuições de desafio uniformes e idênticas, a suposição LWE pode ser substituída por OWF pós-quântica.
Aplicações de Proteção de Cópia: Através do framework de UPO, os autores derivam a primeira proteção de cópia de modelo plano para:
- Funções de Ponto: Com distribuições de desafio idênticas naturais (resolvendo a questão aberta de Aaronson de 2009).
- Funções de $k$ -Pontos: Generalizações de funções de ponto.
- Programas de Computar-e-Comparar: Com distribuições de desafio idênticas naturais.
- Funcionalidades Puncturáveis Gerais: Com segurança do tipo imprevisibilidade e do tipo pseudorandomness, incluindo segurança oracular (onde os adversários têm acesso a oráculo à função) para desafios idênticos.

4. Significância e Alegações

O artigo afirma resolver vários problemas abertos de longa data na criptografia quântica:

Resolução da Questão Aberta de Desafio Idêntico: Fornece a primeira proteção de cópia provadamente segura para funções de ponto e chaves de descriptografia sob a noção de segurança de desafio idêntico no modelo plano, um problema que permanece aberto por mais de uma década.
Clareza Deficional: Estabelece uma definição de "padrão ouro" (SDE-CORR) que subsume todas as definições anteriores, esclarecendo a hierarquia de noções de segurança e provando que as definições anteriores eram insuficientes para capturar intuições de segurança naturais (ex: que CPA não implica busca).
Avanço Técnico: O novo Teorema de Monogamia de Cosseno Decisional é apresentado como um resultado de interesse independente. Ele unifica o estudo de jogos de monogamia, criptografia não clonável e proteção de cópia ao fornecer uma garantia decisional para estados não aprendíveis com desafios idênticos, simplificando futuras provas ao remover a necessidade de técnicas de extração complexas.
Framework Modular: Ao introduzir a UPO Correlacionada, o artigo fornece um caminho modular para alcançar a proteção de cópia para uma ampla gama de funcionalidades (além de apenas funções de ponto) sob definições naturais de segurança, incluindo aquelas que requerem vazamento de informação auxiliar.

Os autores enfatem que seus resultados dependem de suposições pós-quânticas padrão (iO, OWF, LWE) e operam no modelo plano, sem depender de modelos idealizados como o Modelo de Oráculo Quântico Aleatório (QROM) para estes resultados específicos.