近日，权威网络安全媒体 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 创始人顾荣辉的观点：“安全不是竞争优势，而是共同责任”。

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 开发中的一些常见错误。