- Ferramentas de IA estão a comprimir significativamente os prazos de desenvolvimento do Ethereum, permitindo prototipagem rápida e iteração.
- A verificação formal com IA está a acelerar provas para criptografia complexa baseada em STARK, reforçando a segurança da blockchain.
- Dividir os ganhos da IA entre velocidade e segurança permite aos desenvolvedores do Ethereum expandir a cobertura de testes e reduzir bugs críticos.
Vitalik Buterin afirma que a inteligência artificial está a começar a transformar a forma como o Ethereum é construído.
Numa publicação recente na X, descreveu um experimento em que a IA foi usada para “vibe-code” grande parte do roteiro do Ethereum para 2030 em poucas semanas. Chamou o resultado de impressionante, embora alertasse que ainda é altamente experimental.
O projeto foi concluído sem finalizar as Propostas de Melhoria do Ethereum (EIPs). Isso, por si só, significa que o código provavelmente contém bugs graves. Algumas funcionalidades podem existir apenas como implementações parciais. Há seis meses, acrescentou, mesmo alcançar esta fase pareceria impossível.
Este é um experimento bastante impressionante. Vibe-coding de todo o roteiro de 2030 em semanas.
Obviamente, algo assim construído em duas semanas, sem sequer ter as EIPs, tem grandes limitações: quase certamente muitos bugs críticos, e provavelmente em alguns casos versões “stub” de uma funcionalidade… https://t.co/ZlTg0r2hvI
— vitalik.eth (@VitalikButerin) 28 de fevereiro de 2026
Ganhos de Velocidade na Programação com IA – Mas Sem Perfeição
Buterin afirmou que as ferramentas de IA estão a comprimir dramaticamente os prazos de desenvolvimento. Recentemente, usou um modelo open-source executado localmente para recriar uma versão do seu software de blog em cerca de uma hora. Modelos mais avançados, sugeriu, poderiam completar construções semelhantes numa única tentativa.
O roteiro do Ethereum foca em melhorias de escalabilidade, maior descentralização e segurança aprimorada da blockchain. Os desenvolvedores estão a trabalhar em várias camadas do protocolo para reduzir o tráfego e aumentar a eficiência. Ciclos de codificação mais rápidos podem acelerar esses esforços paralelos.
Ainda assim, Buterin alertou contra excesso de confiança. Um único prompt não produzirá código seguro para produção. Os engenheiros devem esperar inconsistências, falhas em casos extremos e lacunas estruturais. O que muda, argumentou, é a velocidade com que esses problemas são identificados e corrigidos.
Verificação Formal Ganha Foco
Em vez de usar IA apenas para acelerar, Buterin sugeriu redirecionar parte dos ganhos de produtividade para segurança. Isso inclui gerar volumes maiores de casos de teste e expandir esforços de verificação formal.
Ele destacou o trabalho sob o projeto LeanEthereum, uma iniciativa de pesquisa dedicada à verificação matemática dos componentes centrais do Ethereum. Um parceiro, disse, usou recentemente IA para construir uma prova verificável por máquina de um teorema complexo que sustenta a criptografia baseada em STARK.
Os STARKs formam a base de vários sistemas de provas de conhecimento zero usados para escalar redes blockchain. Produzir provas formais para esses sistemas tradicionalmente exigia esforço manual significativo. A assistência de IA está agora a reduzir essa barreira.
A verificação formal baseia-se em métodos matemáticos para confirmar que o código se comporta exatamente como especificado. Na segurança da blockchain, esse processo limita pontos fracos que poderiam levar a explorações ou perdas financeiras.
Elevando o Padrão de Segurança
Buterin reconheceu que software absolutamente livre de bugs é impossível. O código não consegue capturar perfeitamente todas as intenções humanas por trás dele.
No entanto, argumentou que garantias de segurança direcionadas e verificáveis podem eliminar a maioria dos riscos práticos.
Em sistemas descentralizados, construídos com base na ausência de necessidade de confiar nos outros, padrões de verificação mais rigorosos reduzem a dependência de coordenação social ou monitoramento manual. Buterin afirmou que avanços contínuos na codificação com IA podem impulsionar o Ethereum para padrões de segurança mais elevados, ao mesmo tempo que reduzem o horizonte de desenvolvimento.
Aviso: As informações nesta página podem ser provenientes de terceiros e não representam as opiniões ou pontos de vista da Gate. O conteúdo exibido nesta página é apenas para referência e não constitui aconselhamento financeiro, de investimento ou jurídico. A Gate não garante a exatidão ou integridade das informações e não será responsável por quaisquer perdas decorrentes do uso dessas informações. Os investimentos em ativos virtuais apresentam altos riscos e estão sujeitos a uma volatilidade de preços significativa. Você pode perder todo o capital investido. Por favor, compreenda completamente os riscos envolvidos e tome decisões prudentes com base em sua própria situação financeira e tolerância ao risco. Para mais detalhes, consulte o
Aviso Legal.
Related Articles
USDC e CCTP oficialmente lançados na rede Ethereum L2 Morph
USDC e o protocolo de transferência cross-chain CCTP já estão disponíveis na rede L2 da Ethereum Morph, suportando pagamentos, transferências e transações DeFi. O CCTP permite a transferência cross-chain do USDC entre Morph e outras blockchains, com os primeiros parceiros de integração incluindo uma CEX, Bulba e Stargate.
GateNews1h atrás
Atividades na cadeia Ethereum explodiram: endereços diários ativos atingem 2 milhões, chamadas de contratos inteligentes ultrapassam 40 milhões de vezes, atingindo recordes, mas ETH cai 30% e as taxas de transação perdem para a Tron
CryptoQuant Relatório de Março indica que a atividade ativa na cadeia do Ethereum atingiu um recorde histórico, mas o preço do ETH caiu 30% nos últimos seis meses, e a receita de taxas de transação ficou atrás de outras blockchains. A análise do relatório aponta que os fatores que impulsionam o preço do ETH mudaram de uso na cadeia para fluxo de capital, levando o mercado a reconsiderar a captura de valor do Ethereum.
動區BlockTempo1h atrás
Departamento de Justiça dos Estados Unidos apreende 3,4 milhões de dólares em USDT, envolvendo fraude de investimento em Ethereum e lavagem de dinheiro
O procurador federal de Massachusetts, nos Estados Unidos, entrou com uma ação de confisco civil, buscando recuperar US$ 3,4 milhões em USDT relacionados a esquemas de fraude com criptomoedas e lavagem de dinheiro. As vítimas foram enganadas a investir em projetos falsos de Ethereum, cujo dinheiro acabou nas mãos de controladores de identidade desconhecida.
GateNews2h atrás
Pesquisadores do Ethereum demonstram protótipo de Native Rollups, permitindo verificar diretamente a transição de estado do Layer 2
Gate News notícia, em 11 de março, investigadores do Ethereum demonstraram a prova de conceito dos Native Rollups. Esta é uma nova abordagem que permite ao Ethereum verificar diretamente as transições de estado do Layer 2 no seu próprio ambiente de execução. O experimento implementa o EIP-8079 através de uma nova pré-compilação EXECUTE, que reexecuta os blocos do Layer 2 na camada base do Ethereum, em vez de depender de sistemas externos de prova para validação.
GateNews2h atrás
O DOJ busca a confiscação de $3,4 milhões em USDT ligados a um esquema de investimento em Ethereum
Os procuradores dos EUA em Massachusetts procuram recuperar $3.4 milhões em USDT ligados a um alegado esquema de investimento que enganou vítimas com uma falsa oportunidade de ETH. Este caso faz parte de esforços contínuos para combater fraudes em criptomoedas e branqueamento de capitais.
Decrypt2h atrás
