2025年4月6日至9日,为期四天的香港Web3嘉年华吸引了来自全球的数百家Web3企业、研究机构与开发者代表。而在这场高密度的技术与资本聚合盛会中,CertiK以其多层次的参与与深度技术展示,成为最受瞩目的行业领军者之一。
在展区,来自全球的开发者、公链项目方与机构用户频繁驻足,不仅了解最新安全研究成果,也就项目需求与CertiK团队进行深入交流。
而在演讲环节,CertiK将关注点分别投向不同领域:
CertiK首席科技官Li Kang博士基于CertiK近期的安全发现数据,深入剖析了中心化保存(CoLocation)及盲签(Blind Signing)这两类常见的风险模式,并提醒行业应该关注安全运营。强调安全需要多重的纵深防御,持续的风险评测,和与资产规模相匹配的安全投入。
耶鲁大学计算机科学系教授、CertiK联合创始人邵中在Web3学术峰会中首次发布LiDO模型,为共识协议提供可机械化验证的安全性与活性证明,奠定了区块链协议安全的新理论基石。
CertiK的这种“多触点”式参与方式,不仅为技术传播创造了良好环境,也推动了合作机会的具体落地。不论是持续推进的形式化验证研究,还是基于风险数据库的Skynet安全评分平台,CertiK所展现的不仅是技术实力,更是引领行业标准演进的能力。
在Web3飞速演进的今天,安全问题正成为各类创新项目的共识底座。而CertiK所做的,正是用研究、工具与实践,构建起这块底座的钢筋骨架。
免责声明：市场有风险，选择需谨慎！此文仅供参考，不作买卖依据。
