Imagine que você esteja vivendo em um futuro onde os computadores não apenas enviam e-mails ou arquivos; eles enviam mensagens quânticas. Estas são como bolhas de sabão delicadas e invisíveis que carregam informações. O problema é que, no mundo da física quântica, você não pode simplesmente "assinar" uma bolha com um carimbo digital para provar quem a enviou. Se você tentar olhar para a bolha para verificar a assinatura, a bolha estoura ou muda de forma, tornando a assinatura inútil. Por muito tempo, os cientistas pensaram que isso significava que assinar mensagens quânticas era impossível.

Este artigo diz: "Não tão rápido!" Os autores, Mohammed Barhoush e Louis Salvail, encontraram três maneiras inteligentes de assinar essas bolhas quânticas, desde que aceitemos algumas novas regras sobre tempo e memória.

Aqui está como eles fizeram isso, explicado com analogias do cotidiano:

1. A Assinatura de "Bloqueio Temporal" (O Quebra-Cabeça Lento)

O Problema: Se você assina uma mensagem quântica, um hacker astuto pode tentar copiar a assinatura e usá-la para assinar uma mensagem falsa mais tarde.
A Solução: Os autores introduzem Assinaturas Dependentes do Tempo. Pense nisso como enviar uma carta dentro de um Quebra-Cabeça de Bloqueio Temporal.

Como funciona: Quando você assina uma mensagem, você a coloca dentro de um cofre digital que leva exatamente uma hora para ser aberto. A "assinatura" é o cofre trancado.
A Pegadinha: Para verificar a mensagem, o receptor tem que esperar uma hora para resolver o quebra-cabeça e abrir o cofre. No momento em que o cofre abre, o "tempo" da mensagem já passou.
Por que impede hackers: Um hacker que tenta roubar a assinatura e usá-la para assinar uma nova mensagem amanhã falhará. No momento em que eles resolverem o quebra-cabeça para obter a chave, o "carimbo de tempo" na chave será antigo, e o sistema a rejeitará. É como tentar usar um ingresso que expirou ontem para entrar em um show hoje.

2. A Assinatura de "Chave Mutante" (O Cadeado Rotativo)

O Problema: Quebra-cabeças de bloqueio temporal são lentos e exigem matemática complexa. Podemos fazer isso mais rápido?
A Solução: Eles utilizam Chaves de Verificação Dinâmicas. Imagine um cofre de banco onde a fechadura muda a cada hora.

Como funciona: O banco (o signatário) possui uma chave mestra. A cada hora, eles geram uma chave temporária para aquela hora específica e a utilizam para assinar mensagens.
A Revelação: Ao final da hora, o banco anuncia: "Esta foi a chave para a hora das 14:00".
Por que funciona: Se um hacker tentar falsificar uma assinatura para as 14:00, ele precisará dessa chave específica. Mas ele não consegue adivinhá-la porque a matemática é muito difícil. Se ele tentar usar essa chave às 15:00, ela será inútil porque o sistema já mudou para a chave das 15:00. A chave antiga está "expirada". Isso permite assinaturas baseadas em suposições matemáticas muito padrão e simples, sem a necessidade dos lentos quebra-cabeças de bloqueio temporal.

3. A Assinatura de "Memória Limitada" (A Memória de Curto Prazo)

O Problema: E se não quisermos depender do tempo?
A Solução: Eles observam um mundo onde os hackers possuem memória quântica limitada. Imagine um hacker que pode manter um estado quântico em sua mente, mas apenas por uma fração de segundo antes que ele desapareça.

Como funciona: Os autores criaram um sistema onde a "assinatura" é um programa quântico complexo. Para falsificar uma assinatura, o hacker precisaria manter uma quantidade massiva de informação quântica em sua memória de uma só vez para copiá-la.
O Resultado: Se a memória do hacker for muito pequena (o que é fisicamente difícil de construir atualmente), ele simplesmente não consegue manter informação suficiente para falsificar a assinatura. É como tentar memorizar uma biblioteca inteira de livros para escrever um novo; se seu cérebro só consegue conter uma página, você não consegue falsificar a biblioteca. Este método é "incondicionalmente seguro", o que significa que é seguro com base nas leis da física, não apenas na matemática.

