보안 감사

Hacken은 2025년 말 Cosmic Signature 스마트 컨트랙트의 독립 보안 검토를 수행했습니다. 검토는 공개 저장소의 운영 컨트랙트를 대상으로 하여, 각 사이클을 운영하는 핵심 프로토콜부터 CST 토큰, 두 NFT 컬렉션, 앵커링 지갑, 그리고 이를 지원하는 지갑 및 시스템 관리 컨트랙트까지 아울렀습니다. Hacken은 2026년 1월에 최종 보고서를 공개했습니다.

보고서는 각 발견 사항을 심각도 및 상태와 함께 제시하며, 위의 요약이 그 수를 집계합니다. 치명 또는 높음 심각도 항목은 없으며, 대부분은 팀이 검토하고 수용한 설계상의 절충을 설명한 것입니다.

수동 검토와 함께 Hacken은 시스템 불변 조건을 대상으로 퍼즈 테스트를 실행했습니다. 불변 조건이란 예컨대 프로토콜이 보유한 ETH가 항상 적립된 금액에서 회수된 금액을 뺀 값과 같아야 한다는 성질입니다. 모든 불변 조건이 유지되었습니다.

컨트랙트 저장소에는 팀이 직접 실행하는 검사도 있습니다. 프로토콜 로직, ETH 보존, 접근 제어, 지갑 컨트랙트를 다루는 Certora Prover 명세, Solidity SMTChecker 설정, Slither 정적 분석, 자동화된 테스트 모음입니다.

이 검사들은 각자 명시한 성질만 증명하거나 시험합니다. 보안 감사와 마찬가지로 위험을 줄일 뿐 없애지는 못합니다. 자세한 내용은 위험 고지 페이지에 있습니다.

• Certora 명세Certora Prover가 검사하는 성질과 실행별 설정 (새 탭에서 열림)
• SMTChecker 설정Solidity 모델 검사기를 켜고 컨트랙트를 컴파일하는 스크립트 (새 탭에서 열림)
• Slither 분석정적 분석과 업그레이드 가능성 검사, 실행 방법 안내 (새 탭에서 열림)
• 테스트 모음컨트랙트 자동화 테스트 (새 탭에서 열림)

컨트랙트와 상호작용하기 전에 아래 항목을 직접 확인할 수 있습니다.

1. 컨트랙트 페이지에서 컨트랙트 주소를 찾아 주세요. 공식 주소 목록은 이곳 하나뿐입니다.
2. Arbiscan (새 탭에서 열림)에서 그 주소를 열어 Arbitrum One에 있고 소스 코드가 검증되었는지 확인해 주세요.
3. 그 소스를 공개 저장소 (새 탭에서 열림)와 비교하거나 Sourcify (새 탭에서 열림)에서 완전 일치를 확인해 주세요.
4. Hacken 보고서 (새 탭에서 열림)에서 각 발견 사항과 상태를 읽어 주세요.
5. 앱에 표시되는 내용이 온체인 컨트랙트의 동작과 일치하는지 확인해 주세요.