New Quantum Internet Applications via Verifiable One-Time Programs

Este artigo apresenta os Programas de Uso Único Verificáveis (Ver-OTPs), construídos a partir de estados de qubit único e primitivas criptográficas clássicas, e demonstra como utilizá-los para viabilizar Computação Segura Aberta de rodada única (OSC), permitindo aplicações como leilões, consenso e agregação estatística com privacidade diferencial em um cenário que requer apenas tecnologia quântica de curto prazo.

O essencial

Imagine que você tem um segredo muito valioso, como a senha de um cofre ou a estratégia de um jogo, e você quer vendê-lo para alguém. O problema é: como você garante que a pessoa vai pagar antes de você entregar a senha? E como você garante que a pessoa não vai copiar a senha e vendê-la para dez outras pessoas?

É exatamente esse tipo de problema que o artigo "Novas Aplicações da Internet Quântica via Programas de Uso Único Verificáveis" tenta resolver. O autor, Lev Stambler, propõe uma maneira de usar tecnologias quânticas (que hoje parecem ficção científica) de forma simples e prática para criar sistemas de confiança onde ninguém precisa confiar em ninguém.

Vamos descomplicar os conceitos principais usando analogias do dia a dia:

1. O Problema: "Programas de Uso Único" (OTP)

Imagine que você tem um cartão de raspadinha mágico.

• Você escreve uma mensagem secreta nele.
• Quando alguém "raspa" (executa) o cartão uma vez, a mensagem aparece.
• Depois disso, o cartão se autodestroi. Ele só funciona uma única vez.

Isso é um "Programa de Uso Único" (One-Time Program). A tecnologia quântica permite criar esses "cartões" usando partículas de luz (fótons) muito simples. O problema é que, na física quântica, esses cartões são frágeis. Eles duram apenas milissegundos antes de se degradarem. Se você não usá-los imediatamente, eles somem. Isso os torna "efêmeros" (que duram pouco).

2. A Grande Inovação: "Verificáveis" (Ver-OTP)

O autor diz: "E se a pessoa que recebe o cartão pudesse ter certeza de que o cartão é legítimo antes de raspar?"

Aqui entra o Programa de Uso Único Verificável.

• A Analogia: Imagine que o vendedor entrega o cartão de raspadinha, mas ele vem dentro de uma caixa de vidro selada com um cadeado.
• Antes de raspar, o comprador pode pedir para abrir uma pequena janela da caixa e verificar se o mecanismo interno está funcionando corretamente.
• Se o mecanismo estiver bom, o comprador sabe que, ao raspar, receberá o segredo correto.
• Se o vendedor tentou trapacear (colocar um cartão falso), o comprador vê na hora e não abre a caixa.

Isso é feito usando uma técnica chamada "Corte e Escolha" (Cut-and-Choose), onde o vendedor é forçado a mostrar várias cópias do mecanismo para provar que o original é honesto, sem revelar o segredo em si.

3. A Ferramenta Mágica: "Computação Segura Aberta" (OSC)

Com esses cartões verificáveis em mãos, o autor cria um novo sistema chamado Computação Segura Aberta (OSC).

• A Analogia: Pense em um leilão de caridade onde ninguém precisa se cadastrar antes.
  • Sem OSC: As pessoas teriam que se cadastrar dias antes, o leiloeiro teria que confiar nelas, e o processo seria lento e cheio de burocracia.
  • Com OSC: Qualquer pessoa pode chegar, jogar seu lance em uma caixa de correio segura (o protocolo), e o leiloeiro pode calcular o vencedor instantaneamente, sem saber quem são os outros participantes até o final.

O sistema permite que um grupo de pessoas (que podem ser desconhecidas) envie dados secretos para um "computador central" (que pode ser malicioso) e receba o resultado de um cálculo (como quem ganhou o leilão) sem que o computador central veja os dados individuais de ninguém.

4. Para que serve isso? (Aplicações Práticas)

O artigo mostra como essa tecnologia pode resolver problemas reais:

• Leilões de Lance Secreto (Single-Round Sealed-Bid Auctions):
  Imagine um leilão online onde você joga seu lance em uma caixa. Ninguém vê o lance de ninguém. No final, o sistema revela apenas o vencedor e o preço. O vendedor não pode trapacear alterando os lances, e os compradores não podem ver os lances dos outros. Tudo acontece em uma única rodada, sem precisar de cadastro prévio.

• Troca Justa (Fair Exchange):
  Imagine que Alice quer vender um arquivo digital para Bob. Alice quer o dinheiro, Bob quer o arquivo.

  • Se Alice enviar o arquivo primeiro, Bob pode sumir.
  • Se Bob enviar o dinheiro primeiro, Alice pode sumir.
  • Com o OSC, eles podem usar um "cartão de raspadinha" quântico. Alice só libera o arquivo se o sistema confirmar que Bob depositou o dinheiro, e vice-versa. É como um "escrow" (terceiro confiável) automático e instantâneo.

