Resumo Técnico: Verificação de Posição Quântica Arbitrariamente Tolerante a Perdas em uma Única Execução

1. Definição do Problema

A Verificação de Posição Quântica (QPV) visa certificar a localização espacial de um provador não confiável utilizando restrições de sinalização relativística e informação quântica. Embora o teorema da não-clonagem impeça ataques de cópia clássica, a segurança incondicional é impossível contra adversários que compartilham emaranhamento arbitrariamente grande. Consequentemente, a pesquisa foca no modelo de emaranhamento limitado (BE - bounded-entanglement), onde os adversários compartilham um número limitado de qubits emaranhados.

Um obstáculo prático crítico para a QPV é a perda de fótons. Em fibras ópticas, a perda de transmissão aumenta exponencialmente com a distância. Protocolos padrão de QPV (ex: $QPV_{BB84}$, $QPV^f_{BB84}$ e o paralelo $QPV^{f:n\to m}_{BB84}$) assumem transmissão ideal. Essa suposição cria uma vulnerabilidade fundamental: um adversário pode interceptar qubits, medi-los em bases aleatórias e relatar resultados apenas quando o palpite da base estiver correto, declarando "perda" caso contrário. Essa estratégia quebra a segurança sempre que a taxa de transmissão cai abaixo de 50%.

Trabalhos anteriores abordaram perda e emaranhamento separadamente ou simultaneamente apenas em configurações sequenciais. Especificamente, [ABB+23] introduziu uma modificação baseada em compromisso ($c-QPV^f_{BB84}$) que tolera perdas arbitrárias ao exigir que o provador se comprometa com os qubits recebidos antes de conhecer a base de medição. No entanto, essa técnica dependia da estrutura sequencial do protocolo, onde rodadas repetidas permitem que os verificadores detectem compromissos inconsistentes. Essas técnicas não se estendem a protocolos de execução única (paralelos), que são preferíveis para implementação prática e uso como sub-rotinas em esquemas criptográficos maiores. Protocolos de execução única existentes carecem de tolerância a perdas ou exigem comunicação quântica à velocidade da luz, limitando sua aplicabilidade.

2. Metodologia

Os autores propõem uma modificação baseada em compromisso para o protocolo paralelo de execução única $QPV^{f:n\to m}_{BB84}$, denotado como $c-QPV^{f:n\to m}_{BB84}$.

Estrutura do Protocolo

O protocolo envolve dois verificadores ($V_0, V_1$) e um provador ($P$):

1. Preparação: Os verificadores geram entradas clássicas $x, y \in \{0,1\}^n$ e estados quânticos (qubits BB84) baseados em uma função $z = f(x,y)$.
2. Distribuição: Estados quânticos são enviados para $P$, seguidos por strings clássicas $x$ e $y$ temporizadas para chegar simultaneamente na posição alegada.
3. Compromisso (Nova Etapa): Ao receber os sistemas quânticos, mas antes de conhecer $x$ e $y$, o provador transmite uma string de compromisso $c \in \{0,1\}^m$, indicando quais qubits foram recebidos com sucesso ($c_i=1$) e quais foram perdidos ($c_i=0$).
4. Condição de Verificação: O protocolo prossegue apenas se o número de qubits comprometidos $|c| \geq k$, onde $k$ é um limiar pré-definido.
5. Medição: Uma vez que $x$ e $y$ chegam, $P$ calcula $z = f(x,y)$ e mede apenas os qubits no conjunto comprometido $C = \{i \mid c_i=1\}$ nas bases especificadas por $z_C$.
6. Verificação: Os verificadores aceitam se os resultados relatados coincidirem com os valores esperados dentro de uma margem de erro $\gamma$ para o subconjunto $C$.

Técnicas de Análise de Segurança

A prova de segurança aborda o desafio de que, ao contrário da repetição sequencial, uma única execução fornece apenas uma string de compromisso, impedindo a detecção de inconsistências entre rodadas. Os autores empregam as seguintes técnicas:

• Restrições de Não-Sinalização: A análise aproveita o fato de que os adversários (Alice e Bob) estão espacialmente separados. Sua distribuição conjunta de compromisso deve satisfazer condições de não-sinalização; especificamente, o compromisso de Alice não pode depender da entrada $y$ de Bob, e vice-versa.
• Decomposição da Probabilidade de Aceitação: Os autores decompõem a probabilidade total de aceitação em uma soma sobre as possíveis strings de compromisso $c$. Eles limitam a probabilidade de aceitação condicional $Pr[\text{aceitar } w_C \mid c]$ para um $c$ fixo, relacionando-a à segurança do protocolo original $QPV^{f:n\to m}_{BB84}$ restrito ao subconjunto $C$.
• Decaimento Exponencial: Combinando as restrições de não-sinalização com o decaimento exponencial da robustez (soundness) do protocolo original (regido pelo parâmetro $\lambda_\gamma$), eles derivam um limite global que decai exponencialmente com o limiar $k$.
• Análise Sequencial Refinada: Os autores também revisitam o protocolo sequencial de [ABB+23]. Eles substituem o tempo de parada estocástico (esperar por um número polinomial de rodadas bem-sucedidas) por um número fixo de rodadas $m$ e um limiar fixo $k$. Isso permite um limite direto na probabilidade de aceitação sem depender de afirmações de "ou-ou" sobre compromissos inconsistentes.

