Classical Verifier Position Verification from Non-Local Games

Na era digital, saber exatamente onde um dado ou uma pessoa está localizado é mais do que uma conveniência; é um pilar da segurança. Imagine um banco que precisa ter certeza de que uma transação está ocorrendo em um cofre específico em Nova York, e não no laptop de um hacker em outro país. No mundo da criptografia, isso é chamado de verificação de posição. Por décadas, cientistas sabem que usar apenas computadores padrão e sinais clássicos para provar a localização é impossível contra um grupo determinado de atacantes trabalhando em conjunto. Esses atacantes podem simplesmente retransmitir mensagens de ida e volta tão rapidamente que podem enganar um verificador, fazendo-o pensar que estão em um local específico, mesmo estando longe. Para resolver isso, pesquisadores recorreram à mecânica quântica, a física do muito pequeno. Ao enviar partículas de luz que não podem ser copiadas sem serem perturbadas, eles criaram sistemas onde a localização poderia ser provada. No entanto, esses sistemas quânticos têm uma falha importante: enviar partículas frágeis por longas distâncias faz com que elas desapareçam, tornando a tecnologia impraticável para qualquer coisa além de um laboratório.

Uma equipe de pesquisadores do JPMorgan Chase propôs agora uma nova maneira de resolver esse enigma que evita a necessidade de canais quânticos de longa distância inteiramente. O trabalho deles introduz um método onde as pessoas que checam a localização, os verificadores, apenas enviam e recebem mensagens digitais comuns. O trabalho pesado é feito pelas pessoas que estão sendo checadas, os provadores, que usam recursos quânticos apenas dentro de seus próprios dispositivos locais. Os pesquisadores construíram um framework geral que transforma um tipo específico de jogo quântico cooperativo em um teste de localização seguro. Neste jogo, jogadores separados devem coordenar suas respostas sem conversar entre si, baseando-se em uma conexão quântica compartilhada. A equipe provou que, se os jogadores estiverem verdadeiramente nos lugares certos, suas respostas mostrarão um nível de coordenação que é impossível de falsificar sem ser pego. Crucialmente, eles mostraram que essa segurança não depende dos jogadores produzirem números aleatórios juntos, mas sim de um tipo específico de imprevisibilidade local que é imposta pela disposição física das pessoas envolvidas.

O núcleo deste novo sistema é uma tradução inteligente de um conceito conhecido como jogo não-local. Nesses jogos, dois ou mais jogadores recebem perguntas de um árbitro e devem fornecer respostas que sejam correlacionadas de uma forma específica. Se os jogadores compartilharem um link quântico especial chamado emaranhamento, eles podem responder corretamente com mais frequência do que qualquer grupo de jogadores usando apenas a física clássica. Os pesquisadores perceberam que poderiam usar essa vantagem quântica para verificar a localização sem nunca enviar uma partícula quântica ao verificador. Em vez disso, os verificadores enviam perguntas clássicas aos provadores, que usam seus dispositivos quânticos locais para gerar respostas. Os provadores então enviam suas respostas de volta para todos os verificadores. O sistema verifica duas coisas: primeiro, que as respostas são corretas o suficiente para provar que os provadores estão usando a mecânica quântica, e segundo, que as respostas enviadas para diferentes verificadores são consistentes entre si. Se um atacante tentar simular a localização, ele precisaria prever as respostas dos provadores sem ter acesso à informação quântica necessária, uma tarefa que os pesquisadores provaram ser estatisticamente impossível se a geometria da configuração estiver correta.

Uma das descobertas mais significativas é que a segurança deste sistema depende fortemente do layout físico das pessoas envolvidas. Os pesquisadores demonstraram que simplesmente ter um jogo com uma vantagem quântica não é suficiente; as posições dos verificadores e provadores devem ser arranjadas de modo que nenhum único atacante possa reunir toda a informação necessária a tempo de simular a localização. Eles mostraram que, em algumas configurações, um atacante poderia teoricamente prever a resposta de um provador ao observar as respostas de outros, mas, ao deslocar as posições dos verificadores, eles podem bloquear esse fluxo de informação. Isso cria uma situação onde a resposta de cada provador permanece imprevisível para os outros, uma propriedade que os autores chamam de aleatoriedade local cega. Essa percepção inverte a suposição anterior de que a segurança de tais sistemas depende da aleatoriedade global de todas as saídas combinadas dos jogadores. Em vez disso, a segurança é um resultado direto da separação espacial e das restrições de tempo impostas pela velocidade da luz.

