The Potential of AI and Smart Contract Auditing | Ruby with supervisor To Ma

On February 19, 2024, Ethereum founder Vitalik Buterin posted the following on X:

“One application of AI that I’m excited about is using AI to formally verify code and find bugs. Right now, the biggest technical risk in Ethereum is probably bugs in the code, so anything that could be a game changer in that space would be great.”

From these remarks, it is clear that AI is attracting attention throughout the Web 3.0 industry. Especially in the field of smart contract audits, it is expected that AI will be used to improve audit efficiency.

KEKKAI is also currently actively conducting research in this field. AI can read code instantly, and compared to humans, it has a notable advantage in experience accumulation, comprehensiveness of situations, and its learning ability. With these characteristics, AI is expected to help users effectively reduce losses due to contract vulnerabilities.

According to data, cryptocurrency users lost approximately $2 billion in 2023 due to hacking and fraud. Ethereum, in particular, has been hit the hardest due to its extensive ecosystem and high-profile projects. Most of these losses are due to protocol vulnerabilities and improper code.

As AI technology continues to evolve, can AI, which also has excellent application capabilities in terms of data analysis and insights, surpass human auditors in the important task of ensuring the security of smart contracts?