From Link Availability to Deadline-Constrained Key Service: A Feasibility Framework for Mobile Free-Space Quantum Key Distribution

Resumo Técnico: Da Disponibilidade de Link ao Serviço de Chaves com Restrição de Prazo

Definição do Problema
Links de distribuição de chaves quânticas (QKD) em espaço livre móveis, como aqueles envolvendo trens, UAVs ou satélites, frequentemente fornecem bits secretos de forma intermitente. No entanto, aplicações criptográficas exigem material de chave em tempos específicos e predeterminados. Existe uma discrepância crítica entre três alegações distintas que são frequentemente confundidas na literatura:

1. Viabilidade Óptica: O link físico produz uma janela de observação válida (potência recebida positiva).
2. Saída de Chave Finita: O protocolo QKD produz uma chave secreta não negativa e qualificada em termos de segurança a partir dessas observações.
3. Serviço com Restrição de Prazo: As chaves resultantes estão disponíveis no domínio de confiança correto antes do prazo de demanda da aplicação.

O artigo argumenta que a disponibilidade óptica positiva ou uma taxa de chave secreta de longo prazo positiva não garantem que as chaves estejam disponíveis quando necessário. Chaves geradas após um prazo não podem servir retroativamente a esse prazo, e contatos curtos e fragmentados podem falhar em produzir chaves positivas, mesmo que o tempo total de observação seja suficiente.

Metodologia
O artigo propõe uma estrutura de contabilidade de nível de sistema em vez de uma nova prova criptográfica ou experimento de hardware. A metodologia consiste em:

1. Três Portões de Viabilidade: O autor formaliza uma sequência de avaliações: Contato Físico (geometria/atmosfera), Certificação de Chave Secreta (análise de chave finita) e Entrega de Serviço (gestão de inventário contra prazos).
2. Modelo de Inventário de Chaves Indexado no Tempo: O horizonte operacional é particionado em slots de tempo discretos $t = 1, \dots, T$.
   • $K_j$: O rendimento certificado utilizável do janela de contato $j$, derivado de uma análise de segurança de chave finita $\ell_{sec}$ menos os bits reservados $c_j$.
   • $A_t$: A chegada total de chave utilizável no slot $t$.
   • $D_t$: A demanda de chave da aplicação devida no slot $t$.
   • $B_t$: O balanço do inventário, regido pela recorrência $B_t = B_{t-1} + A_t - D_t$, com a restrição $B_t \geq 0$.
3. Critério de Pré-Viabilidade: O artigo deriva uma condição determinística (Proposição 1) afirmando que todas as demandas podem ser atendidas se, e somente se, o suprimento cumulativo (inventário inicial mais chegadas) atingir ou exceder a demanda cumulativa para cada prefixo de tempo $u$.
4. Análise de Fragmentação de Bloco Finito: Um modelo substituto estilizado ($e\ell(n) = an - b\sqrt{n} - c$) é usado para ilustrar como a divisão de observações em pequenos blocos pode resultar em saída zero devido às penalidades de tamanho finito, enquanto a agregação dos mesmos dados em um único bloco poderia render chaves positivas. Isso é apresentado como um limiar ilustrativo, não como um limite criptográfico universal.

Principais Contribuições

• Separação Formal de Alegações: O artigo distingue explicitamente a viabilidade do link óptico, a saída qualificada de segurança em nível de bloco e o serviço com restrição de prazo, argumentando que o último não pode ser inferido apenas pelo primeiro.
• Condição de Pré-Viabilidade: Fornece uma condição simples, necessária e suficiente (Eq. 3) para determinar se uma sequência de chegadas intermitentes de chaves pode satisfazer um cronograma de demanda indexado no tempo sem tomar emprestado de janelas futuras.
• Diagnóstico de Déficit ($\Gamma$): Uma métrica é introduzida para quantificar o inventário inicial adicional mínimo necessário para satisfazer todos os prazos em um determinado cenário, servindo como um benchmark para a confiabilidade do serviço.
• Exemplos Numéricos Ilustrativos:
  • Descompasso Temporal: Demonstra que dois cenários com rendimentos totais de chave idênticos (16 kbit) e demanda total (12 kbit) têm resultados diferentes dependendo de quando as chaves chegam. Um atraso na chegada pode causar uma interrupção de serviço mesmo que o suprimento total seja suficiente.
  • Efeito de Fragmentação: Mostra que processar quatro contatos separados de 10.000 unidades cada pode resultar em zero chaves devido às penalidades de tamanho finito, enquanto processar as 40.000 unidades combinadas como um único bloco produz um resultado positivo.
• Livro de Registro de Dados Reproduzível: O autor propõe uma estrutura de relatório padronizada para estudos futuros, exigindo o relato separado de traços de contato, observações de QKD, contabilidade de segurança e contabilidade de serviço para permitir uma análise de sensibilidade controlada.

Resultos
A análise não produz novas provas de segurança ou dados experimentais. Em vez disso, os resultados são analíticos:

• Inadequação de Métricas Agregadas: O artigo demonstra que $\sum A_t \geq \sum D_t$ é uma condição insuficiente para a viabilidade do serviço; a distribuição temporal das chegadas é crítica.
• Impacto da Fragmentação: O modelo ilustrativo confirma que janelas de contato curtas podem falhar em produzir chaves utilizáveis mesmo quando o tempo total de observação é teoricamente suficiente, destacando a importância de estratégias de agregação onde o protocolo e os domínios de confiança permitem.
• Clarificação de Fronteiras: O artigo esclarece que estimadores de aprendizado de máquina ou benchmarks de vazão clássicos (ex: de mineração de criptomoedas) não podem substituir provas de segurança física ou medições de latência específicas de QKD.

Significância e Escopo
O artigo posiciona-se como uma "estrutura de contabilidade e benchmarking de nível de sistema". Sua significância reside em:

• Realismo Operacional: Ele preenche a lacavra entre taxas teóricas de QKD e requisitos práticos de aplicação, especificamente para links móveis e intermitentes (trens, UAVs, HAPs, satélites).
• Auditabilidade: Ao separar entradas físicas, provas de segurança e restrições de serviço, a estrutura permite que pesquisadores identifiquem exatamente onde um sistema falha (ex: é o clima, a análise de chave finita ou o agendamento?).
• Modéstia de Alegações: O autor afirma explicitamente que não introduz um novo protocolo QKD, hardware ou previsão de taxa validada. As declarações matemáticas são testes de contabilidade elementares, não novos teoremas criptográficos. O artigo não pretende resolver o problema do agendamento ideal ou fornecer modelos estocásticos de interrupção, mas sim fornecer as ferramentas de contabilidade necessárias para avaliar a viabilidade do serviço contra requisitos de nível de aplicação.

O resultado pretendido é guiar pesquisas futuras para combinar janelas de aquisição medidas com logs reais de eventos de QKD e traços de demanda de aplicação para testar garantias de serviço do mundo real.