{"slug": "ethereum-founder-vitalik-buterin-says-ai-wont-doom-crypto-security", "title": "Ethereum Founder Vitalik Buterin Says AI Won’t Doom Crypto Security", "summary": "Ethereum co-founder Vitalik Buterin said in a Wednesday post on X that AI will not give hackers an insurmountable advantage over cybersecurity, arguing that advanced models could make formal verification—mathematical proof that software is secure—practical even for complex systems. Buterin, who said roughly 90% of his net worth is in crypto, wrote that \"cybersecurity is naturally defense-favoring once people get their shit together,\" while noting the hard part is defining what \"secure\" means. The comments follow a wave of AI-assisted security incidents, including the May discovery of a four-year-old Zcash Orchard privacy-pool flaw using Anthropic's Claude Opus 4.8, a July Coldcard firmware exploit that stole roughly $130 million in Bitcoin, and the Bitcoin Red Team's AI-assisted audit flagging 4,962 potential vulnerabilities across 390 projects.", "body_md": "#### In brief\n\n- Vitalik Buterin rejected the idea that AI-powered hacking means cybersecurity is doomed.\n- He argued that AI could make formal verification practical across entire software systems.\n- The comments build on Ethereum’s push toward AI-assisted security, privacy, STARKs, and quantum resistance.\n\nEthereum co-founder Vitalik Buterin says AI does not spell the end of cybersecurity, arguing instead that advanced models could help make crypto software harder to break.\n\nIn a Wednesday [post](https://x.com/VitalikButerin/status/2100337594722890145?s=20) on X, Buterin argued that AI will not give hackers an insurmountable advantage, adding that crypto holders—including himself, with roughly 90% of his net worth in crypto—are betting that security defenses can keep pace.\n\n“It’s an increasingly common take that AI hacking means cybersecurity is doomed,” Buterin wrote. “I disagree. I think cybersecurity is naturally defense-favoring once people get their shit together.”\n\nButerin argued that AI could make formal verification—the use of mathematical proofs to establish that software is secure—practical even for complex systems.\n\n“If AI can prove Navier-Stokes and FLT, then AI can prove the statement ‘this program is secure’ as a mathematical theorem,” he wrote. “Even if the program is very complicated.”\n\nIn other words, Buterin believes AI sophisticated enough to solve famously difficult mathematical problems could also prove that even complex software meets clearly defined security requirements.\n\nThat does not mean, however, that security is easy, he said. The hard part is defining what “secure” means in the first place.\n\nBlockchain developers are increasingly using AI agents to scan code, test exploits, and verify bugs before attackers can act, with researchers uncovering vulnerabilities in both [Ethereum](https://decrypt.co/price/ethereum) [infrastructure](https://decrypt.co/373169/ethereum-foundation-turns-ai-loose-find-bugs-before-hackers) and [Bitcoin](https://decrypt.co/price/bitcoin) [software](https://decrypt.co/375169/bitcoin-red-team-ai-finding-critical-vulnerabilities).\n\nDevelopers across the crypto space are deploying AI defensively following several incidents that fueled fears that AI was giving attackers an advantage.\n\nIn May, security researcher Taylor Hornby used Anthropic’s Claude Opus 4.8 to [uncover a four-year-old flaw in Zcash’s Orchard privacy pool](https://decrypt.co/370105/zec-crashes-38-as-zcash-discloses-critical-counterfeiting-vulnerability) that could have enabled unlimited, undetectable counterfeiting of ZEC, though developers found no evidence it had been exploited before they patched it in June.\n\nThe race between attackers and defenders accelerated in July, when Ethereum Foundation researchers said [AI agents had uncovered vulnerabilities in critical network infrastructure](https://decrypt.co/373169/ethereum-foundation-turns-ai-loose-find-bugs-before-hackers). That same month, attackers began draining Coldcard wallets through a years-old firmware flaw that weakened seed generation, ultimately stealing [roughly $130 million in Bitcoin](https://decrypt.co/374916/coldcard-bitcoin-exploit-explained-entropy-keys-bits). Coldcard maker Coinkite said AI likely helped identify the bug.\n\nBy August, the threat had spread across the Bitcoin software ecosystem. [Boltz suspended its swap service](https://decrypt.co/374933/bitcoin-bridge-shuts-down-ai-finding-bugs-too-fast), saying suspected attackers were finding flaws faster than its developers could fix them, while [Core Lightning confirmed](https://decrypt.co/376714/ai-critical-flaw-bitcoin-lightning-warning) that several vulnerabilities identified in AI-generated reports were genuine. In response, the volunteer Bitcoin Red Team used AI-assisted audits to [flag 4,962 potential vulnerabilities across 390 projects](https://decrypt.co/375029/bitcoin-ai-security-audit-files-4962-findings-across-390-projects).\n\nButerin said AI can now verify entire programs rather than select components, an approach Ethereum plans to pursue over the next several years.\n\n“There is no future for blockchains—especially blockchains with scalability and privacy—without doing this,” he said. “We need to make software actually secure. And we have already made a lot of progress.”", "url": "https://wpnews.pro/news/ethereum-founder-vitalik-buterin-says-ai-wont-doom-crypto-security", "canonical_source": "https://decrypt.co/378544/ethereum-vitalik-buterin-ai-crypto-security", "published_at": "2026-09-17 19:01:05+00:00", "updated_at": "2026-09-17 19:27:02.994293+00:00", "lang": "en", "topics": ["artificial-intelligence", "ai-safety", "ai-agents"], "entities": ["Vitalik Buterin", "Ethereum", "Anthropic", "Claude Opus 4.8", "Zcash", "Coldcard", "Coinkite", "Bitcoin Red Team"], "alternates": {"html": "https://wpnews.pro/news/ethereum-founder-vitalik-buterin-says-ai-wont-doom-crypto-security", "markdown": "https://wpnews.pro/news/ethereum-founder-vitalik-buterin-says-ai-wont-doom-crypto-security.md", "text": "https://wpnews.pro/news/ethereum-founder-vitalik-buterin-says-ai-wont-doom-crypto-security.txt", "jsonld": "https://wpnews.pro/news/ethereum-founder-vitalik-buterin-says-ai-wont-doom-crypto-security.jsonld"}}