論文の概要: Quantum-Adversary-Resilient Evidence Structures and Migration Strategies for Regulated AI Audit Trails

• arxiv url: http://arxiv.org/abs/2512.00110v1
• Date: Thu, 27 Nov 2025 12:57:44 GMT
• ステータス: 翻訳完了
• システム内更新日: 2025-12-02 19:46:34.071455
• Title: Quantum-Adversary-Resilient Evidence Structures and Migration Strategies for Regulated AI Audit Trails
• Title（参考訳）: 規制付きAIオーディットトレイルにおける量子逆レジリエントエビデンス構造とマイグレーション戦略
• Authors: Leo Kao,
• Abstract要約: 一定サイズの暗号証拠記録は、臨床、薬品、財務設定において、規制されたAIワークロードのための監査証跡を構築するために、ますます使用されている。 しかし、既存のインスタンス化は、量子能力のある敵によって長期のセキュリティが脅かされる古典的なシグネチャスキームに依存している。 本稿では,量子敵の存在下でのエビデンス構造に対するセキュリティ概念を定式化し,デプロイされた監査ログに対するポスト量子インスタンス化とマイグレーション戦略について検討する。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Constant-size cryptographic evidence records are increasingly used to build audit trails for regulated AI workloads in clinical, pharmaceutical, and financial settings, where each execution is summarized by a compact, verifiable record of code identity, model version, data digests, and platform measurements. Existing instantiations, however, typically rely on classical signature schemes whose long-term security is threatened by quantum-capable adversaries. In this paper we formalize security notions for evidence structures in the presence of quantum adversaries and study post-quantum (PQ) instantiations and migration strategies for deployed audit logs. We recall an abstraction of constant-size evidence structures and introduce game-based definitions of Q-Audit Integrity, Q-Non-Equivocation, and Q-Binding, capturing the inability of a quantum adversary to forge, equivocate, or rebind evidence items. We then analyze a hash-and-sign instantiation in the quantum random-oracle model (QROM), assuming an existentially unforgeable PQ signature scheme against quantum adversaries, and show that the resulting evidence structure satisfies these notions under standard assumptions. Building on this, we present three migration patterns for existing evidence logs: hybrid signatures, re-signing of legacy evidence, and Merkle-root anchoring, and analyze their security, storage, and computational trade-offs. A case study based on an industrial constant-size evidence platform for regulated AI at Codebat Technologies Inc. suggests that quantum-safe audit trails are achievable with moderate overhead and that systematic migration can significantly extend the evidentiary lifetime of existing deployments.
• Abstract（参考訳）: 一定サイズの暗号エビデンスレコードは、臨床、薬品、財務設定における規制されたAIワークロードの監査証跡を構築するために、ますます使われています。 しかし、既存のインスタンス化は通常、量子能力のある敵によって長期のセキュリティが脅かされる古典的なシグネチャスキームに依存している。 本稿では,量子敵の存在下でのエビデンス構造に対するセキュリティ概念を定式化し,デプロイされた監査ログに対するPQのインスタンス化とマイグレーション戦略について検討する。 一定サイズのエビデンス構造を抽象化し,Q-Audit Integrity,Q-Non-Equivocation,Q-Bindingのゲームベース定義を導入し,量子敵がエビデンス項目を偽造,同化,再結合することができないことを捉える。 次に、量子ランダムオーラモデル(QROM)におけるハッシュ・アンド・サインのインスタンス化を解析し、量子敵に対する存在しないPQシグネチャスキームを仮定し、その結果のエビデンス構造が標準的な仮定の下でこれらの概念を満たすことを示す。 これに基づいて、既存のエビデンスログのマイグレーションパターンとして、ハイブリッドシグネチャ、レガシエビデンスの再署名、Merkle-rootアンカー、セキュリティ、ストレージ、計算トレードオフの分析の3つを提示します。 Codebat Technologies Inc.における、規制付きAIのための産業用一定サイズのエビデンスプラットフォームに基づくケーススタディでは、量子セーフな監査パスが適度なオーバーヘッドで達成可能であり、システマティックマイグレーションが既存のデプロイメントの明らかな寿命を大幅に延長する可能性があることを示唆している。

関連論文リスト

• Formal Verification of Variational Quantum Circuits [44.06507276521908]
  変分量子回路(VQC)は多くの量子機械学習アルゴリズムの中心的なコンポーネントである。 本稿では,VQCの形式的検証問題に関する基礎的および実践的研究について述べる。
  論文  参考訳（メタデータ） (2025-07-14T12:28:32Z)
