Vitalik: ofuscação iO é poderosa mas ainda não está pronta

O cofundador da Ethereum, Vitalik Buterin, publicou a primeira parte de uma série técnica sobre ofuscação de programas, descrevendo-a como a ideia mais poderosa da criptografia, deixando claro que as implementações atuais estão longe de ter uso prático.

A ofuscação transforma um programa numa versão encriptada que continua a correr e a produzir os mesmos resultados, escondendo por dentro o seu funcionamento. O alvo formal, chamado de ofuscação indistinguível, ou iO, significa que, dados dois programas embaralhados que fazem o mesmo trabalho, nenhum observador consegue perceber qual é qual. Em resumo, Buterin diz que esconde o código, e não os dados.

Por que razão importa

Buterin apresenta a ofuscação como quase um "intermediário de confiança sem confiança" universal, um substituto para o mediador neutro que muitos sistemas assumem, mas que ninguém quer realmente confiar. Emparelhada com uma blockchain, poderia alimentar votações privadas resistentes à colusão e outras aplicações que depositam quase nenhuma confiança em qualquer comité, porque a blockchain é a peça que trata das funções com estado, como saldos, que um programa ofuscado por si só não consegue garantir em segurança.

O motivo pelo qual isto ainda não está a ser implementado é o desempenho. Uma versão ideal foi comprovada como impossível em 2001, e o alvo iO mais fraco que a substituiu precisou de cerca de duas décadas de tentativas falhadas antes de os investigadores mostrarem que era possível construí-lo sob pressupostos de segurança razoáveis. O senão, nas palavras de Buterin, é que os tempos de execução são "galácticos", eficientes no papel e absurdamente lentos na prática.

Impacto no mercado

Buterin comparou o momento ao estádio em que os SNARKs estavam por volta de 2010, antes de anos de otimização transformarem as provas de conhecimento zero, hoje centrais para a escalabilidade da Ethereum, de uma curiosidade em infraestrutura funcional. A leitura é que a ofuscação pode seguir o mesmo caminho, mas nenhuma execução isolada está, hoje, perto de ser acessível. As moedas de privacidade, como a Monero, já escondem os dados das transações numa blockchain ativa através de assinaturas em anel, endereços stealth e valores confidenciais, mas isso esconde quem pagou a quem, não o código em si, deixando a ofuscação de programas como um marco de investigação, e não como um produto.