Ledger CTO: AI Is Driving Crypto Exploit Costs 'Down to Zero,' Demands Shift to Formal Verification

CoinDesk·medium signal

Ledger CTO Charles Guillemet warned in a CoinDesk interview on April 5 that AI is making vulnerability discovery and exploitation trivially cheap — tasks that once required skilled researchers months can now be accomplished in seconds. He cited $1.4 billion in crypto losses from hacks and exploits over the past year, with AI-generated code and increasingly sophisticated malware accelerating the trend. Guillemet advocates a shift toward formal verification, hardware-based security, and offline storage, arguing that much of the broader software ecosystem 'may struggle to keep up.'