🔬 física

Quantum Vault: Symmetric No-Cloning Protection for Token Issuer and User (Benchmarked on IBM Quantum)

Este artigo propõe e avalia um protocolo "Quantum Vault" em processadores IBM Quantum que protege a autenticação de tokens ao armazenar cópias dos tokens no banco emissor para eliminar informações laterais clássicas, protegendo simetricamente tanto usuários quanto emissores contra falsificações, ao mesmo tempo em que possibilita verificabilidade pública, rastreabilidade e revocabilidade com taxas de erro negligenciáveis.

Autores originais: Lucas Tsunaki, Boris Naydenov

Publicado 2026-10-16

📖 6 min de leitura🧠 Leitura aprofundada

CC BY 4.0

Autores originais: Lucas Tsunaki, Boris Naydenov

Artigo original sob licença CC BY 4.0 (https://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 comunicação segura, existe uma regra fundamental da natureza que atua como uma fechadura perfeita: você não pode fazer uma cópia perfeita de um estado quântico desconhecido. Este princípio, conhecido como teorema da não-clonagem, sugere que, se uma informação existe em uma forma quântica, é impossível duplicá-la sem destruir o original. Esta ideia há muito alimenta sonhos de moedas digitais impossíveis de falsificar ou cartões de identidade inquebráveis, frequentemente chamados de dinheiro ou tokens quânticos. O conceito é simples: um banco emite um token físico contendo um estado quântico específico e secreto. Para gastá-lo, o usuário apresenta o token a um comerciante, que verifica se o estado corresponde aos registros do banco. Se o token tiver sido copiado, as leis da física garantem que a cópia falhará no teste. No entanto, durante décadas, uma fraqueza crítica permaneceu nestes planos. O sistema dependia de o banco manter uma lista secreta das configurações dos estados quânticos em um banco de dados de computador clássico. Se um hacker roubasse essa lista digital, ele poderia simplesmente recriar os tokens perfeitamente, contornando completamente a trava quântica. A segurança de todo o sistema dependia do segredo de um arquivo digital, uma vulnerabilidade que ataques cibernéticos globais recentes mostraram ser muito real.

Uma equipe de pesquisadores do Helmholtz-Zentrum Berlin para Materiais e Energia propôs uma nova maneira de resolver este problema, removendo a necessidade dessa lista digital vulnerável por completo. Em vez de armazenar as configurações secretas em um computador, eles sugerem que o banco guarde uma cópia física do próprio token em um "cofre quântico" seguro. Quando o banco emite um token a um usuário, ele cria simultaneamente um gêmeo idêntico e o armazena neste cofre. Para verificar um token, o banco ou um comerciante autorizado não consulta um número em um banco de dados. Em vez disso, eles realizam uma comparação física direta entre o token do usuário e o que está sentado no cofre. Se os dois forem idênticos, o token é aceito; se forem diferentes, é rejeitado. Este método garante que, mesmo que um hacker roube cada pedaço de dado clássico que o banco possui, ele não poderá falsificar um token porque carece do gêmeo quântico físico necessário para a comparação. Os pesquisadores testaram esta ideia usando computadores quânticos reais da IBM, executando simulações para ver quão bem o sistema se sustenta contra um atacante determinado tentando adivinhar o estado do token.

O experimento envolveu a criação de tokens feitos de muitos pequenos bits quânticos, em vez de apenas um, para tornar o processo de verificação mais robusto. Os pesquisadores simularam um cenário onde um hacker tentava roubar informações sobre um token genuíno ao medi-lo de diferentes maneiras e, então, usar essa informação para construir uma cópia falsa. Eles descobriram que, embora um hacker pudesse conseguir adivinhar o estado de um único token com uma chance de sucesso relativamente alta, as chances de ele falsificar uma cédula inteira composta por muitos tokens caíram dramaticamente. Em seus testes, usando uma cédula composta por 200 tokens, a probabilidade de uma falsificação bem-sucedida no computador menos potente que testaram foi de menos de uma em dez bilhões. Mesmo nas máquinas mais avançadas disponíveis para eles, a chance de uma cédula falsa passar era ínfima, enquanto as cédulas genuínas eram aceitas com quase certeza. Isso demonstra que, ao remover o segredo clássico e confiar em uma comparação física, o sistema torna-se seguro contra o tipo mais comum de roubo digital.

O estudo também destacou como a qualidade do hardware afeta a segurança. Os pesquisadores executaram o mesmo protocolo em três processadores quânticos diferentes, cada um com níveis ligeiramente diferentes de precisão e taxas de erro. Eles descobriram que, mesmo na máquina com as maiores taxas de erro, o sistema permanecia incrivelmente seguro, embora a margem de segurança fosse mais apertada do que nas máquinas melhores. Isso sugere que, à medida que o hardware quântico continua a melhorar, a segurança de tal sistema ficará ainda mais forte. Os pesquisadores observaram que esta abordagem muda a natureza do token de uma peça de dinheiro anônima para um cartão de identidade rastreável, semelhante a um cartão de crédito. Como o banco detém a cópia do cofre, eles podem rastrear quem possui qual token e revogar o acesso se necessário, adicionando uma camada de governança que o dinheiro anônimo não pode oferecer.

Talvez o aspecto mais significativo deste trabalho seja que ele move a segurança do sistema do reino digital para o reino físico. Em propostas anteriores, a segurança dependia da suposição de que o banco de dados do computador do banco fosse impenetrável. Neste novo modelo, a segurança depende das leis da física e da presença física da cópia do cofre. Os pesquisadores mostraram que este método funciona mesmo quando o processo de verificação é aberto a partes não confiáveis, como um vendedor que não conhece pessoalmente o usuário. O vendedor simplesmente precisa de acesso à interface do cofre do banco para realizar a comparação, sem nunca precisar saber as configurações secretas do token. Isso abre as portas para um sistema de verificação pública onde qualquer pessoa pode verificar a validade de um token, desde que tenha um link para o cocesso seguro do banco.

Os pesquisadores reconhecem que construir uma versão do mundo real deste sistema enfrenta obstáculos significativos, principalmente a dificuldade de armazenar estados quânticos por longos períodos sem que eles desapareçam. As memórias quânticas atuais são frágeis e muitas vezes exigem frio extremo ou condições de vácuo, tornando difíceis de carregar como uma carteira. No entanto, o estudo serve como uma prova de conceito crucial, mostrando que o quadro teórico é sólido e que as métricas de segurança são alcançáveis com a tecnologia existente. Ao realizar o benchmarking do protocolo em hardware real, a equipe forneceu dados concretos sobre quantos tokens são necessários para garantir a segurança e como o sistema se comporta sob ruído e erros do mundo real. O trabalho deles sugere que, embora a tecnologia para carregar um cofre quântico no bolso ainda não esteja aqui, o caminho para criar identidades digitais inforgeáveis, rastreáveis e seguras está se tornando mais claro, baseando-se não em senhas secretas, mas nas regras inquebráveis do mundo quântico.

Resumo Técnico: Quantum Vault: Proteção de Não-Clonagem Simétrica para Emissor de Token e Usuário

Declaração do Problema
Propostas atuais para tokens quânticos, dinheiro quântico e autenticação de identidade dependem do teorema da não-clonagem para prevenir falsificações. Nas arquiteturas padrão, um agente emissor (ex: um banco) prepara um estado quântico $|\psi\rangle$ definido por parâmetros clássicos $(\theta, \phi)$ , transmite o estado para um usuário e armazena a descrição clássica $(\theta, \phi)$ para verificação posterior. Embora o teorema da não-clonagem proteja o token do usuário contra cópias, esta arquitetura contém uma vulnerabilidade crítica: se um atacante roubar a informação lateral clássica $(\theta, \phi)$ do agente emissor, ele poderá gerar tokens falsos perfeitos sem violar o teorema da não-clonagem. O verificador, comparando o token falso contra os dados clássicos roubados, o aceitaria, sem perceber a violação de segurança. Este ataque de "estimativa e falsificação" ao banco de dados do emissor continua sendo uma ameaça significativa e frequentemente negligenciada à proposta de dinheiro e redes quânticas.

Metodologia
Para abordar esta vulnerabilidade, os autores propõem o protocolo Quantum Vault, que elimina a necessidade de o emissor armazenar descrições clássicas dos estados dos tokens. A metodologia envolve três etapas primárias:

Geração de Token Simétrica: Em vez de armazenar dados clássicos, o banco prepara dois tokens quânticos idênticos no mesmo estado Haar-aleatório $|\psi\rangle^{\otimes N}$ , onde $N$ é o número de qubits independentes não-emaranhados em um ensemble. Um token é entregue ao usuário e o outro é retido no "cofre" do banco. Crucialmente, toda a informação clássica referente aos ângulos $(\theta, \phi)$ é imediatamente descartada.
Autenticação via Teste SWAP: A autenticação é realizada comparando o token do usuário contra a cópia do cofre usando um teste SWAP. Este circuito envolve um qubit auxiliar, portas Hadamard e operações de controlled-SWAP entre os qubits dos dois tokens. O resultado da medição do qubit auxiliar fornece um valor $c_n \in \{0, 1\}$ $c_{n} \in {0, 1}$ . A média desses resultados sobre $N$ $N$ qubits, $\bar{c}$ $\overset{c}{ˉ}$ , serve como o observável para verificação.
- Se os estados forem idênticos, $\bar{c} \approx 0$ .
- Se os estados forem diferentes, $\bar{c} > 0$ .
Benchmarking Agnóstico ao Hardware: O protocolo foi implementado e testado em três processadores quânticos IBM (Kingston, Fez e Marrakesh) utilizando o SDK Qiskit. O estudo utilizou uma aproximação ergódica, realizando a média temporal de disparos de circuitos sequenciais independentes para simular um ensemble de $N$ qubits.
Modelagem de Segurança: Os autores modelaram um ataque de "estimativa e falsificação" onde um atacante tenta reconstruir o estado do token $|\psi\rangle$ realizando testes SWAP no token do usuário ao longo dos eixos $x, y, z$ . O atacante utiliza Estimativa de Máxima Verossimilhança (MLE) para reconstruir o estado e, em seguida, tenta forjar um token para autenticação.

Principais Contribuições

Proteção Simétrica: O protocolo fornece proteção simétrica tanto para o usuário quanto para o banco. Nenhuma das partes detém o segredo clássico; a segurança depende inteiramente do teorema da não-clonagem quântica e da presença física da cópia no cofre.
Verificabilidade Mediada pelo Banco: Ao remover os segredos clássicos, o banco pode conceder acesso à interface de autenticação a terceiros não confiáveis (ex: vendedores). Estes terceiros podem verificar a validade do token contra a cópia do cofre sem poder clonar o token ou aprender seu estado. No entanto, o esquema é intrinsecamente não-anônimo, pois o banco deve saber o proprietário do token para realizar a comparação, mantendo uma arquitetura centralizada em vez de um sistema de chave pública real.
Rastreabilidade e Revogabilidade: Diferente dos esquemas de dinheiro quântico anônimos, o Quantum Vault não é anônimo. Como o banco retém a cópia do cofre, ele pode rastrear a propriedade do token e revogá-lo, se necessário.
Quantificação de Segurança: O artigo quantifica a segurança do protocolo comparando a probabilidade de aceitar tokens genuínos ( $p_b$ ) versus tokens falsificados ( $p_f$ ) em diferentes plataformas de hardware.

Resultados
O estudo testou o protocolo utilizando ensembles de $N=90$ qubits (escolhidos para equilibrar ruído de disparo e efeitos de discretização) e cédulas quânticas compostas por $M=200$ tokens.

Parâmetros de Qualidade: O desempenho do hardware foi caracterizado pelos parâmetros de qualidade $Q_a$ (amplitude de oscilação/contraste) e $Q_o$ (offset). O processador Kingston demonstrou o melhor desempenho ( $Q_a \approx 0,892$ ), seguido por Fez e Marrakesh.
Falsos Negativos (Erro Tipo 1): O limiar de aceitação $c^*$ foi calibrado de modo que tokens genuínos sejam aceitos com uma probabilidade $p_b \geq 0,99$ .
Falsos Positivos (Erro Tipo 2): Para um único token, a probabilidade de um token falsificado ser aceito ( $p_f$ $p_{f}$ ) variou de aproximadamente 0,66 a 0,75, dependendo do hardware. No entanto, para uma cédula quântica com $M=200$ $M = 200$ tokens, a probabilidade de uma falsificação bem-sucedida ( $P_f$ $P_{f}$ ) decai exponencialmente.
- Mesmo no hardware de pior desempenho (Marrakesh), com estimativas de incerteza conservadoras, a probabilidade de um ataque bem-sucedido em uma cédula de 200 tokens foi encontrada como $P_f < 10^{-10}$ .
- No melhor hardware (Kingston), o intervalo de confiança de $1\sigma$ para $P_f$ varia de $10^{-33}$ a $10^{-21}$ , com o limite superior da incerteza atingindo $10^{-21}$ .
Compromissos (Trade-offs): Os autores observam que a eliminação da informação lateral clássica reduz a eficiência de autenticação de tokens genuínos em comparação com protocolos que retêm dados clássicos. Consequentemente, um número maior de tokens por cédula ( $M$ ) é necessário para alcançar o mesmo nível de segurança contra falsificação.

Significância e Alegações
O artigo afirma que o Quantum Vault representa um passo crucial em direção a arquiteturas práticas de dinheiro e redes quânticas ao proteger o agente emissor, e não apenas o usuário. Ao demonstrar que o protocolo pode alcançar probabilidades extremamente baixas de falsificação ( $<10^{-10}$ ) no hardware atual de Escala Intermediária com Ruído Quântico (NISQ), os autores argumentam que o esquema é viável para aplicações futuras.

A significância reside na mudança de arquiteturas de chave privada (onde apenas o banco pode verificar) para um modelo onde a verificabilidade pública é possível sem comprometer a segurança, embora através de uma interface mediada pelo banco e não por um sistema de chave pública totalmente descentralizado. Os autores enfatizam que, embora o protocolo não seja uma prova matemática completa de segurança contra todos os ataques possíveis (ataques de substituição ou ataques de canal lateral são notas como limitações), o benchmarking agnóstico ao hardware nos processadores IBM Quantum fornece um limite superior prático de desempenho. Os resultados sugerem que, com a evolução contínua do hardware e a otimização das comparações de ensemble, o Quantum Vault oferece um framework robusto, rastreável e revogável para transferência de identidade e valor quântico.

Mais como este