Para provar que sua ideia funciona no mundo real, a equipe testou seu framework usando a versão mais simples possível deste jogo quântico, conhecido como jogo CHSH. Este jogo requer apenas dois jogadores e equipamentos quânticos básicos que já foram demonstrados em experimentos para testar os fundamentos da física. Os pesquisadores calcularam que, com esta configuração, poderiam verificar localizações com um alto grau de certeza usando a tecnologia existente. Eles mostraram que, mesmo com um pequeno número de rodadas, o sistema poderia detectar um atacante com uma probabilidade muito alta. A beleza desta abordagem é que os verificadores não precisam de nenhum hardware quântico; eles podem ser computadores padrão conectados por redes regulares. A complexidade quântica está inteiramente contida nos dispositivos dos provadores, que podem estar localizados em um centro de dados seguro ou em uma instalação protegida. Essa separação significa que o sistema pode ser implantado incrementalmente, atualizando as redes clássicas existentes sem a necessidade de linhas de comunicação quântica caras e frágeis entre o verificador e o provador.

O artigo também aborda as realidades práticas de quanto tempo um dispositivo leva para processar uma pergunta e enviar uma resposta. Em um mundo teórico perfeito, os dispositivos responderiam instantaneamente, mas na realidade, há um atraso. Os pesquisadores analisaram como esse atraso afeta a segurança e descobriram que ele exige que os provadores sejam posicionados mais distantes para manter o mesmo nível de proteção. Eles forneceram um método claro para calcular essas distâncias, garantindo que, mesmo com atrasos de processamento, um atacante não consiga reunir informação suficiente para falsificar uma localização. Essa atenção aos detalhes move o conceito de uma possibilidade teórica para um blueprint de um sistema prático. O trabalho sugere que, no futuro próximo, centros de dados independentes poderiam verificar suas próprias localizações para satisfazer requisitos regulatórios e, a longo prazo, conforme as redes quânticas amadurecerem, a mesma infraestrutura poderia ser usada para verificar as localções de múltiplos nós através de uma rede mais ampla.

Os pesquisadores tomam o cuidado de notar que, embora seu método seja um passo significativo, não é uma solução mágica que resolve todos os problemas de segurança de localização. Eles excluem explicitamente a ideia de que este sistema funcione com apenas um provador e um verificador em uma configuração simples; ele requer múltiplos provadores e múltiplos verificadores arranjados em uma geometria específica. Eles também mostram que, se os provadores estiverem muito próximos ou se os verificadores forem posicionados de forma inadequada, o sistema torna-se vulnerável a ataques que antes eram considerados impossíveis. Ao mapear essas restrições geométricas, eles fornecem um guia claro de como construir um sistema seguro. O trabalho não afirma ter resolvido o problema da comunicação quântica sobre longas distâncias, mas sim oferece uma maneira de contornar esse problema inteiramente para a tarefa específica de verificação de localização.

No fim, esta pesquisa oferece um novo caminho para assegurar a localização física de ativos digitais. Ao transferir o fardo quântico para o provador e manter o verificador clássico, a equipe removeu a maior barreira para a implementação prática: a perda de sinais quânticos ao longo da distância. Suas descobertas sugerem que não precisamos esperar por uma internet quântica global para começar a verificar localizações de forma segura. Em vez disso, podemos usar os recursos quânticos que já temos, confinados a dispositivos locais, e combiná-los com arranjos geométricos inteligentes para criar um sistema que seja tanto robusto quanto viável. O trabalho serve como uma prova de que as leis da física, quando aplicadas com uma compreensão clara de espaço e tempo, podem fornecer uma base para a confiança em um mundo digital.