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

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

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

CertiK 顾荣辉教授发表演讲

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

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

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

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

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

BCS 2023 现场

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

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

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

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

标签：ti Web Web3 web3.0 智能

如果本内容侵权或违规违法，你可以点击 这里 申请删除。