从实时威胁检测到自动化审计，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 创始人顾荣辉的观点：“安全不是竞争优势，而是共同责任”。

CertiK 发布《Hack3d：2025 第一季度安全报告》，本季度共发生 197 起安全事件，总损失约为 16.7 亿美元，环比激增 303.4%。其中 Bybit 事件导致约 14.5 亿美元的损失，引发对中心化交易所安全性的广泛讨论。

Web3.0 世界的黄金时代，不该是黑客的狂欢节。

尽管 Bybit 事件中界面篡改的根本原因尚未确认，但设备入侵可能是关键因素。

2024 年，网络钓鱼安全事件激增，阅读本文，保护自身 Web3.0 资产安全。

本文深入调查 Rug Pull 案例，发现背后存在组织化的作案团伙，并总结了这些骗局的模式化特征。希望能够帮助所有 Web3 成员提升防范意识，在面对层出不穷的骗局时保持警惕，并及时采取必要的预防措施，保护好自己的资产安全。

区块链技术的应用早已超出了作为其起源的数字资产行业，各类组织正积极探索区块链在存储和管理多种类型数据方面的潜力与应用场景。但是，项目开发仍需警惕隐私法和数据保存

CertiK 发布《Hack3d：2024 年度安全报告》。2024 年 Web3.0 领域因安全事件导致的总损失超过 23.63 亿美元，同比增幅达 31.61%。全年共发生 760 起安全事件，其中网络钓鱼和私钥泄露是两大主要攻击手段，分别造成 10.5 亿美元和 8.55 亿美元的损失。

遵循这些实践，开发者可以降低智能合约的 Gas 费消耗，降低交易成本，并打造更高效且用户友好的应用程序。

sCrypt 是一种基于 TypeScript 的嵌入式领域特定语言（eDSL），专为在比特币链上编写智能合约而设计。本文将探讨 sCrypt 智能合约背后的概念，以及使用 sCrypt 编程的一些最佳实践和安全检查清单。

近年来，部分签名比特币交易（PSBT）在比特币生态系统中获得了显著关注。CertiK 致力于推动 PSBT 使用的安全性和完整性。本文将分享 CertiK 对 PSBT 的深入研究和洞察，包括其组件、在比特币 DeFi 中的应用以及不当使用可能带来的安全风险。

Tact 是专为 TON 链设计的一种全新编程语言，以高效与简洁为核心目标。本文将结合审计实践案例，分析 Tact 开发中的一些常见错误。

近期，CertiK 联合创始人顾荣辉与币安创始人 CZ 进行了一场炉边谈话，共同探讨市场转型背后的关键因素，包括技术进步、用户需求变化以及全球监管环境的演变。

2024 年 12 月 2 日，香港《明报》刊登了对 CertiK 联合创始人顾荣辉教授的独家专访。顾教授在采访中指出，随着传统行业越来越多地进入 Web3 领域，安全审计的需求也正急剧上升。

2024 年 11 月 25 日，香港《信报》刊登了对 CertiK 联合创始人顾荣辉教授的独家专访，分享他对香港和新加坡在 Web3.0 领域的政策和发展策略的深入分析。

本文将探讨 Clarity 智能合约背后的概念，以及使用 Clarity 编程的最佳实践和安全检查清单。

2024 年 10 月 21 日，CertiK 高级首席科学家 Vilhelm Sjöberg 博士受邀出席由以太坊基金会和 ZKProof 联合主办的“零知识证明（ZKP）形式化验证研讨会”并发表主题演讲，分享了 CertiK 在 zkWasm 形式化验证中的前沿研究成果。