Expectations for AI technology

Vitalik Buterin, co-founder of the cryptocurrency Ethereum (ETH), said on the 19th that he hopes to be able to use artificial intelligence (AI) to verify code and find bugs. .

He states that Ethereum’s biggest technical risk is probably code bugs, and suggests that AI will be used in Ethereum’s development from now on. Please note that the content of this article was only posted on X, and does not refer to specific usage methods or schedules.

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) February 19, 2024

Mr. Buterin’s recent posts and blog posts on X suggest that he has a growing interest in AI. In a blog post late last month, he explored the possibilities and challenges of combining cryptocurrencies and AI technologies.

At that time, he gave examples of superficial synergies and said that the possibility of deeper synergies is starting to be seen, but he did not discuss how AI would be applied. However, Buterin warns that caution is still needed.

For example, “In cryptography, open source is the only way to make something truly secure, but in AI, making models (or even their training data) open greatly increases their vulnerability to adversarial machine learning attacks.” will increase,” he said.

connection: What is the beneficial intersection of virtual currency and AI (artificial intelligence)?Mr. Buterin explains four cases

Buterin cited code verification as one of the applications of AI that he is looking forward to.

connection: Aptos Assistant promotes Web3 development in collaboration with Microsoft’s generative AI service

Test the AI

The idea of ​​using AI to verify code and find bugs is not new, and has been discussed by many experts in addition to Buterin. On the other hand, there were also concerns that the verification work would be taken over by AI.

In June last year, blockchain technology company OpenZeppelin published the results of a test to see if GPT-4, a generative AI called ChatGPT, could discover vulnerabilities in smart contracts written in Ethereum’s Solidity language. There is.

At that time, AI could be used as a tool to find vulnerabilities, but it was not able to discover all vulnerabilities, so it was analyzed that it was not at the level of taking over human jobs. He pointed out that while AI can discover vulnerabilities that are very similar to issues found in the past, it is necessary to consider the speed at which blockchain is evolving.

connection: Binance Lab to develop decentralized stable coins, AI creation, etc.

The post Vitalik expects AI to “solve bugs that are Ethereum’s biggest technical risk” appeared first on Our Bitcoin News.