O cofundador da Ethereum, Vitalik Buterin, afirmou em uma palestra online durante a 12ª Global Blockchain Summit, em 23 de setembro de 2026, que provas de conhecimento zero, verificação formal e inteligência artificial estão reformulando a arquitetura de blockchains. Segundo Buterin, a mudança poderia melhorar a escalabilidade e a privacidade sem abandonar completamente as garantias de descentralização, de acordo com seu discurso durante a Shanghai Blockchain International Week.
Buterin disse que as capacidades técnicas do setor e sua compreensão das propriedades que sistemas descentralizados devem oferecer mudaram nos últimos 15 anos. As primeiras blockchains estabeleceram quem possuía ativos e quem poderia administrá-los, enquanto a próxima etapa envolverá privacidade programável, na qual o código também determina quem pode acessar informações específicas.
A arquitetura inicial das blockchains exigia que muitos participantes executassem repetidamente as mesmas operações. Esse modelo sustentava a verificabilidade, mas limitava o desempenho e a privacidade, disse Buterin.
SNARKs e STARKs estão gradualmente mudando essa abordagem. Um participante poderia executar uma operação e gerar uma prova criptográfica, permitindo que os demais participantes verificassem o resultado em vez de repetir o cálculo subjacente.
“A era em que todos têm de repetir tudo está chegando ao fim”, disse Buterin.
STARKs recursivos e a arquitetura da Ethereum
Buterin identificou os STARKs recursivos como uma área fundamental de desenvolvimento. A tecnologia pode combinar múltiplas provas em uma só, reduzindo os dados e a computação que precisam ser processados diretamente em uma blockchain.
Ele já havia proposto o uso dessa abordagem na EIP-8288, que prevê a agregação de assinaturas criptográficas e provas STARK no nível do mempool antes da publicação de uma prova compacta de sua validade.
Buterin espera que a tecnologia reduza o custo de transações privadas e pós-quânticas e retire algumas operações criptográficas complexas do principal caminho de execução da Ethereum.
A abordagem faz parte de uma mudança proposta mais ampla na estrutura de transações da Ethereum. No início de setembro, Buterin discutiu a EIP-8141, que divide uma transação em ações e dependências separadas. Ele disse que a arquitetura deveria permitir que algumas operações fossem executadas em paralelo, em vez de sequencialmente.
Buterin também destacou o FOCIL, um mecanismo para construção distribuída de blocos. O FOCIL pretende reduzir a dependência de um único participante para incluir transações em um bloco e reforçar a resistência da rede à censura.
No longo prazo, Buterin disse que uma blockchain não deveria ser vista apenas como uma rede de camada 1. Ele descreveu um pipeline computacional mais amplo que abrange operações locais nos dispositivos dos usuários, mempools com diferentes características de privacidade, agregação de provas, redes de camada 2 e a camada de base.
Buterin disse que essa arquitetura poderia aumentar substancialmente a escalabilidade, preservando as garantias de descentralização. No verão de 2026, ele descreveu a Ethereum como avançando para uma noção de “terceira era”, voltada à escalabilidade, à privacidade e à resiliência à computação quântica.
IA e verificação formal
Buterin disse que a inteligência artificial poderia desempenhar um papel distinto na transição porque os sistemas criptográficos modernos estão se tornando complexos o suficiente para que o desenvolvimento manual e as auditorias de código corram o risco de se tornar um fator limitante.
A IA poderia ajudar a escrever e analisar software, criar especificações, executar testes e conduzir verificação formal, disse ele. A verificação formal pode demonstrar matematicamente que uma implementação atende aos requisitos declarados.
Segundo Buterin, a combinação de várias especificações independentes com verificação automatizada poderia viabilizar sistemas significativamente mais complexos sem um aumento proporcional do risco. Ele também vinculou limitações nas atuais redes de camada 2 à dificuldade de verificar códigos complexos, afirmando que os projetos precisam recorrer a proteções adicionais, incluindo múltiplos sistemas de prova e comitês de segurança.
Buterin já havia dito que combinar IA com verificação formal poderia reformular significativamente a segurança da Ethereum. Algoritmos poderiam ajudar a identificar vulnerabilidades, verificar implementações de protocolos e comparar código com especificações formais.
Ele disse que o papel potencial da IA vai além do desenvolvimento de software. Agentes de IA poderiam interagir de maneira independente com infraestrutura que abrange redes de camada 1 e camada 2 e serviços intermediários, selecionando as ferramentas adequadas para uma operação específica.
Em fevereiro de 2026, Buterin apresentou uma visão atualizada para IA e Ethereum que enfatizava descentralização, privacidade e verificabilidade. Em seu discurso mais recente, ele pediu aos desenvolvedores que reconsiderassem aplicações projetadas quando criptografia avançada, privacidade programável e verificação formal automatizada não eram consideradas praticamente viáveis, afirmando que essas restrições estão gradualmente recuando.
Fonte: HODL Press
