⚛️ quantum physics

A Unified Approach to Quantum Key Leasing with a Classical Lessor

Este artigo apresenta um framework modular para a construção de esquemas de arrendamento de chaves quânticas seguros com um locador totalmente clássico, permitindo o arrendamento e a revogação de chaves para criptografia de chave pública, funções pseudoaleatórias e assinaturas digitais via comunicação clássica, enquanto satisfaz a forte segurança contra ataques de revelação de chave de verificação sob a suposição de aprendizado com erros.

Autores originais: Fuyuki Kitagawa, Jiahui Liu, Shota Yamada, Takashi Yamakawa

Publicado 2026-07-22

📖 7 min de leitura🧠 Leitura aprofundada

CC BY 4.0

Autores originais: Fuyuki Kitagawa, Jiahui Liu, Shota Yamada, Takashi Yamakawa

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

Imagine um mundo onde você pode alugar uma ferramenta superpoderosa, como uma chave mágica que abre um cofre digital, mas com um porém: uma vez que você devolve a chave, você é magicamente forçado a esquecer como fazer uma cópia dela. Este é o sonho do aluguel de chaves seguras (secure key leasing). No mundo real, se você empresta uma chave física a alguém, essa pessoa pode facilmente tirar uma cópia e continuar usando-a mesmo depois que você a pedir de volta. Mas no mundo quântico, as leis da física dizem que você não pode copiar um tipo específico de informação sem destruir o original. Este artigo explora como usar essa regra de "não-cópia" para criar um sistema onde um chefe (o locador) pode alugar uma chave secreta para um funcionário (o locatário) e, quando o período de aluguel termina, verificar que o funcionário realmente deletou a chave e não pode mais usá-la.

A parte complicada é que, geralmente, para alugar uma chave quântica, o chefe precisa ser um computador quântico por si só, o que é caro e difícil de construir. Este artigo faz uma pergunta ousada: Um chefe que é completamente "clássico" (apenas um computador comum, sem poderes quânticos) ainda pode alugar essas chaves quânticas incopiáveis? Os autores propõem um novo framework modular que diz "sim". Eles mostram como atualizar criptografias, geradores de senhas e assinaturas digitais padrão para versões "alugáveis", onde o chefe permanece clássico, o funcionário faz todo o trabalho pesado quântico, e a chave pode ser revogada e verificada apenas com mensagens clássicas normais.

O Framework de "Aluguel Mágico"

Pense no problema desta forma: um gerente quer deixar um funcionário usar um carimbo digital especial para assinar documentos enquanto está de férias. Quando o gerente retorna, ele precisa garantir que o funcionário não possa continuar usando esse carimbo. No passado, as soluções exigiam que o gerente fosse um mago quântico, enviando sinais quânticos complexos para o funcionário. Este novo artigo introduz um "Adaptador Universal" que permite que um gerente clássico comum realize o mesmo trabalho.

Os autores construíram um framework que pega três ferramentas digitais comuns e lhes dá um upgrade de "aluguel quântico":

Criptografia de Chave Pública (PKE): A capacidade de enviar mensagens secretas.
Funções Pseudorandomas (PRF): Ferramentas que geram números que parecem aleatórios, mas que são na verdade determinados por uma chave secreta (como um gerador de senhas).
Assinaturas Digitais (DS): A capacidade de assinar documentos para provar que são autênticos.

A mágica acontece através de uma dança inteligente de três etapas envolvendo uma função "Noisy Trapdoor Claw-Free" (NTCF), que atua como uma caixa de segurança quântica, e uma "Secure Function Evaluation" (SFE), que é como uma caixa preta segura que computa coisas sem revelar as entradas.

Como o "Chefe Clássico" Faz Isso

Aqui está a analogia lúdica de como o sistema funciona, usando a construção específica do artigo:

Passo 1: A Configuração (O Chefe permanece Clássico)
O chefe (o locador) gera um conjunto de fechaduras "claw-free". Imagine que estas fechaduras são quebra-cabeças especiais onde existem duas chaves diferentes (vamos chamá-las de Chave A e Chave B) que abrem a mesma porta. O chefe conhece a "trapdoor" (armadilha/porta secreta) que revela ambas as chaves, mas o funcionário (o locatário) vê apenas a porta trancada. O chefe envia as descrições desses quebra-cabeças para o funcionário.

Passo 2: O Trabalho Quântico do Funcionário
O funcionário, que possui um computador quântico, tenta resolver os quebra-cabeças. Devido às regras quânticas, o funcionário pode criar um estado de "superposição" — um estado mágico onde ele detém tanto a Chave A quanto a Chave B ao mesmo tempo, mas de uma forma que é incopiável. Esta é a "chave secreta quântica". O funcionário envia uma confirmação clássica de volta para o chefe, provando que possui a chave, mas sem revelar quais chaves específicas ele está segurando.

