Na época, esse ceticismo era generalizado. A ofuscação indistinguível, se pudesse ser construída, seria capaz de ocultar não apenas coleções de dados, mas o funcionamento interno de um programa de computador, criando uma espécie de ferramenta criptográfica mestre a partir da qual quase todos os outros protocolos criptográficos poderiam ser construídos. É “um primitivo criptográfico para governar todos eles”, disse Boaz Barak, da Universidade de Harvard. Mas, para muitos cientistas da computação, esse mesmo poder fazia o iO parecer bom demais para ser verdade.
Os cientistas da computação estabeleceram versões candidatas do iO a partir de 2013. Mas a intensa empolgação que essas construções geravam gradualmente se dissipou, à medida que outros pesquisadores descobriam como quebrar sua segurança. Conforme os ataques se acumulavam, “você podia ver muitas vibrações negativas”, disse Yuval Ishai, do Technion em Haifa, Israel. Os pesquisadores se perguntaram, ele disse: "Quem vai ganhar: os fabricantes ou os destruidores?"
“Havia pessoas que eram zelotes, e eles acreditavam em [iO] e continuaram trabalhando nisso”, disse Shafi Goldwasser, diretor do Instituto Simons de Teoria da Computação da Universidade da Califórnia, Berkeley. Mas com o passar dos anos, ela disse: “havia cada vez menos dessas pessoas”.
Agora, Jain - junto com Huijia Lin da Universidade de Washington e Amit Sahai, conselheiro de Jain na UCLA - plantou uma bandeira para os fabricantes. Em um artigo publicado online em 18 de agosto, os três pesquisadores mostram pela primeira vez como construir a ofuscação indistinguível usando apenas suposições de segurança “padrão”.
Todos os protocolos criptográficos se baseiam em suposições - alguns, como o famoso algoritmo RSA, dependem da crença amplamente aceita de que os computadores padrão nunca serão capazes de fatorar rapidamente o produto de dois grandes números primos. Um protocolo criptográfico é tão seguro quanto suas suposições, e as tentativas anteriores de iO foram
construídas em bases não testadas e, em última análise, instáveis. O novo protocolo, por outro lado, depende de suposições de segurança que foram amplamente usadas e estudadas no passado.
Embora o protocolo esteja longe de estar pronto para ser implantado em aplicativos do mundo real, do ponto de vista teórico ele fornece uma maneira instantânea de construir uma série de ferramentas criptográficas que antes estavam fora de alcance. Por exemplo, permite a criação de criptografia “negável”, na qual você pode convencer de forma plausível um invasor de que enviou uma mensagem totalmente diferente daquela que realmente enviou, e criptografia “funcional”, na qual você pode dar aos usuários escolhidos níveis diferentes de acesso para realizar cálculos usando seus dados.
O novo resultado deve silenciar definitivamente os céticos do IO, disse Ishai. “Agora não haverá mais dúvidas sobre a existência de ofuscação indistinguível”, disse ele. “Parece um final feliz.”