O Que Podemos Fazer Com Isso?

O artigo mostra que esses novos métodos de assinatura desbloqueiam duas grandes aplicações:

Dinheiro Quântico:
Imagine um dólar digital que é uma bolha quântica. No passado, criar "dinheiro quântico de chave pública" (onde qualquer pessoa pode verificar sem perguntar ao banco) era considerado impossível.
- A Correção: Usando as assinaturas "Dependentes do Tempo", o banco pode emitir dinheiro que expira. Você pode gastá-lo, e o sistema verifica o tempo. Se você tentar copiar o dinheiro e gastá-lo duas vezes, as verificações de tempo revelarão a fraude. Isso cria o primeiro "dinheiro quântico de chave pública" baseado em suposições padrão.
Chaves Quânticas Seguras:
Em uma futura "Internet Quântica", as pessoas precisarão compartilhar chaves secretas para criptografar suas mensagens. Normalmente, você precisa confiar na pessoa que está enviando a chave.
- A Correção: Os autores mostem como "assinar" essas chaves quânticas usando seus novos métodos. Dessa forma, mesmo que um hacker tente trocar a chave por uma falsa, o receptor pode verificar a assinatura com carimbo de tempo e saber: "Esta chave é autêntica e não foi adulterada".

A Conclusão

Por anos, os cientistas pensaram que não era possível assinar uma mensagem quântica sem um segredo pré-compartilhado ou um terceiro de confiança. Este artigo quebra essa barreira. Ao usar o tempo (esperando que os quebra-cabeças sejam resolvidos ou que as chaves expirem) ou limites de memória (forçando hackers a manterem muitos dados), os autores criaram as primeiras formas de assinar mensagens quânticas que qualquer um pode verificar. É um grande passo em direção a uma internet quântica segura.

Resumo Técnico: Como Assinar Mensagens Quânticas

1. Declaração do Problema

A transmissão segura de dados quânticos dentro de uma futura internet quântica requer mecanismos tanto para criptografia quanto para autenticação. Embora a criptografia quântica tenha sido alcançada sob suposições padrão, assinar mensagens quânticas tem sido considerado impossível por muito tempo, mesmo sob suposições computacionais. Resultados de impossibilidade anteriores (ex: Barnum et al., Alagic et al.) estabeleceram que qualquer algoritmo de verificação capaz de deduzir uma mensagem quântica a partir de uma assinatura pode ser invertido para forjar uma assinatura para uma mensagem diferente.

Consequentemente, a comunidade criptográfica tem dependido da signcriptografia (signcryption), um primitivo que combina criptografia e assinatura. No entanto, a signcriptografia carece de verificabilidade pública; apenas o destinatário pretendido (possuidor de uma chave de decriptação secreta) pode verificar a autenticidade. Essa limitação impede o estabelecimento de uma infraestrutura de chave pública (PKI) para sistemas quânticos, onde chaves públicas devem ser autenticadas sem segredos pré-compartilhados. Além disso, a impossibilidade de assinar estados quânticos tem dificultado a realização de dinheiro quântico de chave pública, um objetivo que permanece elusivo sob suposições computacionais padrão, muitas vezes exigindo suposições fortes e potencialmente inseguras como a ofuscação de indistinguibilidade.

Este trabalho desafia a noção de que assinar mensagens quânticas é impossível ao introduzir a dependência temporal e o armazenamento quântico limitado como recursos para contornar os ataques de inversão inerentes aos esquemas de assinatura padrão.

2. Metodologia e Conceitos Centrais

Os autores propõem três abordagens distintas para assinar mensagens quânticas, aproveitando duas restrições primárias para evitar falsificações: tempo e memória quântica.

