Liquidation 安全
LIQ-01: 清算机制在极端行情下是否仍然有效?
描述:在快速下跌或剧烈波动行情中,如果清算逻辑执行效率不足、Gas 消耗过高、价格更新滞后或存在批量处理限制,可能导致抵押品价值迅速低于债务但系统未能及时清算,从而产生坏账并放大平台系统性风险。极端行情往往暴露清算路径的性能瓶颈与价格依赖问题。
建议:对极端市场条件进行压力测试与仿真分析,确保在高波动、高拥堵环境下清算机制仍可顺利执行,同时优化 Gas 结构与价格更新逻辑以提高鲁棒性。
LIQ-02: 抵押不足或违约时是否可以强制清算?
描述:若系统在抵押率低于阈值或贷款逾期时无法触发清算,或存在逻辑路径使某些头寸无法被清算,将直接威胁出借人资金安全。清算条件若存在计算错误或权限限制,也可能导致部分违约仓位长期存在。
建议:确保在抵押不足或贷款违约的任何情况下均可触发清算,并验证清算条件判断逻辑不存在绕过路径或边界异常。
LIQ-03: 是否存在自清算套利空间?
描述:若协议允许用户主动触发自身清算,且清算奖励结构设计不合理,用户可能通过构造仓位故意触发清算从中获利。这类“自清算套利”会削弱系统激励平衡,并可能形成经济漏洞。
建议:审计清算奖励机制与手续费结构,确保自清算无法产生正向套利收益,同时进行经济模型模拟验证激励设计合理性。
LIQ-04: 暂停转账或抵押操作时是否可能导致非预期清算?
描述:若协议在暂停存款、转账或抵押补充期间仍允许清算执行,用户可能因无法及时追加抵押而被强制清算。这种状态不一致可能在系统维护或紧急暂停期间造成用户损失。
建议:设计暂停逻辑时确保清算与抵押补充机制状态一致,或在暂停期间设置合理保护机制避免非预期清算。
LIQ-05: 清算暂停与恢复是否存在系统性风险?
描述:若协议允许暂停清算,在暂停期间坏账风险可能持续累积;恢复清算时可能出现集中爆发式清算,导致价格冲击或系统异常行为。暂停与恢复机制若缺乏明确规则,会增加偿付风险。
建议:制定清晰的暂停与恢复流程,明确触发条件与恢复策略,并评估暂停期间对系统偿付能力的影响。
LIQ-06: 是否存在通过抢跑防止清算的操控空间?
描述:用户可能通过前置交易(front-running)在清算交易前小幅增加抵押或调整仓位,从而阻止清算执行。这类行为可能被滥用为“清算骚扰”或“清算阻断”手段,影响清算效率。
建议:优化清算触发逻辑,避免因微小仓位变动即可阻止清算,必要时引入宽限区间或基于区块确认的判定机制。
LIQ-07: 不同规模仓位是否均具备合理清算激励?
描述:若小额仓位的清算奖励不足以覆盖 Gas 成本,清算人可能忽略这些仓位,导致长期存在低价值坏账。清算激励设计不平衡会影响系统效率与健康度。
建议:设计合理的清算奖励机制,确保不同规模仓位均具备经济可行性,同时评估 Gas 成本与奖励比例匹配程度。
LIQ-08: LTV 计算是否包含累计利息?
描述:若在 Loan-to-Value 计算中未计入已累计但未支付的利息,将低估真实债务规模,导致风险评估偏差。这可能使部分仓位在账面上健康,但实际上已处于风险边缘。
建议:在 LTV 与清算判定中包含累计利息与所有相关费用,确保风险评估准确反映真实债务情况。
LIQ-09: 清算与还款功能是否存在状态不一致问题?
描述:若协议允许单独暂停清算或还款,而未确保二者逻辑一致,可能出现用户无法还款但仍被清算,或无法清算但仍继续计息的异常状态,影响系统稳定性。
建议:统一管理清算与还款状态,确保二者在暂停或恢复时保持逻辑一致,避免出现功能错配。
LIQ-10: 清算奖励计算是否存在不一致或偏差?
描述:若清算奖励计算公式复杂或存在舍入误差,清算人可能获得低于预期的奖励,从而降低参与积极性。奖励计算不透明或不一致也可能影响市场信任。
建议:确保清算奖励计算机制明确、稳定且一致,并进行边界值测试验证在极端价格条件下的计算准确性。
LIQ-11: 是否存在用户无法正常还款的永久债务风险?
描述:在某些极端条件下,例如费用结构异常、价格剧烈波动或逻辑限制,用户可能处于无法完全偿还债务的状态,形成“永久负债”。该问题会影响用户体验并增加系统坏账风险。
建议:审查借贷逻辑与费用结构,确保不存在阻止用户偿还全部债务的条件,并为极端场景设计合理的债务清算或重置机制。
