AI主権とAIアシュアランス——「AIを制御する」市場の先で、何を検証すべきか
更新日：10月1日
2026年9月29日、Forbes JAPANは「AIインフラの『主権』を企業に取り戻す起業家」と題する記事を掲載した。
記事が取り上げたのは、英国のVeldrisと、そのAI・データ基盤「Midgard」である。
Forbesがこの記事で示した論点は明快だ。AI競争がモデル性能や計算資源だけの競争ではなくなり、企業が自社のAIをどこまで検査し、移行し、制御できるのかそのものが新しい市場になり始めている。
記事中の表現を借りれば、**「制御そのものが製品になり得る」**という変化である。
Forbes JAPAN
この動きが重要なのは、Veldrisという一社が登場したからだけではない。
AIの価値を測る軸が、「どれだけ賢いモデルか」から、誰が制御できるのか、何を根拠に動いたのか、その判断を検証できるのかへ広がり始めていることを示しているからだ。
1. AI Sovereigntyは「AIを誰が支配するか」を技術問題に変える
Veldrisは、自社のMidgardを「sovereign AI and data operating environment」と位置づけている。
同社の公開情報では、データ、モデル、暗号鍵、インフラを利用組織自身が制御し、外部への通信を必要とせず、エアギャップ環境でも運用できることを重視している。また、モデルやデータの来歴、監査可能性、再現可能なビルドなどを含め、「ベンダーを信頼する」のではなく利用者自身が確認できる構造を掲げている。
Veldris
これはAIガバナンスにとって重要な変化である。
クラウド上のAIサービスを利用できることと、そのAIを企業自身が制御できることは同じではない。AIが企業の基幹業務、行政、医療、金融、防衛、製造などへ深く入るほど、「誰がモデルを支配しているのか」「データはどこへ行くのか」「外部サービスが停止しても動かせるのか」は、単なるIT調達ではなく経営上の問題になる。
Forbesの記事が捉えているのは、このAI Sovereigntyの商業化だと考えられる。
2. Veldrisは、すでに「Evidence」と「Decision」に踏み込んでいる
ただし、Veldrisを単純に「主権型AIインフラの会社」とだけ捉えるのは正確ではない。
同社の「Forseti」は、明確にAssuranceを掲げている。
Forsetiでは、AIやシステムの出力について、入力、変換処理、モデル、鍵などへ遡れる署名付きprovenanceを持たせ、使用したアルゴリズムを明示し、監査履歴を第三者が独立して確認できるEvidence Packとして出力するとしている。
Veldris自身が掲げる言葉は、**“Evidence, not attestation”**である。
Veldris / Forseti
さらに「Gungnir」は、意思決定を実行する前に、その決定が現在の状態に対してどのような影響を及ぼすかを投影する。何を知っていたか、何を予測したか、いつ予測したかを記録し、実行後には実際に起きたことと比較できる設計になっている。
一方で、Gungnir自身は推奨を出すのではなく、公開仕様では最終判断をoperatorに残すことを明示している。
Veldris / Gungnir
ここは非常に重要である。
AI Sovereigntyの議論が、すでにprovenance、evidence、assurance、decision-before-executionへ拡張し始めている。
つまり、「AIを所有・制御できること」だけでなく、AIやシステムが何を根拠に動いたのかを、第三者が検証できること自体が製品価値になり始めている。
3. 違いは「Assuranceをやっているか」ではなく、「何を保証対象にするか」
ここで重要なのは、GhostDrift数理研究所とVeldrisを「VeldrisはAI Sovereignty、GhostDriftはAI Assurance」と単純に分けないことである。
VeldrisもForsetiを通じて明確にAssuranceへ踏み込んでいる。
また、以下の比較は両社の事業・技術全体を比較するものでもない。本稿の主題と直接重なる Sovereignty、Evidence、Decision、Adoption、Execution の接点だけを切り出したものである。
GhostDriftの研究・技術領域はこれらに限られず、責任情報の保持・流通、形式検証、評価、プライバシー、サイバー、組織・システム間の相互運用、業務成果の検証などにも広がっている。
その前提で両社の接点を見ると、違いは「Assuranceをやっているかどうか」ではなく、何を検証し、どこまでを保証対象としているかにある。
Sovereignty
問われること：データ・モデル・鍵・計算基盤を誰が制御するか
Veldris：Midgardを中心とする中核領域
GhostDrift：AIやシステムの判断を検証可能に扱うための重要な前提の一つ。ただし研究対象はSovereigntyそのものに限定されない
Provenance / Evidence
問われること：出力がどの入力、処理、モデル、状態などを根拠として生成されたのかを第三者が確認できるか
Veldris：Forsetiの中心的な領域
GhostDrift：ADIC、責任OS、保証証拠の検証などを含む研究領域の一部。証拠を残すだけでなく、その証拠が後続の判断に適用可能かまで扱う
Decision Projection / Decision Verification
問われること：実行前に判断の影響を把握できるか。また、その判断を支える状態・条件・前提を検証できるか
Veldris：GungnirがDecision Projectionを扱う
GhostDrift：状態、遷移、前提条件、候補状態、証拠、評価範囲などを含め、判断そのものを検証可能な構造として扱う
Adoption Assurance
問われること：得られた証拠、状態、権限、業務条件等に基づき、その判断や出力を正式な業務判断として採用してよいか
Veldris：少なくとも本稿で確認した公開資料では、主要な訴求点としては前面に出ていない
GhostDrift：本稿との接点で特に重要な研究領域の一つ。AI出力だけでなく、人・システム・外部情報を含む判断情報の採用条件を検証対象とする
Execution Assurance
問われること：必要条件を満たした場合だけ操作を許可し、実行後の結果まで確認した上で次工程へ進めるか
Veldris：少なくとも本稿で確認した公開資料では、業務上の実行許可から結果確認までを一体として扱うことは主要な訴求点ではない
GhostDrift：実行ゲート、状態遷移、停止条件、結果確認などを含め、判断を現実の操作へ安全に接続する領域を研究している
GhostDriftがこの比較の中で特に重視している問いは、
「この出力がどこから来たか」
だけではない。
さらに、
「この証拠は、この判断に使えるのか」「この状態と条件なら、その判断を採用してよいのか」「この操作を実行してよいのか」「実行結果を、次の判断の前提として使ってよいのか」
までを検証可能にすることである。
ただし、これもGhostDriftの技術領域全体を定義するものではない。
GhostDriftが扱っているのは、EvidenceからPermission、Executionへ進む一本の直線だけではなく、AIや情報システムの判断を、証拠、責任、評価、プライバシー、サイバー、業務条件、実行結果など複数の側面から検証可能にし、現実の社会・業務へ接続するためのAssurance Infrastructure全体である。
本稿では、その広い技術体系のうち、Veldrisとの接点が最も見えやすい部分を取り出して比較している。
4. 「追跡できる」から「実行してよい」へ
例えば、AIが医薬品の輸送について「この貨物は次工程へ進めてよい」と判断したとする。
判断に使用したモデルが分かる。入力データも追跡できる。処理履歴も署名されている。
これらは重要である。
しかし、現場ではさらに別の確認が必要になる。
温度記録は必要な時間範囲を満たしているか。欠測は許容範囲なのか。必要な証拠がすべて存在するか。承認権限を持つ主体が確認しているか。判断対象と実際の実行対象は一致しているか。判断後に状態が変化していないか。一つでも必要条件を確認できなければ、処理を止めるべきではないか。
GhostDriftとオンザリンクスが2026年7月に公表した医薬品2～8℃コールドチェーンのPoCでは、AIモデルそのものの性能評価ではなく、AI等が生成した業務判断を正式運用で採用する前に、必要な条件、証拠、状態遷移を機械検証することを対象とした。
医薬品コールドチェーンの機械検証PoC
ここで重要なのは、「AIが正しそうだから通す」のではない。
あらかじめ定義された条件を満たしていることを確認できたから通す。確認できなければ止める。
この構造を、形式検証を含む技術によって機械的に確認可能にすることが、GhostDriftが考えるAI Assuranceの重要な役割である。
5. 世界で別々に起きている動きが、同じ方向を向き始めている
なお、GhostDriftの現在のAIアシュアランス技術には、2025年まで遡る技術的源流がある。2025年10月30日・31日の特許出願では、条件に応じた実行制御、停止、状態遷移、実行後検証及び監査につながる構造を出願し、同年11月にはADICの数学的基盤となる再計算・再検証技術を出願した。これらは当時から現在の「責任OS」として完成していたという意味ではないが、後にEvidenceとExecutionを接続する技術体系へ発展した二つの基礎的な系譜である。詳細な技術史は以下の記事で整理している。
GhostDriftは2026年5月、AI判断の根拠を後から再実行・検証できるADICの中核理論をLean 4で形式化して公開した。
6月には、AI判断を後から検証できる情報構造として残す「責任OS」の基礎理論を公開した。
7月には、医薬品コールドチェーンで、必要条件を満たした場合だけ次の処理へ進める機械検証PoCを実施した。
医薬品コールドチェーンAIアシュアランスPoC
さらに9月には、AIの判断だけでなく、現実の機械・設備等における「実行」と「結果確認」までを対象とするフィジカルAI関連のAIアシュアランス技術5件について国際出願を公表した。
フィジカルAIの実行・結果を検証するAIアシュアランス技術
これは、Veldrisとの優劣や単純な先後を主張するために挙げているのではない。
むしろ重要なのは、英国と日本で独立して進んできた技術開発が、Control、Provenance、Evidence、Decision、Assuranceという近接した問題へ向かい始めていることである。
これは一社の製品トレンドではなく、新しい技術カテゴリーが形成されつつあることを示す外部シグナルと見ることができる。
6. Control → Evidence → Permission → Execution
AIが現実の業務を動かす時代には、必要な技術レイヤーを次のように整理できる。
Control誰がデータ、モデル、鍵、計算基盤を制御しているのか。
↓
Evidenceその出力が、どの入力、処理、モデル、状態から生成されたのかを確認できるか。
↓
Permissionその証拠と現在状態に基づき、その判断を業務上正式に採用してよいことを確認できるか。
↓
Execution許可された操作だけを実行し、その結果が成立したことを確認して、次の処理へ進めるか。
Veldrisの登場とForbesの記事は、少なくとも最初の二つ、そしてDecision Projectionまでが、すでに独立した商業価値を持ち始めていることを示している。
GhostDriftが研究しているのは、そこからPermissionとExecutionを含めて、判断を現実の責任ある実行へ接続する部分である。
7. AIアシュアランスは「AIの外側」にあるインフラになる
AIが文章や画像を生成するだけなら、最終的に人が確認すれば足りる場面も多い。
しかし、AIが製造設備を動かし、物流を変更し、アクセス権を変更し、取引を承認し、行政判断を支援するようになれば、「AIがそう言った」だけでは現実の操作を正当化できない。
必要になるのは、
何を根拠に判断したのか。その証拠は検証できるのか。その条件なら判断を採用してよいのか。その状態で実行してよいのか。実行後の結果を次の判断の前提としてよいのか。
を、一つずつ確認できる仕組みである。
Forbesが示したように、AI市場では「制御そのもの」が製品になり始めている。
Veldrisが示しているように、そこからEvidenceやAssuranceも製品になり始めている。
その先では、「このAI判断を現実の業務で採用・実行してよい」と検証可能にすること自体が、新しいインフラになると私たちは考えている。
AIの競争軸は、モデルを大きくすることだけではない。
AIを制御できること。AIの証拠を確認できること。そして、その判断を採用・実行してよいことを証明できること。
AI Assuranceの市場は、すでにその輪郭を見せ始めている。
参考資料
Forbes JAPAN「AIインフラの『主権』を企業に取り戻す起業家」（2026年9月29日）https://forbesjapan.com/articles/detail/105653
Veldris 公式サイトhttps://veldris.io/
Veldris / Forseti - Assurancehttps://veldris.io/forseti/
Veldris / Gungnir - Decision Projectionhttps://veldris.io/gungnir/
GhostDrift数理研究所「AIの監査、『信じてください』から『数学的に確認できます』へ——ADICの形式証明を公開」（2026年5月12日）https://prtimes.jp/main/html/rd/p/000000001.000182721.html
GhostDrift数理研究所「自律型AIの判断は『人間が確認すれば安心』と言えるのか——『責任OS』基礎理論を情報学とLeanで公開」（2026年6月26日）https://prtimes.jp/main/html/rd/p/000000004.000182721.html
GhostDrift数理研究所・オンザリンクス「医薬品コールドチェーンの機械検証PoC第1弾を完了」（2026年7月28日）https://prtimes.jp/main/html/rd/p/000000005.000182721.html
GhostDrift数理研究所「製造AIを、PoCから現場の実行へ。フィジカルAIの実行・結果を検証するAIアシュアランス技術5件を国際出願」（2026年9月15日）https://prtimes.jp/main/html/rd/p/000000008.000182721.html
※本稿は2026年9月29日時点で各社が公開している情報をもとに整理したものであり、各社技術の非公開仕様、特許請求範囲、法的な優先関係を評価するものではありません。
コメント