A. Assinaturas Dependentes do Tempo (TD)

A inovação central é a introdução de assinaturas Dependentes do Tempo (TD), onde os algoritmos de assinatura e verificação dependem do tempo atual $t$ . A ideia central é que o "ataque de inversão" (inverter a verificação para forjar uma assinatura) requer recursos que se tornam proibitivos quando o tempo é um fator.

Mecanismo: Uma assinatura é válida apenas se verificada dentro de uma janela de tempo específica em relação à sua criação. Se um adversário tentar inverter o processo de verificação para forjar uma nova assinatura, o tempo necessário para resolver o enigma criptográfico subjacente torna a assinatura forjada obsoleta no momento em que ela é gerada.
Suposições: As construções baseiam-se em Funções Unidirecionais Pós-Quânticas (pq-OWFs) e, em alguns casos, em Quebra-cabeças de Bloqueio de Tempo (TLPs). Os TLPs garantem que uma mensagem (ou chave) permaneça oculta por uma duração específica $t$ , mas possa ser decriptada pouco tempo depois.

B. Chaves de Verificação Dinâmicas (TD-DVK)

Para eliminar a dependência de TLPs, os autores introduzem assinaturas TD com Chaves de Verificação Dinâmicas (TD-DVK).

Mecanismo: A chave de verificação evolui ao longo do tempo. Uma chave secreta é usada para gerar chaves de assinatura temporárias para intervalos de tempo específicos. A chave de verificação para um intervalo específico é anunciada após esse intervalo ter passado.
Segurança: Um adversário não pode forjar uma assinatura para um intervalo passado porque não pode prever a chave de assinatura (protegida por pq-PRFs). Eles não podem forjar uma assinatura para o futuro porque a chave de verificação para o intervalo atual ainda não foi anunciada, e a chave de assinatura para o intervalo futuro é desconhecida. Isso cria uma propriedade de segurança "desaparecente" onde as assinaturas expiram.

C. Modelo de Armazenamento Quântico Limitado (BQSM)

A segunda grande abordagem opera sob o Modelo de Armazenamento Quântico Limitado, onde os adversários são limitados em sua memória quântica ( $s$ qubits).

Mecanismo: Esta abordagem utiliza primitivos de programas de uso único e transmissão de programas (program broadcast). A chave pública é um estado quântico grande (um programa transmitido) que os usuários só podem armazenar parcialmente devido às restrições de memória.
Segurança: A assinatura envolve programas de uso único que revelam informações necessárias para a verificação apenas quando avaliados em entradas específicas derivadas da subchave armazenada pelo usuário. Um adversário com memória limitada não consegue armazenar informação suficiente para forjar uma assinatura ou adulterar uma assinatura existente sem ser detectado, pois não consegue manter o emaranhamento ou o estado necessário através do processo de verificação.

3. Principais Contribuições e Resultados

1. Assinaturas Dependentes do Tempo (Duas Construções)

Construção 1 (Baseada em TLP): Um esquema de assinatura TD assumindo pq-OWFs e TLPs. A assinatura consiste em uma mensagem quântica criptografada e um TLP contendo a chave de decriptação e um carimbo de tempo (timestamp). A verificação requer resolver o TLP, o que leva um tempo $t$ . No momento em que a chave é revelada, a assinatura já expirou pelo tempo.
Construção 2 (TD-DVK): Um esquema de assinatura TD baseado apenas em pq-OWFs. Utiliza um esquema de criptografia autenticada simétrica onde a chave é revelada apenas após o intervalo de assinatura. Esta construção alcança não-falsificabilidade quântica (QUF) e uma propriedade desaparecente (assinaturas não podem ser reutilizadas ou forjadas para mensagens passadas, mesmo que uma assinatura tenha sido observada anteriormente).

2. Assinaturas no BQSM

