주요 내용으로 건너뛰기
Avana 로고

컨트랙트 및 보안

LP 지원 대출 뒤의 계약 표면, 외부 종속성 및 검토 경계에 대한 보안 참조.

개요

LP 지원 대출은 계약 회계를 포지션 보관, 오라클 가격 및 DEX 특정 청산 경로와 연결합니다. 따라서 보안 검토는 거래 실행뿐만 아니라 담보 가치 및 회수에 대한 시장 상황 변화의 영향도 포함합니다. 계약, 경제 및 운영 검토는 그 시스템의 다른 부분을 다룹니다. 유효한 계약 호출이라도 가격 입력이 오래되었거나 가정된 청산 경로가 실행될 수 없는 경우 잘못된 대출 결과를 초래할 수 있습니다.

보안 과제

  • • LP 가치는 경로에 따라 달라질 수 있으며 종종 DEX에 특정한 보관 및 청산 논리가 필요합니다.
  • • 오라클 오용이나 오래된 가격 정보는 계약이 정확히 코드대로 실행되더라도 경제적 손실을 초래할 수 있습니다.
  • • 거버넌스, 매개변수 제어, 비상 대응은 모두 공격 표면의 일부입니다.

다층 보안

컨트랙트 검토

새 LP 패밀리 또는 실행 경로에 대한 검토는 활성화 전에 영향을 받는 핵심 계약, DEX 어댑터 및 권한 있는 제어를 포함합니다.

경제적 스트레스 테스트

스트레스 테스트는 개별 계약 동작과 함께 시장 충격, 오라클 예외 상황, 청산 라우팅 실패를 검사합니다.

외부 검토 채널

정식 감사와 버그 바운티 프로그램은 보완적인 검토 채널을 제공합니다: 감시는 정의된 코드 범위를 평가하는 반면, 바운티 보고서는 추가로 악용 가능한 행동을 식별할 수 있습니다.

핵심 컨트랙트 표면

Borrow Spoke 로직

LP 담보 대출의 담보 수락, 사용자 회계, Spoke 측 수명주기를 처리합니다.

Hub 연동

Spoke 수준 차입 여력을 Hub 계층의 공유 신용·유동성 제약에 연결합니다.

오라클 및 평가 어댑터

외부 가격, 포지션 재구성 및 회수 가능 가치 가정을 사용하여 LP 포지션을 보수적인 담보 가치로 변환합니다.

청산 실행 레이어

좌표는 불량 계정을 종료하거나 크기를 조정해야 할 때 경로, 수수료 실현, 라우팅 및 정산을 조정합니다.

신뢰 경계

  • • 온체인 회계 및 결제는 부채, 금고 공급량, 담보가 일관되게 유지되도록 결정론적 상태 변화를 필요로 합니다.
  • • 가격 피드, DEX 어댑터 및 청산자 인프라는 평가나 회수에 영향을 미칠 수 있는 의존성을 도입합니다.
  • • 거버넌스, 일시 정지 권한, 업그레이드는 특권 제어입니다. 이들의 역할, 한계, 적용 가능한 타임록이 프로토콜 행동을 누가 변경할 수 있는지를 정의합니다.

감사 준비도

발행된 감사 보고서는 검토된 코드와 범위, 발견 사항, 문서화된 시정조치를 식별합니다. 배포 검토는 해당 보고서에 의존하며, 이 페이지는 감사 상태나 완료 날짜를 설정하지 않습니다. LP 지원, 청산 경로, 오라클 모델, 특권 역할 또는 복구 가정에 대한 변경은 담보가 승인되고, 평가되며, 정산되는 방식을 변경하므로 검토 범위에 영향을 미칩니다.