• On Immutable Memory Systems for Artificial Agents: A Blockchain-Indexed Automata-Theoretic Framework Using ECDH-Keyed Merkle Chains [0.0]
  本稿では,暗号的に固定された決定論的計算フレームワークであるMerkle Automatonの概念を紹介する。 各エージェントのトランジション、メモリフラグメント、推論ステップは、オンチェーンでルートされたMerkle構造内で実行される。 このアーキテクチャはメモリをキャッシュではなく台帳として再設定する - 内容がプロトコルによって強制され、暗号によって拘束され、形式論理によって制約される。
  論文  参考訳（メタデータ） (2025-06-16T08:43:56Z)
• Device-Independent Quantum Key Distribution: Protocols, Quantum Games, and Security [0.0]
  量子鍵分布(Quantum Key Distribution, QKD)は、量子力学の法則に基づいて、確実にセキュアな通信を可能にする。 理論上のセキュリティ保証にもかかわらず、実用的なQKDシステムは、サイドチャネル攻撃や検出器の抜け穴を含む深刻な攻撃に対して脆弱である。 デバイス独立量子鍵分布(DIQKD)は、観測された非局所相関のみに依存することにより、これらの制限を克服する。
  論文  参考訳（メタデータ） (2025-05-20T11:52:21Z)
• A classical proof of quantum knowledge for multi-prover interactive proof systems [1.5749416770494706]
  知識証明(PoK)において、検証者は、証明者が特権情報を持っていることを確信する。 QMAにおける問題に対する最初の統計的ゼロ知識(ZK) PoK証明システムを提案する。 我々の結果は、事前共有された絡み合った状態の証明に加えて、証明者が量子システムにアクセスできることを証明する、新しい形の自己テストと見なすことができる。
  論文  参考訳（メタデータ） (2025-03-17T20:16:22Z)
• Quantum Rewinding for IOP-Based Succinct Arguments [42.12045681000549]
  我々は、ベクトルコミットメントスキームが崩壊しているとき、BCS変換のインタラクティブな変種が量子敵に対する標準モデルで安全であることを証明した。 その結果、量子後安全な簡潔な議論の標準モデルを得ることができ、その複雑さを最もよく知ることができる。
  論文  参考訳（メタデータ） (2024-11-08T06:33:08Z)
• Evidence Tampering and Chain of Custody in Layered Attestations [0.0]
  分散システムにおいて、信頼決定は、遠隔検定によって生成される完全性証明に基づいて行われる。 提案手法は, 証拠が検出されることなく, 証拠を改ざんできる「戦略」を改ざんするだけでなく, 証拠を改ざんするための全ての改ざん機会を識別するアルゴリズムを提案する。 当社の取り組みは,プロトコル設計者が可能な限り最小かつ信頼性の高いコンポーネントの集合に機会を阻害する証拠を減らすことを支援することを目的としています。
  論文  参考訳（メタデータ） (2024-01-31T21:54:53Z)
• Quantum Proofs of Deletion for Learning with Errors [91.3755431537592]
  完全同型暗号方式として, 完全同型暗号方式を初めて構築する。 我々の主要な技術要素は、量子証明器が古典的検証器に量子状態の形でのLearning with Errors分布からのサンプルが削除されたことを納得させる対話的プロトコルである。
  論文  参考訳（メタデータ） (2022-03-03T10:07:32Z)
• Sample-efficient device-independent quantum state verification and certification [68.8204255655161]
  量子情報源の認証は、量子情報処理のための信頼性と効率的なプロトコルを構築する上で重要な課題である。 我々は、有限複写方式におけるIDI仮定のない量子状態のデバイス非依存検証のための体系的なアプローチを開発する。 デバイス非依存の検証を最適なサンプル効率で行うことができることを示す。
  論文  参考訳（メタデータ） (2021-05-12T17:48:04Z)
• Quantum-secure message authentication via blind-unforgeability [74.7729810207187]
  我々は、ブラインド・アンフォージェビリティ(英語版)と呼ばれる量子敵に対する非フォージェビリティ(英語版)の自然な定義を提案する。 この概念は、予測値に「部分的に盲目」アクセスを使用できる敵が存在する場合、関数を予測可能と定義する。 標準構造と減量支援のためのブラインド・アンフォージェビリティの適合性を示す。
  論文  参考訳（メタデータ） (2018-03-10T05:31:38Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。