監査

2025年後半、Hackenは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. アプリの表示が、オンチェーンのコントラクトの動作と一致していることを確認します。