合约与安全
合同表面、外部依赖以及 LP 支持的借贷背后的审查边界的安全参考。
概述
Avana 以 LP 作为抵押借款，因此安全审查必须涵盖的不仅是合同是否能编译或是否能正确转移余额。它还必须涵盖当市场处于压力状态时，定价、保管、清算以及特权控制的表现。
合同审查、经济审查和运营审查对LP个市场都很重要。它们相互强化，应该被视为一个安全计划，而不是三个无关的清单。
安全挑战
- • LP 的值可能依赖路径，并且通常需要 DEX 特定的保管和解除逻辑。
- • 即使合同完全按照代码执行，预言机滥用或过时的定价也可能造成经济损失。
- • 治理、参数控制和应急响应都是攻击面的一部分。
多层安全
合约审查
在启用新的LP系列或新的执行路径之前，应审查核心合约接口、适配器和特权控制路径。
经济压力测试
测试市场冲击、预言机边缘情况和清算路由失败，而不仅仅是单元级合约行为。
外部审查渠道
正式审计和 漏洞赏金 两个程序都应该保持运行。一个不会取代另一个。
核心合约面
Borrow Spoke 逻辑
处理 LP 背书贷款的抵押准入、用户会计与 Spoke 侧生命周期。
Hub 集成
将 Spoke 级借款能力连接到 Hub 层的共享信用与流动性约束。
预言机和估值适配器
使用外部价格、头寸重建和可回收价值假设，将LP个头寸转换为保守的抵押价值。
清算执行层
当不健康的账户必须关闭或调整时，协调路径、费用实现、路由和结算。
信任边界
- • 一旦触发，上链会计和清算结算应当是确定性的。
- • Oracle 源、DEX 适配器和操作清算基础设施是外部依赖，应作为外部依赖进行监控。
- • 治理、暂停权限和升级是特权权力，应尽可能保持受限、可审查并设置时间锁。
审计准备
本页面不发布推测性的审计员时间表或占位里程碑。审计报告、范围和整改备注应在实际存在且可以完整查阅时发布。
高价值审计目标通常包括新的LP家庭支持、新的清算路径、新的预言机模型，以及任何扩展特权控制或可恢复价值假设的变更。