4月28日，在迪拜Unchained Summit峰会上，CertiK联合创始人顾荣辉发表演讲，强调合规是Web3迈向主流的基石。

近日，区块链媒体CCN刊登了CertiK首席安全官Wang Tielei博士的文章，深入剖析了AI在Web3.0安全体系中的双面性。

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

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

这不仅是加密史上最大盗窃案，也暴露了在行业高速发展中潜藏的风险。

继Radiant Capital与WazirX2的数千万美元损失后，Bybit成为了Web3.0史上最大规模盗窃的受害者。

在数字化浪潮的推动下，Web2.0与Web3.0的交汇已成为不可避免的趋势，但这并不是一个没有阻碍的平滑过程。因此，为了构建一个更加安全的数字生态系统，Web3.0首先需要重视并解决Web2.0遗留下来的薄弱环节。

零知识证明的形式化验证详解第三弹：如何证明零知识内存。

香港财经事务及库务局（财库局）和香港金融管理局（金管局）于17日联合发布了《咨询总结 - 在香港实施稳定币发行人监管制度的立法建议》。

从 5 月 12 日到 13 日，一共在链上发起了约 64 笔 Rug Pull（退出骗局），每几分钟就有一个。在这短短不到 24 小时里，共计损失金额 272 个 SOL，价值约 4.59 万美元。

Blast主网上线不到一个月，就发生了两起攻击事件，导致损失近亿美元。起因竟是曾经用过“朝鲜黑客”？CertiK 通过对事件时间线的还原对本次攻击进行了分析推断。详情可见本文。

近期CertiK监测到超过200个退出骗局，可能预示着一个大规模自动化+通过“退出骗局”方式进行资产收割的黑客团队。

2024年1月16日，Socket Tech遭到攻击，损失约330万美元，本文详解攻击事件始末。

北京时间2023年10月31日12:39:23，Unibot发生漏洞恶意利用，损失了64万美元的资产。让我们来了解一下此次事件的漏洞分析和攻击过程。

黑客利用整数除法问题漏洞掏空了对Hope.money上的资金借贷池进行了攻击。