O cofundador da Ethereum, Vitalik Buterin, publicou uma análise a 29 de junho de 2026, nomeando a ofuscação por indistinguibilidade (iO) como o problema não resolvido mais difícil da criptografia. Os esquemas atuais de iO são tecnicamente funcionais, mas têm tempos de execução que Buterin estima excederem a idade do universo por muitas ordens de magnitude. O avanço é crítico para aplicações de blockchain porque a implementação bem-sucedida de iO permitiria sistemas de votação sem confiança e contratos inteligentes privados sem exigir terceiros de confiança.
Buterin Explica a Mecânica da Ofuscação por Indistinguibilidade
No seu post no blogue, Buterin descreveu a iO como uma técnica criptográfica que oculta o próprio código, distinguindo-a da encriptação (que oculta dados em trânsito) e das provas de conhecimento zero (que verificam dados sem os revelar). A ofuscação baralha a lógica interna de um programa para que os observadores não consigam determinar como funciona, mesmo enquanto o veem executar.
A ofuscação por indistinguibilidade significa especificamente que, se dois programas produzirem resultados idênticos usando lógica interna diferente, as versões ofuscadas não podem ser distinguidas uma da outra. O programa executa, gera resultados reais e não revela nada sobre os seus processos internos.
iO Possibilita Protocolos de Blockchain Sem Confiança
Buterin ligou diretamente a iO a casos de uso de blockchain na sua análise. Programas ofuscados não podem manter estado como saldos ou registos de transações porque não se podem impedir de ser copiados. As blockchains fornecem a infraestrutura de manutenção de estado que os programas ofuscados não têm.
Combinar programas ofuscados com blockchains cria o que Buterin descreveu como um "terceiro de confiança sem confiança" — um sistema que impõe regras, processa entradas e produz resultados honestos sem exigir confiança nos construtores. Uma aplicação que Buterin citou é um sistema de votação seguro, privado e resistente a manipulação, sem comité multisig, sem configuração confiável por um pequeno grupo e sem a suposição de que alguns participantes permanecem honestos.
Investigadores Alcançam Construções de iO Provadamente Seguras
Os investigadores têm procurado iO provadamente segura há cerca de 20 anos. As abordagens iniciais foram repetidamente quebradas. Buterin referiu um resultado de 2001 que mostra que a versão ideal de ofuscação é matematicamente impossível, levando os investigadores a mudar o foco para a iO como o próximo melhor alvo.
Nos últimos anos, criptógrafos desenvolveram construções que alcançam iO sob o que Buterin chamou de "suposições de segurança razoáveis". Essas construções representam um progresso genuíno no campo.
Esquemas Atuais de iO Enfrentam Limitações de Tempo de Execução
Os esquemas atuais de iO são tecnicamente polinomiais, o que significa que escalam com o tamanho da entrada em vez de explodirem exponencialmente. No entanto, Buterin descreveu a sobrecarga real como "galáctica". Os esquemas empilham várias camadas de ferramentas criptográficas avançadas umas dentro das outras, com cada camada a envolver a que está por baixo.
O resultado é um sistema onde processar uma única entrada requer fatores de sobrecarga estimados acima de 10 elevado à 10.ª potência. Os requisitos de segurança empurram os tamanhos dos ciphertext para milhares de vezes maiores do que as construções padrão. A estimativa de Buterin coloca os tempos de execução esperados nos esquemas atuais para além da idade do universo.
Buterin Delineia Três Caminhos de Investigação
Buterin delineou três caminhos que os investigadores estão a seguir para tornar a iO prática. O primeiro caminho envolve otimizar as construções existentes usando engenharia mais inteligente e assistência de IA para reduzir a sobrecarga em cada gargalo, semelhante a como o desempenho dos SNARKs melhorou drasticamente após 2010.
O segundo caminho constrói iO usando suposições criptográficas mais agressivas, mas mais simples, trocando rigor teórico por velocidade prática. O terceiro caminho procura uma abordagem inteiramente nova para a ofuscação, possivelmente fora da matemática baseada em grelhas que sustenta a maior parte do trabalho atual.
O Sucesso da iO Transformaria os Protocolos Criptográficos
Buterin afirmou que o sucesso em qualquer um destes caminhos produziria uma versão da criptografia onde qualquer protocolo descritível com um terceiro de confiança pode ser construído sem um. As aplicações incluem contratos inteligentes privados, sistemas de credenciais anónimas, computação encriptada em dados sensíveis e sistemas de governança resistentes à manipulação interna.
"Se tivermos sucesso em qualquer um dos caminhos, a recompensa é alta: há um sentido real em que teremos 'resolvido a criptografia': qualquer protocolo que possa ser descrito usando um terceiro de confiança idealizado, desde que o adversário tenha permissão para rebobinar o relógio, será implementável de forma segura. Mas chegar lá continua a ser um desafio formidável", escreveu Buterin. Acrescentou que, embora a tecnologia não esteja pronta, o roteiro está mais claro do que nunca.
FAQ
O que é que Vitalik Buterin identificou como o problema não resolvido mais difícil da criptografia a 29 de junho de 2026?
Vitalik Buterin nomeou a ofuscação por indistinguibilidade (iO) como o problema não resolvido mais difícil da criptografia numa análise publicada a 29 de junho de 2026. Explicou que, embora os esquemas atuais de iO sejam tecnicamente funcionais, têm tempos de execução que excedem a idade do universo por muitas ordens de magnitude.
Quais são os três caminhos de investigação que Buterin delineou para tornar a iO prática?
Buterin delineou três caminhos: otimizar as construções existentes usando melhorias de engenharia e assistência de IA, construir iO com suposições criptográficas mais simples, mas mais agressivas, e descobrir uma abordagem inteiramente nova para a ofuscação fora da matemática baseada em grelhas atual. Afirmou que o sucesso em qualquer caminho permitiria protocolos como votação sem confiança e contratos inteligentes privados.
Porque é que a blockchain precisa de ofuscação por indistinguibilidade?
Buterin explicou que programas ofuscados não podem manter estado como saldos ou registos de transações porque não se podem impedir de ser copiados. As blockchains fornecem a infraestrutura de manutenção de estado que os programas ofuscados não têm. Combinar os dois cria um "terceiro de confiança sem confiança" que impõe regras e produz resultados honestos sem exigir confiança nos construtores.
