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

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

iO pode criptografar programas arbitrários preservando a funcionalidade de entrada-saída, possibilitando teoricamente aplicações como sistemas de votação seguros sem exigir comitês de múltiplas partes. Caminhos potenciais para avanços incluem otimização algorítmica das pilhas de tecnologia existentes, construção de esquemas mais simples baseados em suposições de reticulados mais agressivas e exploração de novas abordagens independentes de suposições de reticulados.