SHL, Shelling

，协议需要动态安全监控和攻击阻断的全生命周期防护 —— 这是5月22日Cetus协议遭受2.23亿美元攻击后最重要的行业警示。 技术分析显示，漏洞源于inter-mate库的checked_shlw函数检查错误，导致攻击者仅用一个代币就能获得巨额流动性。尽管协议及其依赖的代码库历经多轮审计，仍未能发现该致命问题。 BlockSec创始人周亚金教授指出，传统的静态代码审计已经远远不够。项目上线前，应进行全面的安全审计，从代码层面深入到项目的经济模型与业务逻辑；项目上线后，更需持续部署如 BlockSec Phalcon 等专业的风险监控系统，实现对攻击、经济、运营、交互等多维风险的实时检测和自动响应。

慢雾发布 Cetus 被盗 2.3 亿美元事件分析，其中指出：此次事件的核心是攻击者通过精心构造参数，使溢出发生但又能绕过检测，最终用极小的 Token 金额即可换取巨额流动性资产，核心原因在于 get_delta_a 函数中的 checked_shlw 存在溢出检测绕过漏洞。攻击者正是利用了这一点，使得系统在计算实际需要添加多少 haSUI 时出现了严重偏差。由于溢出未被检测，系统误判了所需 haSUI 的数量，导致攻击者仅需极少的 Token，就能兑换出大量的流动性资产，从而实现了攻击。 本次攻击展示了数学溢出漏洞的威力。攻击者通过精确计算选择特定参数，利用 checked_shlw 函数的缺陷，以 1 个代币的成本获得价值数十亿的流动性。这是一次极其精密的数学攻击，建议开发人员在智能合约开发中严格验证所有数学函数的边界条件。