top of page
検索

ADICレッドチーミング実施報告（再計算可能性の検証）

ADICのアーキテクチャは、事後的な「説明」の余地を残すことではなく、第三者が同一の入力から同一の判定結果を導き出せる「再計算可能性」を前提とした設計です。 したがって、理論を提唱するのみならず、自ら攻撃シナリオを設計し、その検知能力と証拠の拘束力を確認することは、本プロトコルにおける必須の前提条件となります。

本レッドチーム試験では、判定がOKからNGへ切り替わる構造的境界を検証するため、以下の攻撃ベクトルに対する検知能力をテストしました。

  • ハッシュ改ざん（Layer-A：データ、設定、コード、環境フィンガープリントの変更）

  • セマンティック攪乱（Layer-B：局所的スパイク、欠損注入、位相シフト等による時系列破壊）

  • データ契約違反（パースは成功するが要件を満たさないスキーマの破壊）

  • 閾値近傍操作（許容境界の極小マージンを狙う微小改変の連続付与）

  • 証明書・台帳・証拠（evidence）の事後的な同時改ざん

検証の結果、すべての攻撃シナリオに対して設計通りの検知（NG判定）が作動したことを確認しました。 また、独立した検証プロセスにより、出力された証明書、エビデンスファイル、および全体台帳（Ledger）間のハッシュ整合が再計算により確認されました。これにより、事後的な解釈の余地が排除され、監査結果がローカル整合まで検証済みであることが確認されました。

本試験は公開リポジトリ上で再実行可能であり、第三者による独立検証を前提としています。

ADICは「説明可能」ではなく、再計算可能であるかどうかで正当性を判定する設計である。



 
 
 

コメント

bottom of page