O cofundador do Ethereum, Vitalik Buterin, publicou uma análise em 29 de junho de 2026, nomeando a ofuscação indistinguível (iO) como o problema não resolvido mais difícil da criptografia. Os esquemas atuais de iO são tecnicamente funcionais, mas possuem tempos de execução que Buterin estima excederem a idade do universo em muitas ordens de grandeza. O avanço é crítico para aplicações blockchain porque a implementação bem-sucedida de iO permitiria sistemas de votação sem confiança e contratos inteligentes privados sem exigir terceiros confiáveis.
Buterin Explica a Mecânica da Ofuscação Indistinguível
Em sua postagem no blog, Buterin descreveu iO como uma técnica criptográfica que oculta o próprio código, distinguindo-a da criptografia (que oculta dados em trânsito) e das provas de conhecimento zero (que verificam dados sem revelá-los). A ofuscação embaralha a lógica interna de um programa para que observadores não possam determinar como ele funciona, mesmo enquanto o veem executar.
Ofuscação indistinguível significa especificamente que, se dois programas produzem saídas idênticas usando lógica interna diferente, as versões ofuscadas não podem ser distinguidas uma da outra. O programa executa, gera saídas reais e não revela nada sobre seus processos internos.
iO Possibilita Protocolos Blockchain Sem Confiança
Buterin conectou iO diretamente a casos de uso blockchain em sua análise. Programas ofuscados não podem manter estado como saldos ou registros de transações porque não podem impedir que sejam copiados. Blockchains fornecem a infraestrutura de manutenção de estado que falta aos programas ofuscados.
Combinar programas ofuscados com blockchains cria o que Buterin descreveu como um "terceiro confiável sem confiança" — um sistema que impõe regras, processa entradas e produz saídas honestas sem exigir confiança nos construtores. Uma aplicação citada por Buterin é 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 suposição de que alguns participantes permaneçam honestos.
Pesquisadores Alcançam Construções de iO Comprovadamente Seguras
Pesquisadores buscam iO comprovadamente segura há cerca de 20 anos. Abordagens iniciais foram repetidamente quebradas. Buterin fez referência a um resultado de 2001 mostrando que a versão ideal de ofuscação é matematicamente impossível, levando os pesquisadores a mudar o foco para iO como o segundo 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 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, ou seja, escalam com o tamanho da entrada em vez de explodir 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 envolvendo a camada abaixo.
O resultado é um sistema onde processar uma única entrada exige fatores de sobrecarga estimados acima de 10 elevado à décima potência. Requisitos de segurança empurram tamanhos de texto cifrado milhares de vezes maiores que construções padrão. A estimativa de Buterin coloca os tempos de execução esperados nos esquemas atuais além da idade do universo.
Buterin Delineia Três Caminhos de Pesquisa
Buterin delineou três caminhos que os pesquisadores estão seguindo para tornar iO prática. O primeiro caminho envolve otimizar construções existentes usando engenharia mais inteligente e assistência de IA para reduzir a sobrecarga em cada gargalo, semelhante a como o desempenho de SNARKs melhorou dramaticamente após 2010.
O segundo caminho constrói iO usando suposições criptográficas mais agressivas, porém mais simples, trocando rigor teórico por velocidade prática. O terceiro caminho busca uma abordagem inteiramente nova para ofuscação, possivelmente fora da matemática baseada em reticulados que sustenta a maior parte do trabalho atual.
Sucesso da iO Transformaria Protocolos Criptográficos
Buterin afirmou que o sucesso em qualquer um desses caminhos produziria uma versão da criptografia onde qualquer protocolo descritível com um terceiro confiável pode ser construído sem um. As aplicações incluem contratos inteligentes privados, sistemas de credenciais anônimas, computação criptografada em dados sensíveis e sistemas de governança resistentes a 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 confiável idealizado, desde que o adversário possa rebobinar o relógio, será implementável de forma segura. Mas chegar lá ainda é um desafio formidável", escreveu Buterin. Ele acrescentou que, embora a tecnologia não esteja pronta, o roteiro está mais claro do que nunca.
Perguntas Frequentes
O que Vitalik Buterin identificou como o problema não resolvido mais difícil da criptografia em 29 de junho de 2026?
Vitalik Buterin nomeou a ofuscação indistinguível (iO) como o problema não resolvido mais difícil da criptografia em uma análise publicada em 29 de junho de 2026. Ele explicou que, embora os esquemas atuais de iO sejam tecnicamente funcionais, eles possuem tempos de execução que excedem a idade do universo em muitas ordens de grandeza.
Quais são os três caminhos de pesquisa que Buterin delineou para tornar iO prática?
Buterin delineou três caminhos: otimizar construções existentes usando melhorias de engenharia e assistência de IA, construir iO com suposições criptográficas mais simples, porém mais agressivas, e descobrir uma abordagem inteiramente nova para ofuscação fora da matemática atual baseada em reticulados. Ele afirmou que o sucesso em qualquer caminho permitiria protocolos como votação sem confiança e contratos inteligentes privados.
Por que o blockchain precisa de ofuscação indistinguível?
Buterin explicou que programas ofuscados não podem manter estado como saldos ou registros de transações porque não podem impedir a cópia. Blockchains fornecem a infraestrutura de manutenção de estado que falta aos programas ofuscados. Combinar os dois cria um "terceiro confiável sem confiança" que impõe regras e produz saídas honestas sem exigir confiança nos construtores.
