Robust and leakage-resilient device-independent oblivious transfer in MiniQCryp

No mundo da criptografia, o objetivo é frequentemente manter os segredos seguros mesmo quando as pessoas envolvidas não podem ser totalmente confiáveis. Duas das ferramentas mais fundamentais para isso são o "compromisso de bit" (bit commitment) e a "transferência oblíqua" (oblivious transfer). O compromisso de bit é como um cofre digital: uma pessoa coloca um segredo dentro, tranca-o e entrega a chave a outra, provando que o segredo existe sem revelá-lo. Mais tarde, eles podem abrir o cofre para mostrar que o segredo estava lá o tempo todo. A transferência oblíqua é uma troca ligeiramente mais complexa onde uma pessoa detém dois segredos, e a outra pessoa escolhe aprender apenas um deles, sem que a primeira pessoa saiba qual foi escolhido, e sem que a segunda pessoa aprenda qualquer coisa sobre o outro segredo. Durante décadas, construir essas ferramentas de forma segura exigiu confiar que o hardware físico — lasers, detectores e computadores — estava funcionando exatamente como anunciado. Se um dispositivo fosse defeituoso ou tivesse sido adulterado por um fornecedor desonesto, toda a garantia de segurança poderia colapsar.

Essa dependência de um hardware perfeito é uma grande fraqueza. Em um cenário do mundo real, os dispositivos podem ser ruidosos, imperfeitos ou até mesmo projetados secretamente para vazar informações. Uma nova abordagem chamada criptografia "independente de dispositivo" tenta resolver isso removendo a necessidade de confiar inteiramente no hardware. Em vez de verificar se o dispositivo está funcionando corretamente, os usuários simplesmente observam os padrões das respostas que o dispositivo fornece. Se as respostas seguirem um padrão específico, impossível de falsificar, os usuários podem ter certeza matemática de que uma troca segura ocorreu, independentemente do que o dispositivo está realmente fazendo em seu interior. No entanto, tentativas anteriores de fazer isso funcionar para tarefas complexas como a transferência oblíqua bateram em um muro: ou exigiam que os dispositivos fossem perfeitamente isolados uns dos outros, ou assumiam que os dispositivos eram impecáveis, ou não conseguiam provar a segurança contra computadores quânticos poderosos.

Uma equipe de pesquisadores agora preencheu essa lacuna. Eles construíram um novo método que permite a transferência oblíqua e o compromisso de bit usando dispositivos quânticos não confiáveis, defeituosos e potencialmente vazadores, baseando-se apenas na existência de certas funções matemáticas conhecidas como funções de via única. O trabalho deles prova que, mesmo que um dispositivo seja ruidoso, se ele for permitido vazar uma quantidade ínfima e limitada de informação, e se os usuários confiarem apenas em seus próprios computadores clássicos, eles ainda podem realizar essas tarefas criptográficas com um nível de segurança que resiste a qualquer atacante com um computador quântico. Os pesquisadores não apenas sugeriram que isso era possível; eles forneceram uma construção completa, passo a passo, e uma prova matemática rigorosa de que funciona.

O cerne de sua conquista reside em como eles lidam com as imperfeições do mundo real. Em seu sistema, as duas partes, vamos chamá-las de Alice e Bob, usam dispositivos não confiáveis para jogar um jogo baseado em um quebra-cabeça conhecido como o "Quadrado Mágico". Neste jogo, Alice e Bob recebem perguntas e devem fornecer respostas que satisfaçam regras de consistência específicas. Se eles vencerem o jogo com frequência suficiente, isso prova que estão compartilhando uma correlação secreta que não pode ser falsificada. Os pesquisadores projetaram um protocolo onde Alice e Bob jogam este jogo muitas vezes em paralelo. Eles então utilizam um processo de filtragem inteligente: verificam uma pequena amostra aleatória das respostas para garantir que os dispositivos estejam se comportando corretamente. Se a amostra passar, eles usam as respostas restantes para gerar as chaves secretas necessárias para a transferência.

Uma inovação crítica neste trabalho é como eles lidam com o "vazamento" (leakage). Em um laboratório real, um fornecedor desonesto pode ter construído um canal oculto no dispositivo, permitindo que ele "sussurre" informações para o mundo exterior. Teorias anteriores assumiam que esses dispositivos eram completamente isolados. O novo protocolo aceita que algum vazamento pode ocorrer, mas estabelece um orçamento estrito. Os dispositivos são permitidos trocar uma quantidade limitada de informação, medida em bits quânticos, durante um único turno do jogo. Os pesquisadores provaram que, desde que esse vazamento permaneça dentro desse orçamento, a segurança do sistema permanece intacta. Eles mostraram que, mesmo que os dispositivos estejam emaranhados de formas complexas e o atacante tente medi-los conjuntamente, a quantidade de informação que o atacante pode roubar é matematicamente limitada e insuficiente para quebrar o código.

