メインコンテンツにスキップ

コントラクトとセキュリティ

LPを担保とした貸付における契約表面、外部依存関係、およびレビュー境界のセキュリティ参照。

概要

AvanaはLPの担保を対象に貸付を行うため、セキュリティレビューは契約が正しくコンパイルされるか、または残高を正しく移転するかだけでなく、価格設定、保管、清算、および特権管理が市場がストレス下にあるときにどのように機能するかもカバーする必要があります。

契約のレビュー、経済的なレビュー、そして運用上のレビューはすべて、LP市場にとって重要です。これらは互いに補強し合い、三つの無関係なチェックリストとしてではなく、一つのセキュリティプログラムとして扱うべきです。

セキュリティ上の課題

  • • LPの価値は経路依存である可能性があり、しばしばDEX固有の保管および解消ロジックが必要です。
  • • オラクルの誤使用や古い価格情報は、契約が正確に実行されても経済的損失を生む可能性があります。
  • • ガバナンス、パラメータ制御、緊急対応はすべて攻撃対象面の一部です。

多層セキュリティ

コントラクトレビュー

新しいLPファミリーや新しい実行パスが有効になる前に、コア契約のサーフェス、アダプター、および特権制御経路を確認する必要があります。

経済ストレステスト

ユニットレベルの契約の挙動だけでなく、市場ショック、オラクルのエッジケース、清算ルーティングの失敗をテストしてください。

外部レビュー経路

正式な監査および バグバウンティ プログラムはどちらもアクティブなままであるべきです。一方が他方に取って代わることはありません。

コアコントラクト面

Borrow Spoke ロジック

LP 裏付けローンの担保受付、ユーザー会計、Spoke 側ライフサイクルを処理します。

Hub 連携

Spoke レベルの借入余力を、Hub 層の共有信用・流動性制約に接続します。

オラクルおよび評価アダプター

LPのポジションを、外部価格、ポジション再構築、および回収可能価値の仮定を使用して保守的な担保価値に変換する。

清算実行レイヤー

座標は、不健全なアカウントを閉鎖またはサイズ変更する必要がある場合に、パス、手数料の実現、ルーティング、および決済を調整します。

信頼境界

  • • オンチェーンの会計および清算決済は、一度トリガーされると決定論的であるべきです。
  • • Oracleソース、DEXアダプター、および運用リキデーターのインフラストラクチャは外部依存関係であり、そのように監視する必要があります。
  • • ガバナンス、停止権限、およびアップグレードは、可能な限り制限され、レビュー可能で、時間制限が設けられるべき特権的な権限です。

監査準備

このページでは、推測に基づく監査人のスケジュールや仮のマイルストーンは公開しません。監査報告書、範囲、および是正措置のメモは、実際に存在し、完全に確認できる場合に公開する必要があります。

高価値の監査対象には、通常、新しいLPファミリーサポート、新しい清算経路、新しいオラクルモデル、および特権的な管理や回収可能な価値の前提を拡大するあらゆる変更が含まれます。