首页 > 作者 > CertiK
  • 0   22
  • CertiK

Web3安全警示丨 链上打新局中局,大规模Rug Pull手法解密

近日,CertiK安全专家团队频繁检测到多起手法相同的“退出骗局”,也就是我们俗称的Rug Pull。在我们进行深入挖掘后发现,多起相同手法的事件都指向同一个团伙,最终关联到超过200个Token退出骗局。这预示着我们可能发现了一个大规模自动化的,通过“退出骗局”方式进行资产收割的黑客团队。在这些退

详解对Cosmos SDK标准模块的形式化验证

/ Web3完整软件栈先进形式化验证/CertiK最近发布了一份关于Cosmos SDK Bank模块的先进形式化验证报告,据我们所知,这是针对Cosmos SDK形式化验证的首次成功尝试。形式化验证是一项运用数学逻辑来确保系统符合规范,使其在所有可能的输入和条件下都如预期表现的技术。在本文中,我们

被盗1570万美元!DEUSFinanceDAO攻击事件分析

​北京时间2022年4月28日10:40:14 ,CertiK审计团队监测到DEUS Finance的合约被恶意攻击,造成了约1570万美元(折合人民币约1.03亿)的损失。攻击者恶意操纵DEI的价格

CertiK:简析 7 月至今区块链领域黑客攻击事件

勒索攻击是 7 月至今发生的黑客攻击事件的主要方式,黑客不需要了解区块链就可以发起攻击,而代码漏洞攻击需要理解智能合约等技术。原文标题:《安全分析:7 月至今数