Recently, Gu Ronghui, co-founder of CertiK and professor at Columbia University, was interviewed by the globally renowned financial media CNBC Arabic Channel. He shared his profound insights on the future of Web3 security, focusing on the industry applications of formal verification, the role of AI in blockchain security, and the risks of emerging technologies.

Gu Ronghui stated that formal verification is key to building a secure foundation for blockchain, as it uses mathematical methods to verify whether code behavior aligns with expected logic. This approach is more rigorous and challenging than traditional auditing tools. He has repeatedly emphasized that the essence of blockchain is not just technological innovation but the reconstruction of trust, and truly trustworthy systems must be verifiable.

Formal Verification: Building the Security Foundation of Blockchain

As a high-threshold, high-intensity auditing method, formal verification requires deep technical accumulation and an understanding of underlying logic. In the interview, Gu Ronghui pointed out that although this method is complex, it has irreplaceable advantages in ensuring the security and controllability of blockchain.

His connection to formal verification can be traced back to his academic years. In 2016, he collaborated with Professor Shao Zhong from Yale University to successfully develop the world's first fully formally verified multi-core operating system kernel, CertiKOS, which was praised by Google as unbreakable. This achievement not only validated the application of this technology in the real world but also laid the foundation for its entry into industry practice.

Subsequently, Gu Ronghui founded CertiK in 2017, bringing formal verification into the blockchain space. Today, this technology is widely used in several leading projects that focus on privacy and security, such as ZK, as well as major financial institutions like Ant Group. Gu Ronghui mentioned in the interview that to enhance the efficiency of formal verification, CertiK has internally developed auxiliary tools such as AI intelligent analysis, which automatically identifies code features and generates logical evidence.

While promoting the implementation of academic achievements, Gu Ronghui has also been closely monitoring the new threats facing the industry. Regarding concerns that "supercomputers or quantum computing may threaten blockchain security," he admitted that these technologies pose potential risks, but at this stage, they do not constitute a substantial threat. "The capabilities of supercomputers are still insufficient to break existing blockchain systems," Gu Ronghui believes, "more importantly, the industry is actively building quantum-resistant algorithms and defense mechanisms, and having relevant solutions is possible."

AI Applications: Reshaping the Security Landscape of Web3

Gu Ronghui particularly emphasized in the interview that AI is reshaping the security landscape of blockchain, especially in smart contract auditing and on-chain threat identification, where it has shown tremendous potential. "When applied correctly, AI can bring substantial improvements to the blockchain security system."

He further stated that CertiK's research shows that malicious behavior techniques in Web3 projects are becoming increasingly complex, with some phishing projects capable of tracking users for extended periods and executing precise scams. However, with the rapid identification capabilities of AI models, such attacks can now often be recognized and addressed within hours.

Currently, CertiK has widely applied AI in vulnerability mining and auditing processes. By analyzing on-chain warning data, it assists in identifying the causes of vulnerabilities and attack paths; at the same time, it uses AI technology for scanning known vulnerability patterns, code logic analysis, and report generation, creating an intelligent auditing system centered on "human-machine collaboration" to provide reliable mathematical support and efficiency enhancement for human auditing teams.

However, as AI applications become more widespread, attackers can also leverage it to enhance their attack methods. Gu Ronghui believes this means that the threshold for security countermeasures has been raised, and the industry needs more robust security solutions.

Technical Vision: Expanding the Trust Boundaries of Web3

Gu Ronghui has always believed that the next stage of Web3 development will transition from "usable" to "trustworthy." Efficiency and innovation are not the end goals; responsibility and trust are the core values of technological evolution. Only by embedding verifiable security mechanisms can blockchain truly become a trustworthy global financial infrastructure.

This is precisely the mission that CertiK has adhered to since its inception—centering on formal verification to create a comprehensive security product system covering investment incubation, security auditing, compliance consulting, and more, providing verifiable security for projects and setting higher security standards for the industry.

For Gu Ronghui, this is not only a corporate strategy but also a life choice. From studying at Yale to teaching at Columbia, from academic research to entrepreneurial practice, he has always focused on transforming formal verification from theory into a practical cornerstone, driving industry trust through technology.

As a professor at Columbia and CEO of CertiK, Gu Ronghui spans both academic and commercial fields, yet his goal has always been focused on safeguarding Web3 security. He has mentioned that his teaching philosophy is rooted in integrating real-world insights into academic discussions, aiming to build a foundation of cognition and capability for the new generation in the field of cybersecurity.

"Ensuring the security of Web3 is not only a technical challenge but also a social responsibility," Gu Ronghui has repeatedly stated. "Our goal is to make this industry safer and more trustworthy."

免责声明：本文章仅代表作者个人观点，不代表本平台的立场和观点。本文章仅供信息分享，不构成对任何人的任何投资建议。用户与作者之间的任何争议，与本平台无关。如网页中刊载的文章或图片涉及侵权，请提供相关的权利证明和身份证明发送邮件到support@aicoin.com，本平台相关工作人员将会进行核查。