- 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.
Isenção de responsabilidade: As informações contidas nesta página podem ser provenientes de terceiros e não representam os pontos de vista ou opiniões da Gate. O conteúdo apresentado nesta página é apenas para referência e não constitui qualquer aconselhamento financeiro, de investimento ou jurídico. A Gate não garante a exatidão ou o carácter exaustivo das informações e não poderá ser responsabilizada por quaisquer perdas resultantes da utilização destas informações. Os investimentos em ativos virtuais implicam riscos elevados e estão sujeitos a uma volatilidade de preços significativa. Pode perder todo o seu capital investido. Compreenda plenamente os riscos relevantes e tome decisões prudentes com base na sua própria situação financeira e tolerância ao risco. Para mais informações, consulte a
Isenção de responsabilidade.
Related Articles
A Bitmine, de Tom Lee, Adquire 40.000 ETH no Valor de 82,07 Milhões de Dólares
Mensagem de notícias da Gate. A Bitmine de Tom Lee comprou hoje mais 40.000 ETH avaliados em 82,07 milhões de dólares junto de bolsas centralizadas. A transação marca mais uma importante acumulação de ETH pela empresa.
GateNews3h atrás
A Ethereum Foundation faz mais um stake de 93 milhões de dólares em ether, atingindo o seu objetivo de 70.000 ETH
A Ethereum Foundation aplicou em staking $93 milhões em ether, atingindo quase $143 milhões no total de ETH em staking, ficando a quase cumprir a sua meta de 70.000 ETH. Esta mudança para o staking gera rendimento para financiar as operações sem vender ativos, embora ainda exista algum ETH que permanece fora de staking.
CoinDesk5h atrás
Sinais de acumulação antecipada de ETH sugerem uma ruptura — O impulso vai aguentar?
O Ethereum mostra uma acumulação inicial, com a maioria dos detentores perto do ponto de equilíbrio e a pressão de venda a abrandar.
A relação Compra/Venda do Taker a subir indica uma procura crescente e compras selectivas em várias bolsas.
O momentum sustentado acima de níveis-chave pode despoletar uma ruptura em direcção a objectivos de preço mais elevados.
No momento da publicação
CryptoNewsLand5h atrás
A baleia $ETH retira 82M da FalconX, o mercado especula uma ligação com Tom Lee
Uma baleia de Ethereum retirou $82M em ETH da FalconX, aumentando as suas participações para 40,000 ETH. O padrão da transação assemelha-se ao da Bitmine, suscitando especulação sobre a participação de Tom Lee. Os traders estão a acompanhar o seu impacto no mercado.
BlockChainReporter6h atrás
O Ethereum volta aos 2.000 dólares enquanto o dinheiro inteligente se volta para BlockchainFX, a melhor abordagem de pré-venda de cripto...
Doze vezes. É quantas vezes o Ethereum tocou os $2.000 desde abril de 2021, e de alguma forma abril de 2026 também está nessa lista. Enquanto os detentores de ETH encaram o mesmo número em que têm estado a encarar há cinco anos, um outro grupo está a mover-se silenciosa e deliberadamente para o BlockchainFX (BFX), a
BlockChainReporter7h atrás
A blockchain resistente a ataques quânticos do Naoris Protocol entra em funcionamento à medida que Bitcoin e Ethereum enfrentam ameaças de “Q-Day”
O Naoris Protocol lançou uma blockchain resistente a ataques quânticos, concebida para proteger transações contra ameaças quânticas futuras. Utiliza criptografia pós-quântica e já validou mais de 100 milhões de transações, preparando-se para proteger ativos digitais apesar das vulnerabilidades em sistemas existentes como o Bitcoin e o Ethereum.
CoinDesk8h atrás
