컨트랙트 및 보안
LP 지원 대출 뒤의 계약 표면, 외부 종속성 및 검토 경계에 대한 보안 참조.
개요
Avana는 LP 담보를 담보로 대출하므로, 보안 검토는 계약이 올바르게 컴파일되거나 잔액을 정상적으로 이전하는지만을 다루어서는 안 됩니다. 또한 시장이 스트레스 상태일 때 가격 책정, 수탁, 청산 및 특권 통제가 어떻게 작동하는지도 포함해야 합니다.
계약 검토, 경제 검토, 그리고 운영 검토는 모두 LP 시장에 중요합니다. 이들은 서로를 강화하며, 세 개의 관련 없는 체크리스트가 아니라 하나의 보안 프로그램으로 취급되어야 합니다.
보안 과제
- • LP 가치는 경로에 따라 달라질 수 있으며 종종 DEX에 특정한 보관 및 청산 논리가 필요합니다.
- • 오라클 오용이나 오래된 가격 정보는 계약이 정확히 코드대로 실행되더라도 경제적 손실을 초래할 수 있습니다.
- • 거버넌스, 매개변수 제어, 비상 대응은 모두 공격 표면의 일부입니다.
다층 보안
컨트랙트 검토
새로운 LP 제품군이나 새로운 실행 경로가 활성화되기 전에 핵심 계약 표면, 어댑터 및 권한 있는 제어 경로를 검토해야 합니다.
경제적 스트레스 테스트
유닛 수준 계약 동작뿐만 아니라 시장 충격, 오라클 극한 상황, 청산 라우팅 실패를 테스트하세요.
외부 검토 채널
정식 감사와 버그 바운티 프로그램은 둘 다 활성 상태를 유지해야 합니다. 하나가 다른 하나를 대체하지 않습니다.
핵심 컨트랙트 표면
Borrow Spoke 로직
LP 담보 대출의 담보 수락, 사용자 회계, Spoke 측 수명주기를 처리합니다.
Hub 연동
Spoke 수준 차입 여력을 Hub 계층의 공유 신용·유동성 제약에 연결합니다.
오라클 및 평가 어댑터
외부 가격, 포지션 재구성 및 회수 가능 가치 가정을 사용하여 LP 포지션을 보수적인 담보 가치로 변환합니다.
청산 실행 레이어
좌표는 불량 계정을 종료하거나 크기를 조정해야 할 때 경로, 수수료 실현, 라우팅 및 정산을 조정합니다.
신뢰 경계
- • 온체인 회계 및 청산 정산은 한 번 트리거되면 결정론적이어야 합니다.
- • 오라클 소스, DEX 어댑터 및 운영 청산자 인프라는 외부 의존성이므로 그에 따라 모니터링해야 합니다.
- • 거버넌스, 일시정지 권한, 업그레이드는 가능한 한 제한되고, 검토 가능하며, 시간 잠금이 적용되어야 하는 특권 권한입니다.
감사 준비도
이 페이지는 추측성 감사 일정이나 임시 이정표를 게시하지 않습니다. 감사 보고서, 범위 및 수정 사항 노트는 실제로 존재하고 전체 검토가 가능할 때 게시해야 합니다.
고가치 감사 대상에는 일반적으로 새로운 LP 가족 지원, 새로운 청산 경로, 새로운 오라클 모델, 그리고 특권 제어나 회수 가능한 가치 가정을 확장하는 모든 변경 사항이 포함됩니다.