Ethereum Foundation says AI agents are finding real protocol bugs, human verification remains critical

Fonte Fxstreet
  • The Ethereum Foundation stated AI agents are helping uncover protocol vulnerabilities, but every finding requires rigorous human review before acceptance.
  • Reproducible proof-of-concept exploits are required to confirm vulnerabilities and eliminate false positives generated during AI analysis.
  • The EF added AI shifted security research from finding bugs to verifying which reported vulnerabilities are genuine and deserve disclosure.

The Ethereum Foundation (EF) stated Thursday that artificial intelligence (AI) is becoming an increasingly effective tool for identifying vulnerabilities in Ethereum's protocol software.

Ethereum Foundation uses AI to uncover protocol vulnerabilities

The Foundation's Protocol Security team detailed in a blog post how it has been deploying coordinated AI agents to audit critical Ethereum infrastructure, including systems software, cryptographic code and smart contracts.

An example is a remotely triggerable panic in libp2p's Gossipsub networking protocol, a core component used by Ethereum consensus clients. The issue has since been patched and publicly disclosed as CVE-2026-34219, with credit given to the Protocol Security team.

However, the Foundation noted that discovering bugs was not the biggest shock.

"The surprise was how little of the work went into finding them, and how much went into telling the real bugs from the ones that just looked real," the EF wrote.

The Foundation compared AI agents to fuzzing tools. While traditional fuzzers typically produce crashes and stack traces, AI agents generate far more detailed outputs, including vulnerability reports, potential exploit paths, severity assessments and proof-of-concept code.

Despite this, the organization warned that the number of vulnerabilities generated by AI should not be treated as a measure of success.

"So don't count how many candidates an agent produces. Count how many turn out to be real," the Foundation wrote.

To improve reliability, the Protocol Security team runs multiple AI agents simultaneously against the same codebase, assigning them specialized tasks such as reconnaissance, vulnerability hunting, validation, and coverage analysis.

Instead of relying on a central coordinator, the agents collaborate through shared repositories and version control, allowing each to build on others' work while independently verifying findings.

The Foundation stated that no security issue is considered valid unless it can be reproduced using a self-contained proof of concept that runs against the actual production code, rather than in an artificial test environment.

The blog highlighted several common sources of false positives. These include crashes that occur only in debug builds, proof-of-concept exploits based on impossible execution paths, and formal verification proofs that technically pass while failing to validate the intended security property.

The Ethereum Foundation noted that most AI-generated findings ultimately prove to be incorrect, duplicates, or outside the intended scope of an audit. Every surviving candidate undergoes independent validation to determine whether it is realistically exploitable and whether the potential impact justifies further investigation or disclosure.

While AI enables researchers to examine far more code than manual reviews alone, the EF highlighted that human oversight remains the deciding factor in determining which findings are genuine and which should ultimately be acted upon.

Isenção de responsabilidade: Apenas para fins informativos. O desempenho passado não é indicativo de resultados futuros.
placeholder
Ouro encontra dificuldades para atrair compradores, com riscos em Ormuz e apostas em juros do Fed contrapondo dólar fracoO ouro (XAU/USD) encontra dificuldades para capitalizar o repique do dia anterior a partir da região de US$ 4.020 (mínima de uma semana) e oscila em uma faixa estreita de preço durante a sessão asiática de quinta-feira.
Autor  FXStreet
23 horas atrás
O ouro (XAU/USD) encontra dificuldades para capitalizar o repique do dia anterior a partir da região de US$ 4.020 (mínima de uma semana) e oscila em uma faixa estreita de preço durante a sessão asiática de quinta-feira.
placeholder
O Grok 4.5 tem um preço inferior ao do Claude Opus, mas fica atrás dele no topoA SpaceXAI lançou recentemente uma nova versão de seu chatbot de IA, chamada Grok 4.5. Este modelo, focado em programação, foi apresentado por Elon Musk como um rival de "nível Opus" para o Claude da Anthropic, por uma fração do custo. Considerando o aumento do custo do uso de IA, as equipes de engenharia agora priorizam o preço por tarefa concluída em detrimento da inteligência máxima. Será que...
Autor  Cryptopolitan
4 horas atrás
A SpaceXAI lançou recentemente uma nova versão de seu chatbot de IA, chamada Grok 4.5. Este modelo, focado em programação, foi apresentado por Elon Musk como um rival de "nível Opus" para o Claude da Anthropic, por uma fração do custo. Considerando o aumento do custo do uso de IA, as equipes de engenharia agora priorizam o preço por tarefa concluída em detrimento da inteligência máxima. Será que...
placeholder
A Meta entra na corrida da IA ​​para desenvolvedores com o novo modelo Muse SparkA Meta lançou o Muse Spark 1.1 na quinta-feira e o disponibilizou para desenvolvedores dos EUA por meio de uma nova API de Modelos Meta, criando concorrência direta com a OpenAI, o Google e a Anthropic. O modelo está disponível imediatamente no modo Thinking dentro do aplicativo Meta AI e no site da Meta AI. Desenvolvedores que desejam integrá-lo aos seus projetos...
Autor  Cryptopolitan
4 horas atrás
A Meta lançou o Muse Spark 1.1 na quinta-feira e o disponibilizou para desenvolvedores dos EUA por meio de uma nova API de Modelos Meta, criando concorrência direta com a OpenAI, o Google e a Anthropic. O modelo está disponível imediatamente no modo Thinking dentro do aplicativo Meta AI e no site da Meta AI. Desenvolvedores que desejam integrá-lo aos seus projetos...
placeholder
A Micron planeja investir mais de US$ 250 bilhões em chips nos EUA até 2035, criando mais de 90.000 empregosOs fabricantes de chips estão correndo para atender à crescente demanda impulsionada pelo boom da IA, remodelando a fabricação, os preços e os planos de investimento. A Micron Technology anunciou que investirá mais de US$ 250 bilhões em suas operações nos EUA até 2035 para expandir a produção de chips de memória. O investimento, superior aos US$ 200 bilhões anunciados no ano passado, reflete atrondemanda por IA e odent...
Autor  Cryptopolitan
4 horas atrás
Os fabricantes de chips estão correndo para atender à crescente demanda impulsionada pelo boom da IA, remodelando a fabricação, os preços e os planos de investimento. A Micron Technology anunciou que investirá mais de US$ 250 bilhões em suas operações nos EUA até 2035 para expandir a produção de chips de memória. O investimento, superior aos US$ 200 bilhões anunciados no ano passado, reflete atrondemanda por IA e odent...
placeholder
A chinesa ChangXin lança IPO de US$ 4,3 bilhões no setor de memória em meio a um boom de chips impulsionado por IAA ChangXin Memory Technologies (CXMT) está prestes a abrir o período de subscrição de seu IPO em Xangai, avaliado em cerca de 29,5 bilhões de yuans (aproximadamente 4,33 bilhões de dólares), no dia 16 de julho. Isso é significativo não apenas porque a CXMT é a maior produtora de DRAM da China, mas também porque os investidores podem usar esse evento para avaliar o potencial da empresa no futuro.
Autor  Cryptopolitan
4 horas atrás
A ChangXin Memory Technologies (CXMT) está prestes a abrir o período de subscrição de seu IPO em Xangai, avaliado em cerca de 29,5 bilhões de yuans (aproximadamente 4,33 bilhões de dólares), no dia 16 de julho. Isso é significativo não apenas porque a CXMT é a maior produtora de DRAM da China, mas também porque os investidores podem usar esse evento para avaliar o potencial da empresa no futuro.
Produtos relacionados
goTop
quote