合约与安全
合同表面、外部依赖以及 LP 支持的借贷背后的审查边界的安全参考。
概述
以LP为支持的借贷将合约会计与头寸托管、预言机价格以及DEX特定的清算路径连接起来。因此,安全审查涵盖了交易执行以及市场条件变化对抵押品价值和回收的影响。 合同、经济和操作审查涉及该系统的不同部分。如果价格输入过时或假定的清算路径无法执行,合法的合约调用仍可能产生错误的借贷结果。
安全挑战
- • LP 的值可能依赖路径,并且通常需要 DEX 特定的保管和解除逻辑。
- • 即使合同完全按照代码执行,预言机滥用或过时的定价也可能造成经济损失。
- • 治理、参数控制和应急响应都是攻击面的一部分。
多层安全
合约审查
对新的LP系列或执行路径的审查涵盖受影响的核心合约、DEX适配器和特权控制,然后再启用。
经济压力测试
压力测试检查市场冲击、预言机边缘情况以及清算路由失败,同时关注单个合约的行为。
外部审查渠道
正式审计和 漏洞赏金 程序提供互补的审查渠道:审计评估定义的代码范围,而漏洞赏金报告可以识别额外的可利用行为。
核心合约面
Borrow Spoke 逻辑
处理 LP 背书贷款的抵押准入、用户会计与 Spoke 侧生命周期。
Hub 集成
将 Spoke 级借款能力连接到 Hub 层的共享信用与流动性约束。
预言机和估值适配器
使用外部价格、头寸重建和可回收价值假设,将LP个头寸转换为保守的抵押价值。
清算执行层
当不健康的账户必须关闭或调整时,协调路径、费用实现、路由和结算。
信任边界
- • 链上会计和结算需要确定性的状态变化,以便债务、金库供应和支撑抵押品保持一致。
- • 价格馈送、DEX适配器和清算基础设施引入了依赖关系,其失败可能影响估值或回收。
- • 治理、暂停权限和升级是特权控制。它们的角色、限制和适用的时间锁决定了谁可以改变协议行为。
审计准备
已发布的审计报告会列出审查的代码和范围、发现的问题以及记录的整改措施。部署审查依赖这些报告;本页面不确定审计状态或完成日期。 对LP支持、清算路径、预言机模型、特权角色或恢复假设的更改会影响审查范围,因为它们会改变抵押品的准入、估值或结算方式。
