CVE-2026-4931Marginal v1智能合约存在严重的不安全类型转换漏洞。该漏洞主要源于合约在处理数值运算时执行了不安全的向下转型操作,未能正确校验数值范围。攻击者可利用此缺陷,通过精心构造的交易数据,以极低廉的资产成本成功清算巨额债务头寸。此问题严重破坏了协议的完整性和金融逻辑,不仅导致资金被恶意清算,还可能耗尽协议流动性,对依赖该合约的DeFi生态系统构成了直接且严重的资金安全威胁。
该漏洞的根本技术原因在于Marginal v1智能合约代码中存在不安全的数值向下转型逻辑。在Solidity开发环境中,将高位宽的整数类型(例如uint256)强制转换为低位宽类型(例如uint128)时,如果原始数值超出了目标类型的最大表示范围,编译器会直接截断高位数据,仅保留低位部分,从而导致数值发生不可预测的缩小。在Marginal v1的业务流程中,攻击者能够诱导或设置一个金额远超uint128上限的巨额债务头寸。当合约执行债务结算逻辑并尝试将该债务金额进行向下转换以计算所需支付金额时,巨大的数值被截断为一个微不足道的小数值。攻击者只需支付这个极小的金额,即可通过合约的校验逻辑,合法地清除巨额债务。这种利用方式完全绕过了正常的经济模型和风控机制,属于典型的整数截断类逻辑漏洞。