3. Principais Contribuições

1. Primeira QPV de Shot Único Tolerante a Perdas: O artigo apresenta o $c-QPV^{f:n\to m}_{BB84}$, o primeiro protocolo que alcança simultaneamente:
   • Robustez (soundness) negligenciável em uma única execução.
   • Segurança contra adversários que compartilham uma quantidade linear de emaranhamento (no tamanho das entradas clássicas).
   • Sem exigência de comunicação quântica à velocidade da luz.
   • Tolerância a perdas de transmissão arbitrariamente grandes.
2. Generalização do Paradigma de Compromisso: O trabalho eleva com sucesso a modificação de compromisso de configurações sequenciais para paralelas usando correlações de não-sinalização, superando a dependência da estrutura sequencial que anteriormente impedia essa extensão.
3. Melhoria de Parâmetros Sequenciais: O artigo refina a análise de protocolos de compromisso sequenciais, substituindo tempos de parada estocásticos por parâmetros fixos. Isso resulta em limites quantitativos melhorados, onde a probabilidade de aceitação do adversário decai exponencialmente no limiar $k$, com um termo de correção escalando como $O(k^{-1/3})$ (melhorado de $O(r^{-1/4})$ no trabalho anterior).
4. Robustez: O protocolo resultante mantém a robustez a níveis de ruído de até 3,7% por qubit, igualando a tolerância de ruído do protocolo original subjacente.

4. Resultados

O principal resultado teórico (Teorema 1.1 e Teorema 4.1) estabelece que, para uma função $f$ adequada, a probabilidade de um adversário ser aceito no modelo BE($O(n)$) é limitada por:
$$Pr[\text{aceitar } c-QPV^{f:n\to m}_{BB84}] \lesssim 2(\lambda_\gamma)^{k/2}$$
onde $\lambda_\gamma = 2^{h(\gamma)}(\frac{1}{2} + \frac{1}{2}\sqrt{2})$ e $h(\cdot)$ é a função entropia binária.

• Tolerância a Perdas: A segurança depende de $k$ (o número de qubits recebidos com sucesso), não do número total de qubits transmitidos $m$. Assim, o protocolo permanece seguro mesmo se a taxa de transmissão for arbitrariamente baixa, desde que qubits suficientes sejam eventualmente recebidos para atingir o limiar $k$.
• Tolerância a Ruído: O protocolo permanece seguro para taxas de erro $\gamma < 0,037$ (3,7%), pois isso garante que $\lambda_\gamma < 1$.
• Repetição Paralela: Para protocolos construídos pela repetição paralela de uma única função booleana $g$ (ou seja, $f = g^{\otimes m}$), a segurança da versão baseada em compromisso reduz-se à segurança da versão sem compromisso com $k$ repetições: $Pr[\text{aceitar } c-QPV^{g^{\otimes m}}_{BB84}] \leq 2\sqrt{Pr[\text{aceitar } QPV^{g^{\otimes k}}_{BB84}]}$.

5. Significância e Alegações

Os autores afirmam que este trabalho preenche uma lacuna crítica entre a segurança teórica e a implementação prática da QPV.

• Viabilidade sobre Distâncias Arbitrárias: Ao tornar o protocolo arbitrariamente tolerante a perdas, o trabalho torna a QPV viável em longas distâncias onde a perda de fótons é significativa, um pré-requisfrito para implantação no mundo real.
• Utilidade Prática: A natureza de execução única do protocolo é destacada como particularmente atraente para implementações de curto prazo e para uso como uma sub-rotina em construções criptográficas maiores (ex: Distribuição de Chaves Quânticas, autenticação de mensagens), onde a repetição sequencial é frequentemente impraticável.
• Avanço Teórico: O trabalho demonstra que a segurança baseada em compromisso pode ser alcançada em configurações paralelas sem sacrificar as garantias de segurança do protocolo subjacente contra adversários de emaranhamento limitado.
• Relevância Experimental: O artigo fornece parâmetros quantitativos melhorados para implementações experimentais, especificamente ao fixar o número de rodadas e o limiar de aceitação, o que elimina a incerteza da duração da execução inerente às abordagens sequenciais anteriores.

O artigo conclui que o $c-QPV^{f:n\to m}_{BB84}$ representa a primeira QPV de shot único totalmente tolerante a perdas, segura contra atacantes emaranhados, removendo efetivamente a barreira da taxa de transmissão que anteriormente limitava a QPV a distâncias curtas ou condições idealizadas.