審計

2025年末，Hacken 對 Cosmic Signature 智能合約進行了獨立安全審查。審查範圍覆蓋公開儲存庫中的全部生產合約：驅動每個週期的核心協議、CST 代幣、兩個 NFT 系列、錨定錢包，以及配套的錢包與系統管理合約。最終報告於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. 確認應用程式顯示的內容與合約在鏈上的行為一致。