合約與安全
針對 LP 支持的貸款，合同表面、外部依賴項及審查範圍的安全參考。
概覽
Avana 以 LP 作為擔保借貸，因此安全性審查不僅需要涵蓋合約是否能編譯或正確轉移餘額。還必須涵蓋當市場處於壓力時，定價、托管、清算以及特權控制的行為表現。
合同審查、經濟審查和運營審查對於LP市場都很重要。它們彼此相互加強，應被視為一個安全計劃，而不是三個無關的檢查清單。
安全挑戰
- • LP 的價值可能依賴於路徑，並且通常需要 DEX 特定的保管和清算邏輯。
- • 即使合約按照程式碼精確執行，預言機濫用或過時的定價也可能造成經濟損失。
- • 治理、參數控制和應急響應都是攻擊面的一部分。
多層安全
合約審查
在啟用新的 LP 系列或新的執行路徑之前，應審查核心合約介面、適配器以及特權控制路徑。
經濟壓力測試
測試市場衝擊、預言機邊緣情況以及清算路由失效，而不僅僅是單位級合約行為。
外部審查管道
正式審計和 漏洞賞金 兩個程式都應保持運行。沒有一個能取代另一個。
核心合約面
Borrow Spoke 邏輯
處理 LP 背書貸款的擔保准入、使用者會計與 Spoke 側生命週期。
Hub 整合
將 Spoke 級借款能力連接到 Hub 層的共享信用與流動性約束。
預言機與估值適配器
使用外部價格、持倉重建及可回收價值假設，將 LP 持倉轉換為保守擔保品價值。
清算執行層
當不健康的帳戶必須關閉或調整規模時，協調路徑、費用實現、路由和結算。
信任邊界
- • 一旦觸發，鏈上的會計和清算結算應該是確定性的。
- • Oracle 資源、DEX 轉接器，以及運作清算系統架構都是外部依賴，應當以此方式進行監控。
- • 治理、中止權限及升級是具有特權的權力，應盡可能保持受限制、可審查且有時間鎖定。
稽核準備
本頁不會發布推測性的審計師排程或占位里程碑。審計報告、範圍以及補救註記應在實際存在且可以完整審閱時才發布。
高價值審計目標通常包括新的 LP 系列支持、新的清算途徑、新的預言機模型，以及任何擴大特權控制或可回收價值假設的變更。