On July 6th, the Global Digital Economy Conference Digital Security Summit and BCS 2023 Beijing Cyber Security Conference were grandly opened at the Beijing National Conference Center. The forum is one of the six summit forums of the 2023 Global Digital Economy Conference. The forum is organized by the Organizing Committee of the Global Digital Economy Conference and co-hosted by the Beijing Municipal Economic and Information Bureau, China Electronics Information Industry Group Co., Ltd., Qi An Xin Technology Group Co., Ltd., and BCS Beijing Cyber Security Conference. This is another upgrade for the cyber security section of the Global Digital Economy Conference.

CertiK co-founder and professor of computer science at Columbia University, Gu Ronghui, was invited to attend the forum and delivered a keynote speech titled "Web 3.0 Code Security: Intelligent Analysis and Audit Practice" at the opening ceremony. Starting from a discussion on the specific practices of intelligent analysis and audit, he addressed the cutting-edge issues of Web 3.0 security.

CertiK Professor Gu Ronghui delivers keynote speech

CertiK Professor Gu Ronghui delivering a speech

Professor Gu Ronghui believes that the development of Web 3.0 brings us new opportunities and challenges. In order to ensure the security of Web 3.0 applications and blockchain projects, the flexible use of intelligent analysis technology will be the next step in the advancement of security. It can also play its true value in the process of Web 3.0 security audit.

In his speech, he pointed out that smart contracts are a core component of Web 3.0 applications and one of the most vulnerable targets. Intelligent analysis technology can identify potential vulnerabilities and security risks through static and dynamic analysis of contract code. It can automatically detect security issues in contracts and provide detailed reports to help audit experts discover and fix vulnerabilities more efficiently.

Not only that, the intelligent analysis system can also monitor and analyze transactions in the blockchain network, identify abnormal and attack behaviors. It can detect and respond to various threats in real time, and trace and analyze the nodes and on-chain data in the network, helping to discover potential security risks.

Professor Gu Ronghui emphasized that as a pioneer in the field of blockchain security, CertiK is using state-of-the-art formal verification technology, security intelligent audit technology, and security expert manual audit to ensure the security of projects by scanning and monitoring blockchain protocols and smart contracts. At the beginning of this year, CertiK released the intelligent analysis platform Skynet for Community, which integrates security, due diligence, and data, and is aimed at Web 3.0 users, greatly improving trust and transparency in the Web 3.0 ecosystem.

Finally, Professor Gu Ronghui commented on the industry development and the future of CertiK. With the development of blockchain technology and the expansion of the Web 3.0 field, the security situation is becoming more severe. CertiK hopes to make more efforts to promote the development and innovation of the Web 3.0 ecosystem and to progress together with the industry by sharing CertiK's research results and experience in the Web 3.0 security field, and building a safer Web 3.0 ecosystem to promote the application and promotion of blockchain security technology.

About BCS 2023

BCS 2023 onsite

As a globally influential cybersecurity conference, the BCS conference has been successfully held for four sessions. More than 2,000 political figures, industry leaders, and cybersecurity experts from 30 countries including China, the United States, Russia, Japan, and Israel have attended and shared their insights. The first conference had more than 50,000 offline participants.

And this BCS 2023 has maintained its high standards, not only achieving high-level dialogue among government officials and cybersecurity experts from three continents and four countries in Asia, North America, and Africa for the first time, but also inviting several prominent political figures, industry experts, and business leaders to give keynote speeches. In addition to Professor Gu Ronghui, the guest list also includes UN Deputy Secretary-General Li Junhua, Chairman of the Egyptian Supreme Cybersecurity Council Executive Bureau Ahmed Abdul Hafez, Associate Dean of the School of Computing and Information Systems at Singapore Management University Zhu Feida, overseas government officials and security experts, as well as Chinese Academy of Engineering Academician Fang Binxing, member of the National Committee of the Chinese People's Political Consultative Conference, Vice Chairman of the All-China Federation of Industry and Commerce, and Chairman of Qihoo 360 Group Qi Xiangdong, and Huawei Director and President of Quality Process IT Tao Jingwen, among others.

As a pioneer in blockchain security, CertiK combines experienced security experts with security intelligence and automation technology to protect and monitor blockchain protocols and smart contracts. Committed to extending cutting-edge innovative technology from the academic world to the industry, enabling the construction of mission-critical software and applications in a sufficiently secure and correct environment.

According to previous media reports, Professor Gu Ronghui has been invited to join the Hong Kong Web 3.0 Development Task Force led by Hong Kong Financial Secretary Paul Chan Mo-po, and has also been invited to join the Singapore Official International Technology Advisory Committee, ranking as one of the 15 committee members.