报告揭示了稳定币市场在快速扩张的同时，正面临着日益严峻的安全与合规挑战。

随着 Web3 应用的发展，稳定币成为中央银行与机构关注的重点方向，有望重塑全球支付与金融基础设施。形式化验证作为一种技术手段，能够有效帮助稳定币项目满足包括《GENIUS 法案》在内的监管要求，构建更可靠的合约体系。

7 月 18 日，Conflux 树图技术与生态发展大会在上海召开。CertiK 联合创始人兼首席执行官顾荣辉教授受邀出席，并在“全球视野”与“技术驱动变革”两大主题论坛中发言。

近日，CertiK 首席技术官李康博士受邀出席由香港金融管理局（HKMA）与数码港联合主办的 FiNETech 6 金融科技论坛，与来自银行、科技、监管等领域的 260 位专家，共同探讨金融科技生态下的网络韧性、数据治理与技术安全。

CertiK《Hack3d：2025 年第二季度及上半年 Web3.0 安全报告》现已发布，报告显示：仅 2025 年上半年，因安全事件导致的损失接近 25 亿美元；截至目前，总损失已超过去年全年水平。整体来看，Web3.0 安全形势依然严峻，且威胁手段仍在不断演化升级。

哥伦比亚大学教授、CertiK 联合创始人兼 CEO 顾荣辉受邀赴港，参与“全球虚拟资产展望”圆桌论坛，并在香港大学商学院发表主题演讲。

6 月 26 日至 27 日，伊斯坦布尔区块链周（IBW 2025）聚焦 AI 与 Web3 融合趋势。在其中两场圆桌论坛上，安全公司 CertiK 首席商务官 Jason Jiang 与多位专家，就 AI 技术在 DeFi 中的应用现状与安全挑战展开深入讨论。

6 月 24 日至 25 日，韩国 IXO™区块链大会在首尔 Textile Center 举行。作为韩国 Web3 领域最具影响力的盛会之一，IXO 大会吸引了众多企业家、机构和投资者参与。在 6 月 25 日的主论坛环节，安全公司 CertiK 的审计合伙人 Matt Wang，发表了题为《Elevate Security Journey On Emerging Tracks》的主题演讲，聚焦稳定币与托管服务在金融格局中的角色与风险防控。

2025 年 6 月 10 日至 11 日，全球最大的 Web3 安全公司 CertiK 作为白金赞助商，深度参与了 Proof of Talk 峰会。该峰会是 Web3 与 AI 领域的重要盛会，吸引了来自全球的区块链和 AI 行业领袖、创新者与投资人，共同探讨去中心化技术的未来。

论坛围绕「如何为 Web3 项目建立真实、可持续的信任」展开了深入讨论。

本次论坛从硬件与系统软件的底层视角出发，探讨了如何构建更安全、可扩展的 Web3 资产保护机制。

近日，权威网络安全媒体 CyberSecAsia 发布了对 CertiK 首席安全官 Wang Tielei 博士的专访，双方围绕企业在进军区块链领域时所面临的关键安全风险与防御策略展开深入探讨。

5 月 18 日，彭博社特邀 CertiK 联合创始人、哥伦比亚大学教授顾荣辉，对 Coinbase 遭遇数据泄露事件发表观点。

CertiK 的「先进形式化验证」技术是此次获奖的关键，相比传统方案，它实现了四大突破。

近日，区块链媒体 Decrypt 援引 CertiK 分析数据，发布了 4 月 Web3.0 安全态势相关报道。报道显示，当月 Web3.0 行业因黑客攻击和诈骗损失达 3.64 亿美元，其中 3.37 亿美元源于网络钓鱼攻击。

区块链技术已成为市值 2.95 万亿美元的全球金融基础设施，但安全挑战依然严峻。

从实时威胁检测到自动化审计，AI 可以通过提供强大的安全解决方案完善 Web3.0 生态系统。然而，它并非没有风险。

CertiK 亮相 2025 香港 Web3 嘉年华，联创邵中教授及 CTO Li Kang 博士受邀出席并发表主题演讲，与香港财政司司长陈茂波、以太坊联合创始人 Vitalik Buterin 等多位政府代表、业界领袖同台。

4 月 8 日，在 2025 年 Web3 学者峰会上，耶鲁大学计算机科学系主任、CertiK 联合创始人邵中教授首次公开 LiDO 模型及 LiDO-DAG 扩展框架。这一突破性成果通过三层细化验证框架（安全抽象层、活性保障层、DAG 扩展层），为复杂拜占庭容错（BFT）共识协议提供可机械化验证的安全性与活性证明，旨在提升 Web3 生态的可靠性和规模化发展。

近期，福布斯的报道中提及 CertiK 关于 2024 年加密行业安全事件的警示性数据，并援引 CertiK 创始人顾荣辉的观点：“安全不是竞争优势，而是共同责任”。