Os pesquisadores também enfrentaram o problema das "falhas". Dispositivos reais cometem erros; eles podem ler uma pergunta incorretamente ou produzir uma resposta errada devido ao ruído. Um protocolo que exige respostas perfeitas falharia imediatamente em um laboratório real. A nova construção é robusta, o que significa que pode tolerar uma taxa constante de erros honestos. Ela utiliza códigos de correção de erros para reconciliar as diferenças entre o que Alice e Bob pretendiam fazer e o que seus dispositivos ruidosos realmente fizeram. Isso permite que o sistema funcione corretamente mesmo quando o hardware é imperfeito, um recurso que anteriormente faltava em protocolos independentes de dispositivo que também lidavam com vazamento.

A construção funciona em dois modos distintos, dependendo do ambiente. No primeiro modo, se os dispositivos forem perfeitamente isolados e o dispositivo do receptor medir cada parte do jogo separadamente, o sistema pode tolerar uma taxa maior de falhas. No segundo modo, mais geral, o sistema permite medições conjuntas arbitrárias e vazamento limitado entre os laboratórios. Neste cenário mais flexível, o sistema ainda funciona, embora exija um número ligeiramente maior de rodadas de jogo para manter o mesmo nível de segurança. Em ambos os casos, a quantidade total de recursos necessários — tempo, comunicação e uso de dispositivos — cresce a uma taxa gerenciável à medida que o nível de segurança aumenta, tornando o protocolo prático para implementação futura.

As implicações deste trabalho estendem-se além de apenas enviar um único segredo. Como a transferência oblíqua é um bloco de construção fundamental para toda computação segura, este novo protocolo efetivamente desbloqueia a capacidade de realizar qualquer cálculo seguro entre partes que não confiam em nada além de seus próprios computadores clássicos. Seja para duas empresas compararem seus bancos de dados sem revelar os dados, ou para um grupo de eleitores votar de forma segura, os pesquisadores mostraram que seu método pode ser escalado para lidar com esses cenários complexos de múltiplas partes. A segurança mantém-se mesmo se alguns dos participantes estiverem corrompidos ou se os dispositivos que utilizam forem compartilhados com um adversário.

O que torna este resultado particularmente significativo é que ele remove a necessidade de "hardware quântico confiável". Em esquemas anteriores, os usuários tinham que acreditar que os lasers e detectores foram fabricados corretamente e não foram adulterados. Neste novo framework, a segurança vem inteiramente das estatísticas observadas do jogo e das leis da física, verificadas através de computação clássica. Os pesquisadores demonstraram que os dispositivos podem ser tratados como caixas pretas; desde que produzam as correlações corretas, o protocolo é seguro. Isso desloca o ônus da confiança da cadeia de suprimentos física para a estrutura matemática do próprio protocolo.

Os pesquisadores também abordaram a questão da "simulação", que é o padrão ouro para provar a segurança em criptografia. Eles mostraram que, para qualquer ataque que um adversário possa lançar, existe um simulador que pode reproduzir exatamente o mesmo resultado usando apenas a versão teórica e ideal do protocolo. Isso significa que o que um atacante aprende no mundo real e desordenado dos dispositivos defeituosos, ele poderia ter aprendido tão facilmente do mundo teórico e perfeito. Como o mundo teórico é conhecido por ser seguro, o mundo real também deve ser seguro. Esta prova mantém-se contra qualquer atacante limitado pelas leis da mecânica quântica, garantindo que o sistema seja à prova de futuro contra o advento de computadores quânticos poderosos.

Em resumo, este trabalho representa um grande passo à frente na busca por uma comunicação verdadeiramente segura. Ele pega o conceito teórico da criptografia independente de dispositivo e o fundamenta na realidade onde os dispositivos são ruidosos, isolados e potencialmente comprometidos. Ao combinar uma estratégia de correção de erros robusta com uma contabilidade estrita de vazamento de informação, os pesquisadores criaram um protocolo que é tanto prático quanto comprovadamente seguro. Eles mostraram que não precisamos esperar por hardware quântico perfeito para construir um futuro seguro; podemos construí-lo agora, usando as ferramentas imperfeitas que temos, baseando-nos na lógica inabalável da matemática e nas estranhas e poderosas correlações da mecânica quântica.