Construção 3: Um esquema de assinatura de segurança teórica da informação para mensagens quânticas no BQSM.
Características: Aborda três limitações de trabalhos anteriores de BQSM: assina mensagens quânticas (não apenas clássicas), é seguro contra adversários com acesso irrestrito ao oráculo de assinatura (ao contrário de trabalhos anteriores) e inclui chaves públicas quânticas certificadas.
Mecanismo: A chave pública é um programa transmitido de uma função linear. A assinatura utiliza dois programas de uso único interdependentes para autenticar a mensagem e a chave, impedindo que um adversário modifique a assinatura sem conhecer a chave secreta, a qual ele não consegue reconstruir totalmente devido aos limites de memória.

3. Aplicações

Os autores demonstram que as assinaturas TD permitem vários primitivos criptográficos anteriormente difíceis ou impossíveis:

Chaves Públicas Quânticas Autenticadas (QPKE):
- Construção 4 (Estado Misto): Um esquema de QPKE usando assinaturas TD-DVK para autenticar chaves públicas quânticas de estado misto. Alcança segurança IND-qCKCA2 (indistinguibilidade sob ataque adaptativo de chave e texto cifrado quântico escolhido) a partir de pq-OWFs.
- Construção 5 (Estado Puro): Um esquema de QPKE usando assinaturas TD-DVK de uso único para autenticar chaves de estado puro. Este esquema alcança segurança IND-CKPA baseada em Estados de Funções Pseudoirandomas (PRFS), uma suposição potencialmente mais fraca que pq-OWFs. Resolve questões abertas sobre erros de decriptação e força de suposição em trabalhos anteriores de QPKE.
Dinheiro Quântico de Chave Pública:
- Esquema Semi-Online (TD-DVK): Um esquema de dinheiro quântico de chave pública baseado em pq-OWFs. As cédulas são estados quânticos criptografados com múltiplas camadas de QAE de uso único. As chaves de verificação são anunciadas periodicamente, permitindo que os usuários validem a cédula. A cédula expira após todas as chaves serem reveladas.
- Esquema Offline (TD + TLP): Um esquema de dinheiro quântico de chave pública completamente offline baseado em pq-OWFs e TLPs. As chaves são codificadas em TLPs, permitindo que os usuários as deduzam apenas em momentos específicos sem interagir com o banco. É o primeiro esquema de dinheiro quântico de chave pública construído a partir de suposições computacionais padrão (pq-OWFs).

4. Significância e Alegações

O artigo afirma ser o primeiro trabalho a assinar mensagens quânticas sem usar signcriptografia, alcançando assim a verificabilidade pública para dados quânticos.

Superação da Impossibilidade: O trabalho desafia a impossibilidade estabelecida de assinar informação quântica ao mostrar que isso é alcançável quando o processo de verificação é restringido pelo tempo ou pela memória.
Suposições Padrão: Fornece as primeiras construções para dinheiro quântico de chave pública e chaves públicas quânticas autenticadas baseadas em suposições computacionais padrão (pq-OWFs), evitando a necessidade de ofuscação de indistinguibilidade ou outras suposições complexas e potencialmente inseguras.
Praticidade do Tempo: Os autores argumentam que o tempo atua como uma forma de sincronização que é simples de implementar na prática, oferecendo uma ferramenta poderosa para construir primitivos criptográficos fundamentais.
Níveis de Segurança: A construção BQSM oferece segurança teórica da informação, enquanto as construções TD oferecem segurança computacional baseada em suposições pós-quânticas bem estudadas.

Os autores reconhecem limitações, como a expiração de assinaturas e cédulas, e a necessidade de sincronização de tempo ou anúncios de chaves dinâmicas. No entanto, eles postulam que estas são trocas razoáveis para alcançar sistemas criptográficos quânticos publicamente verificáveis e resistentes à adulteração. O trabalho abre novos caminhos para a pesquisa em modelos dependentes do tempo e para a aplicação de modelos de armazenamento limitado a outros primitivos criptográficos.