Buterin Defies AI Cybersecurity Doom: 'Get Your Shit Together'

Vitalik Buterin, co-founder of Ethereum, has pushed back against concerns that artificial intelligence could give cyber attackers an advantage in cryptocurrency security. In a recent X post, he argued that AI-assisted formal verification can shift cybersecurity in favor of defenders rather than attackers.

Buterin dismissed predictions that AI could break Bitcoin's cryptography or proof-of-work, calling the risk 'very low'. He believes that developers will eventually use AI to formally verify larger portions of software, making it more secure before vulnerabilities emerge. This approach is particularly relevant to blockchain networks, where vulnerabilities in smart contracts and core infrastructure can result in irreversible losses.

Buterin's argument centers on using AI and mathematical verification to shift the security burden toward prevention, rather than eliminating cyber threats altogether. He has proposed using AI to generate optimized code while relying on formal proofs to confirm that it maintains the properties of a verified reference implementation.