论智能分析在Web3.0安全审计中的实践：CertiK顾荣辉教授于BCS2023论坛发表主题演讲

7月6日，全球数字经济大会数字安全高峰论坛暨BCS2023北京网络安全大会于北京国家会议中心盛大开幕。该论坛是2023全球数字经济大会六大高峰论坛之一。论坛由全球数字经济大会组委会主办，北京市经济和信息化局、中国电子信息产业集团有限公司、奇安信科技集团股份有限公司、BCS北京网络安全大会等机构承办。这是全球数字经济大会网络安全板块的再度升级。

CertiK联合创始人、哥伦比亚大学计算机科学系教授顾荣辉应邀出席了本次论坛，并在大会开幕式上发表了「Web3.0代码安全：智能分析与审计实践」的主题演讲，从智能分析与审计实践的具体讨论入手，回应Web3.0安全领域普遍关注的前沿性问题。

CertiK顾荣辉教授发表演讲

顾荣辉教授认为，Web3.0的发展为我们带来了全新的机遇和挑战，为了保障Web3.0应用和区块链项目的安全性，灵活运用智能分析技术将是安全领域前行的下一步，其也可在Web3.0安全审计过程中发挥其真正的价值。

他于演讲中指出，智能合约是Web3.0应用的核心组成部分，也是最容易受到攻击的目标之一。智能分析技术可以通过对合约代码的静态和动态分析，识别潜在的漏洞和安全风险。且可自动化地检测合约中的安全问题，并提供详细的报告，帮助审计专家更高效地发现和修复漏洞。

不仅如此，智能分析系统还可对区块链网络中的交易进行监测和分析，识别异常行为和攻击行为。能够在实时检测并应对各种威胁的同时，对网络中的节点和链上数据进行溯源和分析，帮助发现潜在的安全风险。

顾荣辉教授强调，CertiK作为区块链安全领域先驱，正在利用最先进的形式化验证技术、安全智能审计技术以及安全专家人工审计，通过扫描及监控区块链协议和智能合约，保证项目的安全性。CertiK在今年年初发布了集安全、尽职调查和数据于一体的智能分析平台Skynet for Community，该平台面向Web3.0用户，能大幅度提高Web3.0生态系统中的信任度和透明度。

最后，顾荣辉教授就行业发展和CertiK的未来进行了评论。随着区块链技术的发展以及Web3.0领域的扩张，安全形势愈发严峻。CertiK希望可以通过分享CertiK在Web3.0安全领域的研究成果和经验，为推动Web3.0生态系统的发展和创新做出更多努力，与行业共同进步，打造更加安全的Web3.0生态系统，促进区块链安全技术的应用和推广。

BCS2023现场

作为具有全球影响力的网络安全大会，BCS大会已成功举办四届，先后有来自中、美、俄、日、以等全球30国，超2000位政要、行业领袖、网络安全专家出席并进行精彩分享，首届大会线下参会观众超5万人次。

而此次BCS2023维系了一贯的高水准，不仅首次实现亚洲、北美、非洲三洲四国高级别政府官员和网络安全专家对话，更邀请了若干知名政要、行业专家和企业领袖进行主题发言，嘉宾名单除顾荣辉教授外，还包括联合国副秘书长李军华，埃及最高网络安全委员会执行局主席艾哈迈德·阿卜杜勒·哈菲兹，新加坡管理大学计算与信息系统学院副院长朱飞达等海外政府官员和安全专家，以及中国工程院院士方滨兴，全国政协委员、全国工商联副主席、奇安信集团董事长齐向东，华为董事、质量流程IT总裁陶景文等。

作为区块链安全领域的先驱，CertiK由经验丰富的安全专家结合安全智能和自动化技术来保护和监控区块链协议和智能合约。致力于通过将学术界尖端创新技术延伸至业界，使得企业任务关键型软件及应用能够在足够安全和正确的环境下构建。

据此前媒体报道，顾荣辉教授已受邀加入由香港财长陈茂波领导的香港Web3.0发展专责小组，同时也受邀加盟新加坡官方国际技术咨询委员会，位列15位委员之一。