CertiK founder Gu Ronghui: AI and human collaboration are the future answer to protecting Web3 security

In a recent interview with CNBC Arabia, CertiK co-founder and Columbia University professor Ronghui Gu discussed topics such as formal verification, the application of artificial intelligence (AI) in blockchain security, and the risks brought by emerging technologies, and shared his deep insights on the future of Web3.0 security.

Gu Ronghui pointed out that formal verification is a technology that uses mathematical methods to prove that code behavior conforms to expected logic, and its rigor far exceeds traditional security audit methods. Although the implementation process is complicated and highly dependent on professional talents, the technology has irreplaceable advantages in security and controllability, and has been widely used in the ZK project and the systems of traditional financial institutions such as Ant Group.

When talking about AI technology, Gu Ronghui said that AI is gradually becoming a key force in improving blockchain security. It can be used to identify the source of funds and play a role in combating fraud projects. In CertiK's practice, the "human-machine collaboration" mechanism has significantly improved the efficiency of risk identification and built a more sustainable trust foundation for the Web3.0 industry.

In addition, Gu Ronghui emphasized that security is not only a competitive advantage, but also a shared responsibility. He pointed out that building a trustworthy decentralized system requires joint efforts from all parties to build a transparent and reliable digital ecosystem. CertiK promotes the orderly and compliant development of the industry by cooperating with regulators in various countries, and assists in policy formulation and implementation.

With the development of blockchain technology and the expansion of the Web3.0 field, the security situation has become increasingly severe. CertiK hopes to make more efforts to promote the development and innovation of the Web3.0 ecosystem by sharing its research results and experience in the field of Web3.0 security, making progress together with the industry, creating a more secure Web3.0 ecosystem, and promoting the application and promotion of blockchain security technology.