⚛️ quantum physics

Private Proofs of When and Where

Este artigo apresenta um protocolo de verificação de posição com conhecimento zero que permite a entidades provar sofisticadas afirmações sobre suas localizações temporais e espaciais sem revelar detalhes adicionais, utilizando compromissos de posição e funções de mão única pós-quânticas.

Autores originais: Uma Girish, Greg Gluch, Shafi Goldwasser, Tal Malkin, Leo Orshansky, Henry Yuen

Publicado 2026-02-17

📖 5 min de leitura🧠 Leitura aprofundada

CC BY 4.0

Autores originais: Uma Girish, Greg Gluch, Shafi Goldwasser, Tal Malkin, Leo Orshansky, Henry Yuen

Artigo original sob licença CC BY 4.0 (http://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

Imagine que você precisa provar para um juiz que estava em casa no horário do crime, mas não quer que o juiz saiba exatamente onde fica a sua casa, nem que você precise revelar seu endereço completo. Você só quer provar: "Eu estava dentro da minha cidade, longe do local do crime".

Até hoje, provar onde você estava no espaço e no tempo era um jogo de "tudo ou nada": ou você revelava sua localização exata (como um GPS), ou ninguém acreditava em você. Além disso, na física clássica, é impossível provar sua localização com segurança absoluta, pois hackers podem "fingir" estar em dois lugares ao mesmo tempo usando truques de computação.

Os autores deste artigo (Uma Girish, Greg Gluch, Shafi Goldwasser, Tal Malkin, Leo Orshansky e Henry Yuen) propõem uma solução revolucionária usando física quântica e criptografia. Eles criaram um sistema chamado Verificação de Posição de Conhecimento Zero.

Aqui está a explicação simplificada, usando analogias do dia a dia:

1. O Problema: O "GPS" que não pode mentir

Pense em verificadores de posição como torres de celular ou satélites. Eles enviam sinais para você e medem quanto tempo leva para você responder. Como nada viaja mais rápido que a luz, se você responder muito rápido, eles sabem que você está perto. Se demorar, você está longe.

O problema é que, para provar que você estava em um lugar específico, você precisa revelar sua posição exata. E se você só quer provar que não estava em um lugar (como uma cena de crime) ou que estava em uma região (como "dentro do Brasil"), revelar o ponto exato é um risco de privacidade.

2. A Solução Mágica: O "Selo de Posição"

A grande inovação do artigo é uma ferramenta chamada Comprometimento de Posição (Position Commitment).

Imagine que você tem um cofre digital (o compromisso).

O Fechamento: Você entra no cofre e diz: "Eu estou aqui, neste ponto exato do espaço e tempo". Você fecha o cofre e entrega a chave para os verificadores. Ninguém consegue ver o que tem dentro, mas eles sabem que o cofre foi fechado com uma chave única.
A Mágica Quântica: O segredo é que, para fechar esse cofre, você precisa usar a física quântica. É como se você tivesse que "estar" fisicamente no lugar certo para conseguir fechar a tampa do cofre. Se você tentar fechar o cofre estando em outro lugar, a física impede que a tampa feche corretamente (ou os verificadores percebem a falha).
A Revelação: Mais tarde, você abre o cofre e mostra a chave. Os verificadores conferem: "Ok, o cofre foi fechado com sucesso, e a chave prova que você estava realmente naquele ponto".

3. O Pulo do Gato: Provar sem Revelar (Conhecimento Zero)

Aqui entra a parte mais genial. O que acontece se você quiser provar que estava em qualquer lugar dentro de um bairro, mas não quer dizer qual rua?

Você usa o "Cofre de Posição" para se comprometer com sua localização real (digamos, Rua A).
Em vez de mostrar a Rua A, você faz um prova matemática (um "truque de mágica") para os verificadores.
Você diz: "Eu tenho a chave de um cofre que foi fechado em algum lugar dentro deste bairro (a região permitida)".
A prova matemática confirma que você tem a chave e que o cofre foi fechado dentro da área permitida, mas não revela qual era a Rua A.

É como se você mostrasse um bilhete de cinema que diz "Entrada válida para o Cinema X", sem revelar qual assento você ocupou. Os verificadores ficam convencidos de que você estava no cinema, mas não sabem onde você estava sentado.

4. Por que isso é difícil? (O Desafio dos Hackers)

O papel explica que, na física clássica, hackers poderiam enganar o sistema. Mas na física quântica, existe o Princípio da Incerteza e a Não-Clonagem.

Analogia: Imagine que a posição é uma carta escrita com tinta invisível que desaparece se você tentar copiá-la. Se um hacker tentar "fingir" estar em dois lugares ao mesmo tempo para enganar os verificadores, ele é obrigado a "copiar" a informação quântica. Ao fazer isso, ele destrói a prova, e os verificadores percebem a fraude.

5. Limitações e Futuro

Os autores são honestos sobre as limitações:

Verificadores Honestos: O sistema funciona perfeitamente se os verificadores (as torres de celular, por exemplo) seguirem as regras. Se eles forem maliciosos e tentarem "espreitar" enviando sinais direcionais apenas para um ponto específico, eles podem descobrir se você está lá ou não. É como se eles dissessem: "Se você responder a este sinal, você está aqui; se não, você não está".
O Futuro: Eles acreditam que, com mais verificadores (como ter dezenas de torres de celular em vez de apenas quatro) e protocolos mais avançados, será possível proteger a privacidade mesmo contra verificadores mal-intencionados.

Resumo em uma frase

Os autores criaram um sistema onde você pode provar para o mundo que estava em um lugar seguro (ou que não estava em um lugar perigoso) usando as leis da física quântica e cofres digitais, sem nunca precisar dizer ao mundo exatamente onde você estava.

É como ter um passaporte que diz "Vou viajar para a Europa" sem mostrar o bilhete de avião com o assento e o destino final, garantindo que você não estava no lugar errado, mas mantendo sua privacidade intacta.

Resumo Técnico: Provas Privadas de Localização e Tempo

1. O Problema

A Verificação de Posição (Position Verification - PV) é um protocolo interativo onde um provador (prover) tenta convencer um conjunto de verificadores de que ele está fisicamente localizado em um ponto específico $L$ no espaço e tempo $t$ .

Limitação Clássica: Foi demonstrado que a verificação de posição segura é impossível em cenários puramente clássicos, mesmo com suposições computacionais, pois adversários colusivos podem "falsificar" (spoof) qualquer protocolo clássico.
Solução Quântica: Protocolos quânticos tornam a verificação de posição viável, explorando princípios físicos como a não-clonabilidade e a incerteza.
O Desafio de Privacidade: Embora a PV quântica garanta a localização, ela revela a posição exata do provador. Em muitas aplicações (ex: provar que alguém não estava em uma cena de crime, ou que um dispositivo não cruzou uma fronteira), o objetivo é provar uma afirmação sobre a localização (ex: "estava fora da região X") sem revelar a localização real.
Questão Central: É possível construir protocolos de verificação de posição que sejam Zero-Knowledge (ZK)? Ou seja, provar que uma afirmação sobre a localização é verdadeira sem revelar nada além do necessário para essa afirmação?

2. Metodologia e Abordagem

Os autores propõem uma nova primitiva criptográfica chamada Compromisso de Posição (Position Commitment) para construir provas de localização zero-knowledge.

A. Compromisso de Posição (Position Commitment)
Esta é a ferramenta central. É um protocolo onde:

Fase de Compromisso: O provador compromete-se a uma posição $(L, t)$ no futuro, sem revelar nada sobre ela aos verificadores.
Fase de Revelação: Posteriormente, o provador revela a posição. Os verificadores podem verificar que o provador estava realmente naquela posição no momento do compromisso.

Propriedades:
- Escondimento (Hiding): O estado do compromisso não revela a posição.
- Vinculação Posicional (Position Binding): O provador não pode revelar uma posição diferente daquela que ocupou fisicamente. Isso é mais forte que o compromisso criptográfico clássico, pois exige que o provador tenha ocupado fisicamente o ponto.

B. Construção do Compromisso de Posição
O protocolo utiliza:

Protocolos de Verificação de Posição "Bons" (Nice Protocols): Protocolos de verificação de posição de um único ponto (singleton) que são de uma rodada, com resposta clássica e verificáveis para qualquer ponto no casco convexo dos verificadores (ex: protocolo $f$ -BB84).
Criptografia Pós-Quântica: Funções de mão única (OWF) pós-quânticas para gerar esquemas de criptografia simétrica e compromisso clássico.
Mecanismo "Encrypt-Then-Verify":
- Os verificadores enviam desafios para todos os pontos possíveis em uma região de espaço-tempo $S$ simultaneamente.
- O provador, que está em uma posição real $(L^*, t^*)$ , responde corretamente apenas ao desafio correspondente à sua posição real.
- Para os outros pontos, o provador envia mensagens de "dummy" (falsas) criptografadas.
- O provador compromete a chave de descriptografia no início.
- Na revelação, o provador descriptografa a resposta correta. Os verificadores verificam se a resposta criptografada correspondente à posição revelada é válida e se a descriptografia coincide com o compromisso.

C. De Compromisso para Verificação Zero-Knowledge
Para provar afirmações complexas (ex: "estive na região A, mas não na B"):

O provador executa o protocolo de Compromisso de Posição para criar um compromisso $\rho$ sobre sua trajetória ou posição.
O provador executa um protocolo de prova Zero-Knowledge (ZK) padrão para NP, provando que existe uma abertura para $\rho$ que satisfaz a afirmação desejada (ex: a posição revelada pertence ao conjunto permitido).
A segurança ZK é garantida pela propriedade de "escondimento" do compromisso e pela existência de simuladores para o protocolo ZK.

3. Principais Contribuições

Formalização de Verificação de Posição Zero-Knowledge: Definição formal de provas de localização que não revelam detalhes além da afirmação provada, utilizando uma definição de segurança baseada em simulação.
Construção Teórica: Demonstração de que a verificação de posição zero-knowledge é possível assumindo a existência de:
- Funções de mão única pós-quânticas (OWF).
- Protocolos de verificação de posição de um único ponto seguros contra adversários com entrelaçamento limitado (bounded entanglement).
Nova Primitiva (Position Commitment): Introdução e construção de um novo primitivo criptográfico que permite comprometer-se a uma posição física e revelá-la posteriormente, servindo como bloco de construção fundamental.
Prova de Segurança: Redução da segurança do compromisso de posição à segurança dos protocolos de verificação de posição subjacentes e ao compromisso clássico. A prova envolve uma redução não uniforme com "quantum advice" para lidar com a natureza distribuída do adversário no espaço-tempo.

4. Resultados Principais

Teorema 1.1 (Principal): Dada a existência de OWF pós-quânticas e protocolos de verificação de posição "bons" seguros contra adversários com até $E$ qubits entrelaçados, é possível construir um protocolo de verificação de posição zero-knowledge para qualquer conjunto finito de pontos espaço-temporais, seguro contra adversários com até $E/2$ qubits entrelaçados.
Aplicabilidade: O protocolo permite provar afirmações sobre posições no passado (ex: "eu não estava perto da cena do crime ontem ao meio-dia") sem revelar onde o provador estava de fato.
Eficiência: O artigo discute otimizações para protocolos onde os verificadores usam apenas sinais clássicos de difusão (broadcast), reduzindo a carga computacional para um valor constante por passo de tempo, tornando a implementação mais viável.

5. Significado e Implicações

Privacidade Geoespacial: O trabalho resolve um problema fundamental de privacidade: como provar conformidade com regras geográficas (ex: tratados nucleares, alibis criminais, controle de exportação) sem expor dados sensíveis de localização.
Segurança Pós-Quântica: As construções são projetadas para resistir a ataques de computadores quânticos, assumindo apenas OWF pós-quânticas.
Limitações e Futuro:
- O protocolo atual assume verificadores "honestos" (semi-honestos). O artigo discute que verificadores maliciosos podem tentar ataques de "sondagem" (enviar mensagens direcionais apenas para uma região específica para ver se o provador responde), o que quebra o zero-knowledge.
- Futuras direções incluem a busca por segurança contra verificadores maliciosos (talvez exigindo que os verificadores usem apenas difusão/broadcast) e modelos mais realistas que considerem relógios não sincronizados e atrasos de sinal.

Em resumo, o artigo estabelece as bases teóricas para uma nova era de criptografia de localização, onde a prova de "onde" e "quando" pode ser feita de forma privada, combinando princípios da mecânica quântica com primitivas criptográficas clássicas.