• Votação e Estatísticas Privadas:
  Você pode enviar sua opinião ou dados de saúde para um servidor central para calcular uma média (como a média de idade de uma cidade), e o servidor nunca saberá quem você é ou qual foi a sua resposta individual. O resultado sai com uma "névoa" de privacidade (diferencialmente privado), garantindo que ninguém possa deduzir seus dados.

5. Por que isso é importante agora?

Muitas propostas de "Internet Quântica" exigem computadores quânticos gigantes e complexos que ainda não existem.
A grande vantagem deste trabalho é a simplicidade:

• Ele só precisa de um único fóton (partícula de luz) por vez.
• Essa tecnologia já pode ser testada hoje em fibras ópticas de algumas centenas de metros.
• O "peso" do trabalho é feito por computadores clássicos (os que temos hoje), enquanto a parte quântica é apenas o "selo de segurança" inicial.

Resumo Final

O autor criou um novo "sistema de confiança" para a era digital.

1. Ele inventou um cartão de raspadinha quântico que você pode verificar antes de usar.
2. Ele usou esse cartão para criar um sistema de leilão e votação onde ninguém precisa confiar no organizador, nem se cadastrar antes.
3. Tudo isso pode ser construído com a tecnologia quântica que estamos prestes a ter, tornando a segurança digital muito mais forte e acessível no futuro próximo.

É como se tivéssemos encontrado uma maneira de usar a física quântica não para fazer computadores super-rápidos, mas para criar selos de garantia que tornam impossível a fraude em transações digitais, mesmo quando as partes envolvidas não confiam umas nas outras.

Resumo técnico

Título: Novas Aplicações para a Internet Quântica via Programas de Uso Único Verificáveis

Autor: Lev Stambler (Universidade de Maryland, College Park e NeverLocal Ltd.)
Data: 19 de setembro de 2025

---

1. O Problema

A "Internet Quântica" promete revolucionar a criptografia além da Distribuição Quântica de Chaves (QKD) e verificação de posição. No entanto, a maioria das propostas atuais exige recursos quânticos sofisticados (como estados emaranhados complexos ou memórias quânticas de longo prazo) que estão muito além da tecnologia atual.

Existe uma lacuna entre a teoria e a implementação prática:

• Programas de Uso Único (OTPs): Constructions recentes de OTPs utilizam estados quânticos simples (tipo BB84, de um único qubit), que são viáveis de implementar a curtas distâncias.
• Limitação de Ephemeralidade: A coerência de estados de um único qubit é curta, tornando os OTPs inerentemente "efêmeros" (eOTPs). Eles só existem por milissegundos, exigindo que o receptor esteja online e pronto para uso imediato, o que limita sua utilidade como um "programa" que pode ser avaliado posteriormente.
• Falta de Verificabilidade: Não há garantia de que o programa enviado pelo emissor seja legítimo ou que contenha a função correta antes de sua execução, especialmente em cenários onde o emissor pode ser malicioso.

O objetivo do trabalho é demonstrar que, apesar das limitações físicas (efemeridade), os estados quânticos simples podem habilitar aplicações criptográficas poderosas se combinados com novas primitivas de verificação e computação segura.

---

2. Metodologia e Primitivas Propostas

O autor introduz duas primitivas principais que formam a base do trabalho:

A. Programas de Uso Único Verificáveis (Ver-OTPs)

Os Ver-OTPs são uma extensão dos OTPs tradicionais que permitem ao receptor verificar a integridade do programa antes de usá-lo, sem revelar informações sobre os dados secretos do programa.

• Mecanismo de Construção:
  • Combina Circuitos Garbled (Garbled Circuits) com Memórias de Uso Único (OTMs).
  • Utiliza uma técnica de Cut-and-Choose (Corte e Escolha) combinada com Compartilhamento Secreto (Secret Sharing).
  • Para cada rótulo de fio secreto (wire label) do circuito, o emissor gera múltiplas "ações" (shares) e as coloca em diferentes OTPs de um único bit.
  • O receptor verifica aleatoriamente uma fração desses OTPs ("abre" alguns) para garantir que as ações compartilhadas são válidas e correspondem a um circuito correto.
  • O limiar de compartilhamento é definido de forma que o receptor possa reconstruir o rótulo correto para a entrada escolhida, mas seja impossível reconstruir rótulos para entradas não escolhidas (garantindo a segurança de uso único).
• Verificabilidade: Utiliza Provas de Conhecimento Zero Não Interativas (NIZK) para provar que o circuito garbled foi gerado corretamente e que satisfaz uma relação pública específica.

B. Computação Segura Aberta (Open Secure Computation - OSC)

Com base nos Ver-OTPs, o autor define o OSC, um modelo de computação segura de rodada única que não requer pré-registro das partes.

