Vitalik Buterin sees truly bug-free smart contract code becoming feasible in the 2030s

Ethereum co-founder Vitalik Buterin predicted in an X discussion that developers who focus on security could achieve genuinely bug-free code in the 2030s, supported by advances in formal verification and layered redundancy. His remarks followed Gnosis Chain's December 22 hard fork to recover $9.4 million stolen in the November 2024 Balancer exploit, which had drained over $128 million across several blockchains.