Vitalik Buterin says AI-assisted formal verification could improve blockchain security, Ethereum development, and safer cryptographic software systems.
Ethereum co-founder Vitalik Buterin shared a positive view about AI-assisted software verification. AI can aid developers in creating safer blockchain systems, he said. Furthermore, he said that AI tools can enhance the security of Ethereum and cryptographic projects.
Vitalik Buterin Explains Formal Verification for Blockchain Security
Vitalik Buterin explained that formal verification involves using mathematics to ensure the correctness of software. This process can help minimize software bugs and security threats, he said. In addition, developers can automatically test software to check if it is functioning properly before it is released to the public.
Many people have claimed that with AI-assisted bug finding, secure code (and hence trustless anything) will be impossible.
I have a much more optimistic take, and AI-assisted formal verification is a major part of the reason why:https://t.co/0ceMBZ6uqj
— vitalik.eth (@VitalikButerin) May 18, 2026
He said that the Lean programming language is already being used by Ethereum researchers. This language is used to develop machine verifiable mathematical proofs for software systems. Thus, automated verification tools can help developers enhance the security and reliability of blockchain software.
Reading more: Sui News: Sui Blockchain Pushes Bold Plan: Next $1 Trillion Stablecoin Transfers With Zero Fees – Ledger Tribune
Buterin provided examples with the Fibonacci sequence to make formal verification easy to understand. He demonstrated how the Lean programming language can automatically verify mathematical claims. Consequently, computer-checked proofs can be used to confirm software behavior, in addition to manual testing.
He also noted that AI verification could make a huge difference in the field of low-level software development. Meanwhile, mathematical proofs could be used to confirm that software is performing as expected. This means that developers can create quicker and more secure blockchain infrastructure for Ethereum systems.
Blockchain bugs are still a threat to cryptocurrency applications and smart contracts, Buterin said. Sometimes, a single software error can result in millions of dollars in losses. So, crypto developers are still looking for more effective security measures in blockchain ecosystems.
AI Tools Could Improve Future Software Development
However, Buterin thinks that AI can actually bolster cybersecurity rather than undermine it. There are some experts who are worried about the possibility that AI will find software bugs before developers do. Buterin believes that, in the future, the defenders may be able to use AI verification more effectively than the attackers.
He drew analogies between formal verification and software testing and type-checking systems as they are used today. Also, he added, these tools are used in combination to confirm developer intentions in several ways. Thus, developers can identify problems before software is used by blockchain users or decentralized apps.
Mozilla recently had a positive outlook on future cybersecurity enhancements. The company stated that software bugs are rare and are more easily identified today. Buterin is convinced that the developers can build far more secure systems with the help of advanced verification tools.
Buterin, however, acknowledged that formal verification isn’t the ultimate solution to all problems. Even when creating mathematical proofs or software rules, developers can overlook critical security conditions. Furthermore, there might be hidden vulnerabilities or technical weaknesses in hardware systems and external libraries.
He also cited instances where formally verified software had major implementation errors. In a few instances, developers were able to test just part of the software, and they neglected to test other parts of the software that were risky. As such, Buterin cautioned developers against using formal verification as a full security assurance.
Despite these limitations, Buterin believes formal verification remains highly valuable for blockchain development. In the future, AI tools could enhance Ethereum’s security, consensus mechanisms, and cryptographic infrastructure, he said. As blockchain technology becomes more popular across the globe, developers are still working on more secure software development practices.