Ofuscação de Indistinguibilidade Alcança Avanço Teórico, Mas Enfrenta Desafios Extremos de Desempenho

De acordo com o artigo no blogue de Vitalik Buterin, de 29 de junho, a ofuscação por indistinguibilidade (iO) atingiu viabilidade teórica sob premissas de segurança razoáveis, mas as implementações atuais enfrentam um grave gargalo de desempenho que torna a implementação prática impossível. Os esquemas mais rigorosos exigem camadas aninhadas de primitivas criptográficas, incluindo encriptação totalmente homomórfica (FHE), encriptação baseada em atributos (ABE), encriptação funcional (FE) e codificações aleatórias, resultando numa sobrecarga computacional da ordem de λ^{10λ}, muito além do que é computacionalmente viável.

A iO pode encriptar programas arbitrários preservando a funcionalidade de entrada-saída, permitindo, teoricamente, aplicações como sistemas de votação seguros sem necessidade de comités multipartidários. Possíveis caminhos de avanço incluem a otimização algorítmica das pilhas tecnológicas existentes, a construção de esquemas mais simples baseados em premissas de reticulados mais agressivas e a exploração de novas abordagens independentes de premissas de reticulados.