Vitalik Buterin, co-founder of Ethereum, discusses how artificial intelligence (AI) could be used to find and address problems in the Ethereum software. Ethereum’s founder, Vitalik Buterin, stated in a recent tweet that “right now, the biggest technical risk” is the potential for faults in the Solidity programming language, which powers Ethereum smart contracts.
It is more important than ever to guarantee the dependability and security of Ethereum’s code with the big Dencun updates set to debut on March 13. Dencun seeks to enhance Ethereum’s scalability and get it ready for even more sophisticated uses.
Buterin thinks formal code verification with AI support might greatly increase the rate at which bugs and other problems are found. He said that it “would be amazing” if AI auditing solutions advanced.
This affirmation of faith was given soon after ChatGPT, an AI code assistant, came under fire for frequently creating weak smart contracts. Using OpenAI’s GPT-4 model, a set of studies by OpenZeppelin in July 2023 effectively identified problems in 20 out of 28 situations including Ethereum test code.
Buterin has alerted developers to the dangers of relying too much on AI, particularly for crucial on-chain operations. He suggests exercising extra caution when utilizing AI to run stablecoins, forecast markets, power oracles, and other systems that handle significant amounts of wealth.
“One should exercise caution: in the event that an AI oracle-powered prediction market or stablecoin is developed and it turns out to be vulnerable to attacks, a substantial sum of money could vanish in an instant,” Buterin said.
More From Crypto SA
