Ethereum

2024

when

Ethereum co-founder Vitalik Buterin says artificial intelligence (AI) could be crucial to solving one of Ethereum’s “biggest technical” risks: bugs buried deep within its code.&nbsp;
In a Feb. 18 <a href="https://twitter.com/VitalikButerin/status/1759369749887332577" target="_blank" rel="noopener nofollow">post</a> on X, Buterin shared his excitement for AI-powered auditing to identify and fix buggy code in the Ethereum network, describing it as the “biggest technical risk” to the network.
<blockquote class="twitter-tweet">
 One application of AI that I am excited about is AI-assisted formal verification of code and bug finding. Right now ethereum's biggest technical risk probably is bugs in code, and anything that could significantly change the game on that would be amazing.— vitalik.eth (@VitalikButerin) <a href="https://twitter.com/VitalikButerin/status/1759369749887332577?ref_src=twsrc%5Etfw">February 19, 2024</a>
</blockquote> 
Buterin’s comments come as Ethereum closes in on implementing its long-awaited Dencun upgrade, which is&nbsp;<a href="https://cointelegraph.com/news/ethereum-dencun-upgrade-blobs-mainnet-on-march-13">currently slated for launch</a> on March 13. Dencun was implemented on the Goerli testnet on Jan. 17, but a bug in Prsym prevented the network from finalizing on the testnet for four hours. Upgrades to the Ethereum <a href="https://cointelegraph.com/news/key-elements-to-watch-on-ethereum-network-roadmap">network are crucial to the long-term roadmap</a> of the blockchain.
However, not everyone agrees that AI is a <a href="https://cointelegraph.com/news/ai-could-help-audit-smart-contracts-but-not-yet"></a><a href="https://cointelegraph.com/news/ai-could-help-audit-smart-contracts-but-not-yet">reliable tool to detect bugs</a> in Ethereum-based code. 
In July 2023, OpenZeppelin&nbsp;<a href="https://cointelegraph.com/news/ai-could-help-audit-smart-contracts-but-not-yet">conducted a series of experiments</a> that utilized OpenAI’s GPT-4 to identify security issues in Solidity smart contracts — the native language of Ethereum code. 
During these experiments, GPT-4 successfully identified vulnerabilities in 20 out of 28 challenges.
<figure data-ct-non-breakable="true">
 <img src="https://s3.cointelegraph.com/uploads/2024-02/94f97cee-439c-4228-a387-8316bd78976e.jpg" alt="" title="">
 <figcaption style="text-align: center;">
 ChatGPT analyzes a smart contract. Source: OpenZeppelin
 </figcaption>
</figure>
When GPT-4 failed to identify flaws, it could often be prompted to correct its mistakes quickly. However, at other times, OpenZeppelin found that the AI had actually invented a vulnerability that had never existed in the first place.
Similarly, Kang Li, the chief security officer at CertiK, told Cointelegraph that using AI-powered tools — such as ChatGPT — in coding <a href="https://cointelegraph.com/news/ai-smart-contracts-flawed-fail-under-attack-certik">often creates more security issues</a> than it solves. 
Overall, Li recommends that AI assistants <a href="https://cointelegraph.com/news/use-chat-gpt-like-a-pro">should be used only</a> as assistants to experienced coders, as they can be helpful in quickly explaining to developers what a line of code means.
<blockquote data-ct-non-breakable="true">
 “I think ChatGPT is a great helpful tool for people doing code analysis and reverse engineering. It’s definitely a good assistant, and it’ll improve our efficiency tremendously.”
</blockquote>
Related:&nbsp;<a href="https://cointelegraph.com/news/vitalik-buterin-cypherpunk-ethereum-dns">Making Vitalik Buterin’s cypherpunk dream for Ethereum a reality</a>
While Buterin is largely optimistic about the future of AI, he has previously warned developers <a href="https://cointelegraph.com/news/be-careful-ai-crypto-blockchain-vitalik-buterin-developers">to exercise caution</a> when implementing AI with blockchain technology, particularly when deploying it alongside “high-risk” applications, such as oracles. 
“It is important to be careful: if someone builds e.g. a prediction market or a stablecoin that uses an AI oracle, and it turns out that the oracle is attackable, that’s a huge amount of money that could disappear in an instant.”
Magazine: <a href="https://cointelegraph.com/magazine/crypto-inevitable-all-in-meet-vance-spencer/">‘Crypto is inevitable’ so we went ‘all in’ — Meet Vance Spencer, permabull</a>

Vitalik Buterin says AI could help solve Ethereum’s ‘biggest technical risk’

Cointelegraph

Otros artículos publicados el 19 feb 2024

Chainlink Price Prediction: Will LINK Smash The $30 Mark?

Taboo’s Futuristic Marketplace and Revised Roadmap Revolutionizes Global Crypto Adult Entertainment

Worldcoin Price Prediction: Sam Altman’s WLD Soars To New ATH On Sora AI Launch, But Experts Say ...

2 ACCESS KEYS FOR THE RAREST GOMINERS ARE WAITING

Can Ethereum Narrow the Gap as BTC/ETH Ratio Hits 2-Year Highs?

Blockchain Festival and Traders Fair 2024: Shaping the Future of Finance and Blockchain in Singapore

¡Únete a nuestro boletín gratuito para recibir actualizaciones diarias de criptografía!