Passo 3: O Truque da "Marca d'Água"
É aqui que o artigo fica realmente inteligente. O chefe não apenas entrega uma chave bruta ao funcionário; ele incorpora uma "marca d'água" na chave. Pense nisso como um número de série oculto dentro do estado quântico. Se o funcionário tentar usar a chave para descriptografar uma mensagem ou assinar um documento, a marca d'água estará lá. Se o funcionário tentar trapacear e manter uma cópia, a marca d'água ajudará o chefe a provar isso mais tarde. Os autores mostram que, se um funcionário tentar manter a chave após devolvê-la, ele inevitavelmente deixará para trás um rastro que permite ao chefe extrair o "número de série" (a marca d'água) e provar que o funcionário ainda está segurando a chave.

Passo 4: A Revogação (O Botão "Deletar")
Quando o período de aluguel termina, o chefe pede ao funcionário para "deletar" a chave. O funcionário mede seu estado quântico de uma maneira específica e envia o resultado de volta. Devido à regra quântica de "não-clonagem", se o funcionário conseguir enviar a prova de exclusão, ele é matematicamente forçado a perder a informação necessária para usar a chave novamente. O chefe verifica a prova usando sua trapdoor. Se ela passar, o chefe tem virtualmente a certeza (com uma probabilidade tão próxima de 100% que a chance de falha é insignificante) de que o funcionário não pode mais usar a chave.

O Que Este Artigo Realmente Alcança

O artigo prova que este framework funciona sob a suposição de que o "Learning With Errors" (LWE) é difícil de resolver. O LWE é um problema matemático padrão que acredita-se ser difícil até mesmo para computadores quânticos, tornando-o uma base sólida para a segurança futura.

Os autores demonstram que:

Eles alcançaram os primeiros esquemas para Funções Pseudorandomas e Assinaturas Digitais que permitem o aluguel seguro de chaves com um locador totalmente clássico (junto com o trabalho concorrente de Takeuchi e Xu, que alcançaram resultados semelhantes de forma independente).
Eles melhoraram esquemas existentes para Criptografia de Chave Pública (PKE), tornando o processo mais modular e menos dependente de estruturas matemáticas complexas e específicas.
Eles provaram a "Segurança VRA": Isso significa "Segurança contra Ataque de Revelação de Chave de Verificação" (Verification Key Revealing Attack). Isso significa que, mesmo que um hacker roube a chave de verificação do chefe após o funcionário ter devolvido a chave, o hacker ainda não conseguirá descobrir como usar a chave. Esta é uma garantia de segurança muito forte.

O Que Eles Não Fizeram (e o Que Eles Descartaram)

É importante notar o que este artigo não afirma. Os autores declaram explicitamente que seu método depende da suposição LWE; eles não afirmam ter resolvido o problema usando apenas o esquema de criptografia sem ferramentas extras como NTCF ou SFE. Eles também esclarecem que, embora tenham tornado o processo de geração de chaves "não interativo" (significando que o chefe não precisa conversar de ida e volta com o funcionário para as chaves de criptografia), a configuração inicial ainda requer algumas rodadas de comunicação. Eles não alegaram ter construído um dispositivo físico; este é um provimento matemático teórico de que tal sistema pode existir.

Por Que Isso Importa

Este trabalho é um passo significativo em direção à criptografia quântica prática. Ao mostrar que um "chefe clássico" pode gerenciar chaves "quânticas", os autores removem uma enorme barreira de entrada. No mundo real, empresas e indivíduos não precisarão comprar computadores quânticos caros e frágeis apenas para alugar serviços digitais de forma segura. Eles podem usar seus computadores normais para gerenciar o processo, enquanto o trabalho pesado quântico é feito pelo servidor ou pelo usuário. Esta abordagem modular sugere que podemos construir um futuro onde a gestão de direitos digitais, licenciamento de software e acesso seguro a dados não sejam apenas possíveis, mas também verificáveis e revogáveis, mantendo o "chefe" simples e clássico.

Resumo Técnico: Uma Abordagem Unificada para o Aluguel de Chaves Quânticas com um Locador Clássico

Declaração do Problema

O Aluguel de Chaves Seguras (Secure Key Leasing - SKL) é um primitivo criptográfico que permite a um locador alugar uma chave secreta quântica a um locatário, permitindo que o locatário realize uma funcionalidade criptográfica específica (ex: descriptografia, assinatura ou avaliação de PRF). Crucialmente, o locador deve ser capaz de revogar essa capacidade de forma verificável posteriormente. O locatário deve retornar um certificado de deleção provando que destruiu a chave, após o qual ele deve ser incapaz de realizar a funcionalidade.

Embora trabalhos anteriores tenham realizado SKL para vários primitivos (PKE, FHE, PRF, assinaturas), eles sofrem de duas limitações principais:

Falta de Modularidade: As construções são frequentemente ad-hoc e adaptadas a primitivos específicos, em vez de surgirem de um framework unificado.
Requisito de Locador Quântico: Esquemas existentes geralmente exigem que o locador (cliente) seja totalmente quântico, capaz de preparar e enviar estados quânticos. Em cenários práticos de computação em nuvem, minimizar os recursos quânticos exigidos do cliente é essencial. O único esquema conhecido com um locador clássico (Chardouvelis et al., Eurocrypt 2025) é limitado à Criptografia de Chave Pública (PKE) e Criptografia Totalmente Homomórfica (FHE) e depende fortemente de estruturas LWE específicas, tornando a generalização para outros primitivos difícil.

A questão central abordada é: Podemos desenvolver um framework de SKL modular que suporte um locador totalmente clássico e abranja uma ampla gama de funcionalidades criptográficas amplamente utilizadas?

Metodologia

Os autores propõem um framework modular que "atualiza" primitivos criptográficos genéricos em esquemas SKL com um locador clássico. A construção baseia-se em três componentes principais:

Geradores de Claw-Free com Trapdoor Ruidoso (NTCF): Baseados no trabalho de Broadbent et al. e Mahadev, os NTCFs permitem que um cliente clássico verifique se um servidor quântico preparou um estado de "claw" específico (uma superposição de dois pré-imagens $|0\rangle|a_0\rangle + |1\rangle|a_1\rangle$ tal que $f(a_0)=f(a_1)=y$ ). A segurança baseia-se na propriedade de bit duro adaptativo (adaptive hardcore bit property), que garante que, uma vez que o servidor meça o estado na base de Hadamard (para provar a deleção), ele perde a capacidade de recuperar as pré-imagens na base computacional.
Avaliação de Função Segura (SFE) de Modo Duplo Especial: Os autores constroem um novo esquema SFE baseado na suposição de Aprendizado com Erros (LWE). Este SFE possui propriedades específicas exigidas pelo framework:
- Modo Duplo: Opera em um modo extratível (permitindo a extração da mensagem de entrada do texto cifrado) ou em um modo de ocultação (escondendo estatisticamente a entrada).
- Recuperabilidade de Estado: No modo de ocultação, a informação de estado mantida pelo receptor pode ser recuperada do texto cifrado e da entrada usando um trapdoor.
- Geração de Superposição Eficiente: O receptor pode gerar o estado SFE em superposição sem deixar emaranhamento com a aleatoriedade utilizada.
- Decomponibilidade: O estado do receptor pode ser decomposto em blocos dependentes de bits individuais da entrada, uma propriedade crucial para a redução de segurança.
Marca d'água com Extração Paralela: O framework utiliza versões com marca d'água dos primitivos alvo (PKE, PRF, Assinaturas). Um esquema com marca d'água permite que uma "marca" (uma string secreta) seja incorporada a uma chave. A noção de segurança exige que, se um adversário produzir um programa funcional (ex: um descriptografador ou assinador) que funcione corretamente, um "extrator paralelo" possa recuperar as marcas incorporadas do estado quântico do adversário.

O Mecanismo Central:
O framework transforma uma chave padrão em um estado quântico ao emaranhá-la com estados de claw NTCF.

O locador (clássico) envia parâmetros públicos NTCF e as CRS de SFE para o locatário.
O locatário prepara os estados de claw e executa a primeira rodada de SFE.
O locador define um circuito $C$ que mapeia as pré-imagens NTCF para as chaves secretas reais do primitivo subjacente (ex: uma chave de PKE com marca d'água). Este circuito é executado homomorficamente via SFE.
O locatário recebe o resultado, obtendo efetivamente um estado quântico onde a chave secreta está incorporada em superposição: $|0\rangle|sk_0\rangle + |1\rangle|sk_1\rangle$ .
Deleção: Para revogar a chave, o locador pede ao locatário que meça o estado na base de Hadamard. Devido às propriedades do NTCF e do SFE, uma medição de certificado válida prova que o locatário perdeu a informação da base computacional (as pré-imagens e, portanto, as chaves secretas).
Redução de Segurança: Se um adversário passar pela verificação de deleção, mas ainda retiver a capacidade de realizar a tarefa criptográfica (ex: descriptografar uma mensagem), a redução utiliza a propriedade de extração de marca paralela do esquema de marca d'água para extrair as pré-imagens NTCF. Combinado com o certificado de deleção (que fornece medições na base de Hadamard), isso quebra a propriedade de bit duro adaptativo cut-and-choose do NTCF.

Contribuições Principais e Resultados

1. Um Framework de SKL de Locador Clássico Unificado

O artigo apresenta um compilador geral que converte qualquer primitivo pós-quântico seguro equipado com marca d'água de extração paralela em um esquema SKL de locador clássico. Este framework é modular e baseia-se em suposições padrão (LWE), em vez de construções ad-hoc.

2. Esquemas Específicos

Com base neste framework, os autores constroem:

PKE-SKL com Locador Clássico: Melhora as construções anteriores baseadas em LWE (Chardouvelis et al., Eurocrypt 2025) ao remover a dependência de estruturas LWE específicas para o próprio esquema PKE. O PKE subjacente pode ser qualquer esquema pós-quântico seguro contra ataques IND-CPA.
PRF-SKL com Locador Clássico: A primeira construção de um PRF com aluguel de chave seguro e um locador clássico. É baseado em LWE e utiliza Funções Imprevisíveis (UPFs) com marca d'água.
DS-SKL com Locador Clássico: A primeira construção de uma Assinatura Digital com aluguel de chave seguro e um locador clássico. Isso requer que o esquema de assinatura subjacente possua assinabilidade coerente (a capacidade de assinar usando uma superposição de chaves sem colapsar o estado), que os autores constroem a partir de LWE/SIS.

3. Noções de Segurança

Todos os esquemas satisfazem a Segurança VRA (Segurança contra Ataques de Revelação de Chave de Verificação). Esta é uma noção de segurança forte onde o esquema permanece seguro mesmo se o adversário receber a chave de verificação de deleção após submeter um certificado de deleção válido. Isso evita que o adversário use a chave de verificação para trapacear ou aprender informações sobre a chave após o fato.

4. Geração de Chave Não Interativa

Os autores refinam sua construção para alcançar a geração de chave não interativa para PKE-SKL (e rodadas constantes para PRF/DS). No protocolo padrão, o locador e o locatário interagem para gerar a chave. A versão melhorada permite que o locador publique os parâmetros públicos uma única vez, após o que o locatário pode gerar a chave de forma não interativa. A geração completa da chave é adiada para a fase de criptografia/assinatura, onde o locatário usa informações auxiliares do texto cifrado para completar a preparação da chave.

5. Construções Auxiliares

Ao longo do caminho, o artigo constrói:

Um Esquema de Marca d'água para PKE, UPFs e Assinaturas Digitais com propriedades de extração paralela.
Um SFE de Modo Duplo Especial baseado em LWE, que satisfaz propriedades únicas de recuperabilidade de estado e decomponibilidade não encontradas em definições padrão de SFE.

Significância e Alegações

O artigo afirma fornecer o primeiro framework modular para aluguel de chaves seguras que suporta um locador totalmente clássico através de um amplo espectro de funcionalidades criptográficas (PKE, PRF, Assinaturas).

Modularidade: Ao contrário de trabalhos anteriores que foram adaptados a primitivos específicos, esta abordagem abstrai o problema em um compilador que funciona para qualquer primitivo com marca d'água de extração paralela.
Praticidade: Ao permitir um locador clássico, o framework se alinha a cenários reais de computação em nuvem onde os clientes carecem de capacidades quânticas.
Força de Segurança: Os esquemas alcançam segurança VRA, uma garantia mais forte do que muitas definições de SKL existentes, garantindo robustez mesmo se as chaves de verificação forem vazadas pós-deleção.
Melhorias Fundacionais: A construção do SFE de modo duplo especial e os esquemas de marca d'água com extração paralela são apresentados como contribuições de interesse independente.

Os autores observam que, embora sua construção de PKE-SKL dependa de LWE, o esquema PKE subjacente não precisa ser baseado em LWE, oferecendo maior flexibilidade do que os esquemas anteriores de PKE-SKL estruturados em LWE. Eles também reconhecem que sua abordagem para assinaturas requer a propriedade específica de assinabilidade coerente, que eles constroem a partir de LWE/SIS, enquanto abordagens anteriores de locador quântico dependiam de diferentes suposições ou estruturas de assinatura específicas.

Em resumo, o trabalho preenche a lacuna entre o aluguel de chaves quânticas teórica e a implantação prática ao remover o fardo quântico do locador, mantendo fortes garantias de segurança por meio de uma abordagem modular e unificada.