CertiK受邀第十一届ISC2023互联网安全大会，发表以智能形式化验证为主题的演讲

据ISC官方报道，2023第十一届互联网安全大会（简称 ISC 2023）已在北京国家会议中心盛大开幕。包括CertiK联合创始人顾荣辉、全国工商联副主席汪鸿雁、ISC 大会主席兼360集团创始人周鸿祎在内的来自俄罗斯、美国、韩国等全球知名专家学者、数字安全典型企业代表均出席讲话，共同就「安全即服务，开启人工智能时代数字安全新范式」的大会主题，探讨面向新时代的安全服务理念，以此为数字经济发展筑牢安全屏障。

ISC作为全球安全行业发展趋势风向标，本届会议再次掀起Web3.0热潮，八大板块近百场活动，持续输出紧贴国家、经济、社会、企业的千余数字安全前瞻观点。本次大会由ISC互联网安全大会组委会、中国互联网协会等各大协会协办 ；中国计算机学会计算机安全专业委员会、中国人工智能学会人工智能与安全专业委员会承办，360 智脑、N 世界平台支持。

CertiK顾荣辉教授身兼香港Web3.0发展专责小组成员及新加坡官方国际技术咨询委员会委员，于大会开幕式上发表了以「用智能形式化验证核心软件安全」为主题的演讲，提供针对特定行业的深度分析，探讨数字安全领域的最新趋势和潜在挑战。

Web3.0的总锁定价值在2020年增长了23倍，随着2020年开始Web3.0的迅猛增长，攻击行为也随之增加。包括智能合约在内的新型创新，也引入了新的漏洞与攻击模式，由于Web3.0程序错误导致的财产损失不断增加。因此安全性对第三代互联网 (Web3.0) 至关重要。

2023年2月，CertiK审计团队在三星手机可信硬件执行环境上发现了6个高危漏洞。2023年6月，CertiK因成功发现并报告了SUI网络名为“仓鼠轮”的新型安全威胁而被SUI授予了50万美元奖励。不到两个月的时间内，CertiK再次于重要平台发现了可导致严重后果的安全漏洞——Worldcoin系统漏洞。

CertiK致力于将前沿学术成果转化为企业级产品，其专业团队持续不断地研究和探索新的安全技术，以此奠定其解决方案在行业的领先地位。

作为区块链安全领域先驱，CertiK正在利用最先进的形式化验证技术、安全智能审计技术以及安全专家人工审计，通过扫描及监控区块链协议和智能合约，保证项目的安全性。从而提供一个面向不仅是Web3.0领域的端到端安全解决方案，为所有Web3.0用户进行安全服务。