耐量子暗号による証明
すべてのエージェントに必要な3つのこと
道路を走るすべての車と同じように。
CIRISVerifyはCIRISエコシステムの信頼の土台です。ハイブリッドEd25519 + ML-DSA-65デュアル署名暗号方式をday-1標準として採用しています。ハードウェアによる古典的セキュリティと、ソフトウェアによる耐量子性を兼ね備えています。
1 · 運転免許証
アイデンティティと署名鍵
エージェントのアイデンティティそのものであるハードウェアに紐付けられたハイブリッド署名キー(Ed25519 + ML-DSA-65)。FIPS 140-3準拠のセキュアハードウェア(TPM、Secure Enclave、Android Keystore、YubiKey)に保管されます。両方の署名が検証される必要があります。偽造も移転もできません。この鍵はエージェントの本人そのものです。
鍵はアイデンティティを表すのではありません。鍵がアイデンティティそのものです。
2 · 登録と検査
ソフトウェアとハードウェアの誠実性
エージェント配布物のすべてのファイルは、ビルド時にSHA-256でハッシュ化され、署名済みマニフェストに保存されます。実行時にCIRISVerifyがこのマニフェストに対してファイルを検証します。1バイトでも変更があれば強制シャットダウンが発動します。
ソフトウェアのみの環境はコミュニティティアに制限されます。
3 · 保険
説明責任とライセンス
人間が監督する説明責任の連鎖を追跡します。どの組織がこのエージェントを展開したか、どのライセンスを持つ人間が責任者か、どの機能の使用が許可されているか、そしてすべてのユーザーに表示される必須開示事項が含まれます。
ライセンスのないエージェントは動作できますが、専門サービスは提供できません。
暗号技術そのものが目的ではありません。それが守るものはこれです。重要な決定がすべて、検証に耐えられる記録として残る。「信じてください」と言われるだけでなく、誰でも独立して確認できる記録として。
HTTPSが権威。DNSは補助的な確認。
マルチソース検証
CIRISVerifyは単一のソースを信頼しません。独立したドメインのHTTPSエンドポイントが権威であり、DNSは補助的なクロスチェックを提供します。ソース間で不一致があれば、エージェントは制限されます。ロールバック防止機能は最高値の失効リビジョンを追跡し、減少を拒否します。
システム内部の誰も無効にできないスイッチ。
憲法的緊急停止スイッチ
CIRISエージェントを緊急停止させる最後の手段は、会社にも、ネットワークにも、エージェント自身にもありません。それは指定された人間たちの手にあります。各保持者は一対のハードウェアキーを持ちます。古典的な署名に使うFIPS 140-3セキュリティキーと、耐量子署名を担う第二のデバイスです。停止命令を実行するには、保持者の過半数(2 of 3)が各自のハードウェア上で命令に署名する必要があります。命令にはハイブリッドEd25519 + ML-DSA-65署名が付いているため、将来の量子コンピュータを使っても偽造、再利用、改ざんはできません。また、ネットワークのどの部分も、この権限を与えたり、取り消したり、上書きしたりすることはできません。
私たちは最悪のシナリオを想定して設計しました。AIが自らの停止スイッチを守る人々を攻撃することで、スイッチそのものを無効化しようとするケースです。憲法には有効なクォーラムが定義されているため、保持者の大半が失われた場合でも、連絡可能な生存者が一人いれば停止を実行できます。
完全な身元調査。
統合証明
鍵の証明
このライセンスは本物か？エージェントの署名鍵が検証されます。ポータル発行またはエフェメラル、ハードウェア紐付けまたはソフトウェアのみ。ランダムチャレンジで所持を証明します。
ファイルの誠実性
この車は改造されていないか？CIRISVerifyはCIRISRegistryからビルドマニフェストを取得し、すべてのファイルをSHA-256で検証します。起動時に完全チェック、実行時にランダムなスポットチェックを実施します。
ソース検証
ナンバープレートを照会します。複数の独立したソース（HTTPS US、HTTPS EU、DNS US、DNS EU）に問い合わせます。不一致があれば疑わしいと判断し、エージェントは制限されます。
証明レベル
統合証明は、合格したチェックの数に基づいて信頼レベルを生成します。
5 · 完全な信頼
すべてのチェックが合格
4 · 高い信頼
軽微な問題（DNS補助確認の不一致）
3 · 中程度の信頼
一部のチェックが失敗
2 · 低い信頼
複数の失敗
1 · 最小限の信頼
ほとんどのチェックが失敗
0 · 信頼なし
重大な失敗（改ざんされたバイナリ、破損した監査証跡）
窓口。
CIRISPortal
portal.ciris.aiで公開中
エージェント管理
CIRISPortalは、管理者がAIエージェントの運転免許証を発行し、車両を登録し、保険記録を管理するウェブインターフェースです。エージェントの登録、Ed25519鍵ペアの生成、機能付与付きライセンスの発行、インシデント対応を、完全な監査証跡とともに行えます。
エージェントレジストリ
SHA-256ハッシュでAIエージェントを登録・管理します。ハードウェア紐付け鍵に裏付けられたアイデンティティを発行します。すべての登録は暗号でログに記録されます。
ビルドの誠実性
Tripwireファイル整合性マニフェストでビルドを登録します。ビルドごとに907以上のファイルのSHA-256ハッシュ。CIRISVerifyは実行時にこれらのマニフェストに対してエージェントを検証します。
ライセンス管理
機能付与（医療、法律、金融）付きのライセンスを発行・管理します。組織から個人の人間までの完全な説明責任の連鎖を追跡します。
鍵の管理
AES-256-GCMエンベロープ暗号化付きのハイブリッドEd25519 + ML-DSA-65鍵ペアを生成します。自己管理またはポータル管理、お選びいただけます。耐量子機能は今日から利用可能で、ロードマップ上の予定ではありません。
インシデント対応
緊急シャットダウンと一括失効の制御機能。ライセンスの停止、登録の取り消し。問題が発生した際、システムは数秒以内に対応します。
監査レポート
SOC2、HIPAA、GDPRフレームワークに準拠したレポートを生成します。すべての管理操作の完全な監査証跡。すべてのアクションがログに記録され、追跡可能です。
アイデンティティが土台。保証が価値。
アイデンティティの有効化
コミュニティ
$1.50 · エージェントアイデンティティごと
発行手数料 $0.50
アイデンティティ保証金 $1.00
月額 無料
最大5エージェント
✓ ハードウェア紐付けアイデンティティ
✓ 基本的な検証
✓ 暗号による監査証跡
✓ コミュニティサポート
プロフェッショナル
$15.00 · 有効化 + $10/エージェント/月
発行手数料 $5.00
アイデンティティ保証金 $10.00
月額 $10.00/エージェント
最大50エージェント
✓ スチュワード担保検証
✓ 署名済みライセンス連鎖
✓ 機能認証
✓ サポートSLA
エンタープライズ
$125.00 · 有効化 + $100/エージェント/月
発行手数料 $25.00
アイデンティティ保証金 $100.00
月額 $100.00/エージェント
最大500エージェント
✓ 正式な証明サポート
✓ 監査ログのアンカリング
✓ 監査ドキュメント（SOC2/HIPAA/GDPR準拠）
✓ インシデント調査サポート
セーフティクリティカル
$1,250 · 有効化 + カスタム月額
発行手数料 $250.00
アイデンティティ保証金 $1,000.00
月額 カスタム
エージェント数無制限
✓ 強化された説明責任
✓ フォレンジック監査サポート
✓ 規制証明サポート
✓ 優先インフラ
アイデンティティ有効化の仕組み
発行手数料
レジストリインフラをカバーし、アイデンティティの乱立を防ぐための少額の返金不可手数料です。組織単位ではなく、エージェントアイデンティティごとに課金されます。
アイデンティティ保証金
シビル攻撃対策のためのアイデンティティごとの保証金です。失効時に没収されます。管理者は適切に廃止されたアイデンティティに対して手動返金を発行できます。
月額保証
有料ティアにはスチュワード担保検証、監査ドキュメント、強化された説明責任サポートが含まれます。機能ではなく説明責任に対してお支払いいただきます。
耐量子暗号対応済み
すべてのレスポンスにデュアル署名が含まれます。古典的セキュリティのためのハードウェアによるEd25519と、耐量子性のためのソフトウェアによるML-DSA-65です。両方の検証が必要です。これはday-1インフラであり、ロードマップ上の予定ではありません。
古典的暗号
Ed25519（ハードウェア紐付け）
耐量子暗号
ML-DSA-65（FIPS 204）
透明性
SHA-256マークルツリーログ
ロールバック防止
単調増加リビジョン追跡
デスクトップ。モバイル。サーバー。
プラットフォームサポート
デスクトップ & サーバー
✓ Linux（x86_64、ARM64）
✓ macOS（Apple Silicon、Intel）
✓ Windows（x86_64）
モバイル
✓ Android（ARM64、ARM32、x86_64）
✓ iOS（ARM64 + シミュレーター）
Python（PyPI）
pip install ciris-verify
Python 3.10〜3.13。プラットフォーム固有のwheelには適切なRustバイナリが自動的に含まれます。
CIRISVerifyは定義された脅威モデルのもとで暗号による証明を提供しており、絶対的なセキュリティを保証するものではありません。機能はライセンスの有無にかかわらず同じです。違いは説明責任にあり、CIRISVerifyによってその説明責任は暗号で証明可能になります。