• Funcionalidade: Um conjunto de partes emissoras (desconhecidas e potencialmente ilimitadas) envia entradas para uma parte receptora conhecida (e não confiável). A parte receptora pode computar uma função sobre subconjuntos dessas entradas.
• Desafio da Partição: Como não há registro prévio, uma parte receptora maliciosa poderia tentar "particionar" as entradas (ex: calcular a função apenas com um subconjunto de usuários honestos e ignorar outros). O modelo ideal permite essa partição adaptativa, mas aplicações específicas (como leilões) podem impor restrições (ex: maioria honesta) para mitigar isso.
• Construção Técnica:
  • Utiliza Criptografia Homomórfica de Múltiplas Chaves (MHE): Permite que múltiplas partes criptografem dados com suas próprias chaves públicas, e que uma função seja avaliada homomorficamente sobre esses dados criptografados.
  • Cada emissor cria um Ver-OTP que contém sua chave secreta de descriptografia parcial.
  • O receptor verifica os Ver-OTPs. Se válidos, ele computa a função homomorficamente e usa os Ver-OTPs para obter as descriptografias parciais necessárias para obter o resultado final.

---

3. Principais Contribuições

1. Introdução dos Ver-OTPs: Uma nova primitiva que torna os programas de uso único efêmeros verificáveis, permitindo que receptores garantam a correção do programa antes da execução, usando apenas estados de um único qubit.
2. Definição e Construção do OSC: Um novo modelo de computação segura de rodada única, sem necessidade de configuração prévia (setup) ou registro de chaves públicas antecipado.
3. Aplicações Práticas: Demonstração de como o OSC pode construir protocolos úteis em uma única rodada:
   • Leilões de Lances Selados (Sealed-bid auctions): Onde o leiloeiro determina o vencedor e o preço sem ver os lances individuais antes do fechamento.
   • Propostas Atômicas com Maioria Honesta: Um bloco de construção para protocolos de consenso (como PBFT, HotStuff), onde um líder propõe um valor e obtém assinaturas de uma maioria de partes.
   • Agregação Estatística com Privacidade Diferencial: Agregação de dados de partes desconhecidas sem pré-registro, garantindo privacidade estatística.
   • Troca Justa (Fair Exchange): Possibilitada pela combinação de Ver-OTPs com blockchain.
4. Viabilidade Tecnológica: O trabalho enfatiza que a exigência quântica é mínima (apenas estados de um único qubit, semelhantes ao BB84), tornando as aplicações implementáveis com tecnologia quântica de curto prazo (near-term), enquanto a complexidade computacional é transferida para componentes clássicos (MHE, NIZK, Circuitos Garbled).

---

4. Resultados e Segurança

• Segurança Simulada: O protocolo é provado seguro no modelo de simulação (simulation-based security).
  • Contra emissores maliciosos: O receptor detecta circuitos incorretos através da verificação dos Ver-OTPs.
  • Contra receptores maliciosos: A segurança da MHE e a natureza de uso único dos OTPs garantem que o receptor não aprenda nada sobre as entradas além do resultado da função computada.
• Compensação Computacional: O autor adota uma troca consciente: simplificação quântica (estados de 1 qubit) em troca de complexidade computacional clássica (usando MHE e NIZK). Acredita-se que essa troca é prática, dado o rápido avanço da criptografia clássica.
• Limitações Atuais:
  • A construção atual depende de uma String de Referência Comum (CRS) com uma armadilha (trapdoor) para a prova NIZK. Remover a CRS é uma questão em aberto.
  • A segurança da MHE utilizada requer modificações em relação aos esquemas padrão (suporte a entradas auxiliares, subconjuntos de chaves e simulação de descriptografias parciais sem conhecer a saída da função). O autor argumenta que essas modificações são viáveis com esquemas existentes, mas a construção formal fica para trabalhos futuros.

---

5. Significado e Impacto

Este trabalho é significativo por várias razões:

1. Viabilidade Prática da Internet Quântica: Demonstra que aplicações criptográficas complexas não precisam esperar por memórias quânticas perfeitas ou redes de repetidores quânticos complexas. Estados quânticos simples e efêmeros, já testados em fibras ópticas de centenas de metros, são suficientes.
2. Novo Paradigma de Computação Segura: O conceito de "Computação Segura Aberta" (OSC) remove a barreira do pré-registro, permitindo cenários onde participantes anônimos ou dinâmicos podem colaborar em cálculos seguros de forma eficiente (uma única rodada).
3. Ponte entre Teoria e Aplicação: Oferece um framework para criptografia assistida por quântica que pode ser implementada com tecnologia atual, focando em otimizar os componentes clássicos enquanto minimiza os requisitos quânticos.
4. Aplicações Emergentes: Abre caminho para protocolos de consenso mais rápidos, leilões privados e agregação de dados com privacidade em tempo real, sem a necessidade de infraestrutura de confiança centralizada prévia.

Em resumo, o artigo propõe que a combinação de programas de uso único verificáveis (baseados em estados quânticos simples) com criptografia homomórfica clássica avançada pode desbloquear uma nova geração de aplicações de internet quântica viáveis e práticas.