Vitalik Buterin Weighs on AI Cybersecurity as Ethereum Tests New Defense Tools

Ethereum co-founder Vitalik Buterin pushed back against claims that artificial intelligence could give attackers a permanent advantage in cybersecurity.

In a Sept. 17 discussion, Buterin argued that increasingly capable AI could also strengthen defensive software engineering. His preferred approach centers on formal verification, where mathematical proofs test whether software satisfies clearly defined security properties.

Vitalik Buterin Backs Formal Verification Against AI Attacks

Vitalik Buterin said AI-driven attacks do not automatically give hackers a permanent advantage. His argument focuses on formal verification, which uses mathematical proofs to test whether software follows defined rules. He said more capable AI systems could help developers verify increasingly complex programs and check security properties at a larger scale.

The method does not guarantee complete security on its own. Developers must first define the properties they want the software to satisfy. A proof can confirm those rules, but it cannot cover risks that the specification leaves out.

Vitalik Buterin said developers need broader checks that include protocols, servers, databases, networking layers, caches and other supporting components. A formal proof only answers the question developers ask it to test. It does not identify every missing assumption.

Ethereum Tests AI Agents on Protocol Code

The Ethereum Foundation already uses AI agents in protocol security work. Its Protocol Security team said in July that coordinated agents found real defects in systems that Ethereum depends on. One case involved a remotely triggered crash in Rust libp2p’s Gossipsub networking code. Developers fixed the issue in version 0.49.4.

The team also found a practical problem with AI-generated security reports. Agents can produce convincing findings that do not affect production systems. Some reports point to unreachable code or testing-only behavior.

Others produce formal proofs that check a weaker condition than researchers intended. The Foundation therefore requires reproduction, automated checks and human review before it accepts a vulnerability.

Formal Verification Moves Deeper Into Ethereum Research

Ethereum’s current protocol research plan gives formal verification a wider role. The Ethereum Foundation said on Sept. 7 that the method will support several research tracks through 2029. Those areas include privacy, state design, zkEVM development and post-quantum security. The plan also connects verification work with future protocol engineering.

The Foundation expects work on an L1 zkEVM to improve verification tools and verified cryptographic components. A separate project, better.codes, combines AI agents with machine-checked proofs in Lean. Researchers direct AI systems toward formalized cryptographic problems, while the Lean kernel checks whether each submitted proof meets the stated theorem.

The approach pairs faster machine-generated work with strict mathematical checks rather than relying on model output alone.

AI Threats Grow as Ethereum Continues Defense Work

Vitalik Buterin’s comments come as security researchers document the wider use of AI for offensive purposes. Anthropic said its September threat report covered operations in which malicious actors used Claude across cyber activity and other abuse categories from December 2025 through August 2026.

The company said some operators used AI to support vulnerability research, exploitation, and broader attack workflows.

Security teams also use the same technology to search code, generate tests and reproduce faults faster. Ethereum’s own trials show that researchers still need to confirm reachability, production relevance, and the exact property that a proof checks.

Ethereum Price Prediction Amid Vitalik Insights

At the time of writing, Ethereum price rallied 2.3% over the past 24 hours to $2,457.19. ETH recovered from an intraday dip below $2,400 and moved back toward the $2,460 area. The four-hour chart shows Ethereum trading inside a broader range, with the lower boundary near $2,375 and the upper boundary around $2,570.

Analyst Ali Martinez also noted a possible path toward $3,000 if Ethereum extends the rebound. He said ETH crypto could first move toward the middle of the four-hour range before testing $2,570.

According to Martinez, a strong Ethereum price close above $2,570 on a four-hour chart, with higher volume, could support a move toward $2,700, followed by $3,000.

This article is for informational purposes only and does not constitute financial or investment advice. Cryptocurrency investments involve risk, and technical targets or security research developments do not guarantee future price performance.