論文の概要: Hardware-rooted attestation for AI-agent evidence: composing IETF RATS with action evidence packages
- arxiv url: http://arxiv.org/abs/2608.00801v1
- Date: Sat, 01 Aug 2026 18:01:36 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-08-04 15:07:24.910492
- Title: Hardware-rooted attestation for AI-agent evidence: composing IETF RATS with action evidence packages
- Title（参考訳）: AIエージェントのエビデンスに対するハードウェアルーツ証明 - アクションエビデンスパッケージによるIETF RATSの構成
- Abstract要約: アクションエビデンスパッケージ(AEP)は、AIエージェントが行ったことの署名付き追加専用記録である。
AEPは、エージェント自身のランタイムがそれを報告するように、検証者に対してアクションのストーリーを伝えます。
このメモは、この種のソフトウェアの検証は必要だが十分ではないと主張している。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: An action evidence package (AEP) is a signed, append-only record of what an AI agent did, who or what authorised the action, and what the outcome was. It is a software-layer artefact: it tells a verifier the story of an action as the agent's own runtime reports it. This note argues that software attestation of this kind is necessary but not sufficient. When a verifier's question shifts from "what does the agent claim it did?" to "did the specific model version the operator claims to have deployed actually produce this output, on unmodified hardware?", the AEP alone cannot answer. The missing element is a hardware root of trust: an attestation that the measured boot and runtime state of the platform match an endorsed reference. The IETF Remote Attestation Procedures (RATS) architecture (RFC 9334) and Veraison, an open-source RATS Verifier implementation (Confidential Computing Consortium / Linux Foundation), supply exactly this. We propose a composite attestation: hardware Evidence appraised under RATS, bound to a software AEP. We map a small verifier vocabulary (Authorised / Unauthorised / Indeterminate / Attested / Contested / Expired) onto RATS appraisal outcomes, and demonstrate feasibility with a small executed experiment: on a software Trusted Platform Module (TPM; the swtpm emulator), an output-binding protocol folds the hash of an AEP outcome and a fresh appraiser nonce into an attestation-key-signed quote, with a model-artefact measurement carried in a platform register. A minimal RATS-Verifier stand-in resolves the three platform outcomes as designed -- Attested for a good, fresh quote; Contested when the model measurement is swapped; Expired when a stale quote is replayed -- and rejects a forged AEP outcome bound to a valid quote. The result is a feasibility demonstration on emulated hardware, not a hardware-rooted guarantee.
- Abstract（参考訳）: アクションエビデンスパッケージ(英: Action evidence package、AEP)とは、AIエージェントが何をしたか、誰がそのアクションを承認したか、結果が何であったか、という署名付き、追加のみの記録である。
これはソフトウェアレイヤーの成果物であり、エージェントのランタイムがそれを報告するときに、検証者がアクションの話を伝える。
このメモは、この種のソフトウェアの検証は必要だが十分ではないと主張している。
検証者の質問が "エージェントは何をしたのか?" から "オペレータがデプロイしたと主張する特定のモデルバージョンは,修正されていないハードウェア上で実際にこの出力を生成するのか?
欠落した要素は信頼のハードウェアのルーツであり、プラットフォームのブートと実行時の状態が承認された参照と一致するという証明である。
IETF Remote Attestation procedures (RATS) アーキテクチャ (RFC 9334) と、オープンソースの RATS Verifier 実装 (Confidential Computing Consortium / Linux Foundation) である Veraison は、まさにこれを提供している。
RATSで評価されたハードウェアエビデンスをソフトウェアAEPにバインドした複合的証明を提案する。
ソフトウェアTrusted Platform Module (TPM; the swtpm emulator)では、出力結合プロトコルがAEP結果のハッシュを折り畳み、新しい評価器が証明キーに署名された引用文を付加し、モデルアーティファクト測定をプラットフォームレジスタで実行している。
最小限のRATS-Verifierスタンドインは、設計された3つのプラットフォームの結果を解決します -- 良い、新鮮な引用のために証明されます; モデルの計測がスワップされた時に検証されます; 古い引用がリプレイされた時に有効です -- そして、有効な引用に結びついた偽のAEP結果を拒否します。
その結果、エミュレートされたハードウェアにおける実現可能性の実証であり、ハードウェアの根本保証ではない。
関連論文リスト
- Zero-Knowledge Predicate Proofs Between AI Agents: A Measured, Cross-Protocol Gateway and the Source-Integrity Gap [0.0]
マルチエージェントAIプラットフォームは、ステージングからプロダクションへ素早く移行するが、エージェントが信頼を確立する方法はまだ初歩的だ。
提案から実行システムまで,エージェント間での検証可能なデータ最小化を行う。
32ビットのしきい値述語は6.2msで証明され、608バイトのBulletproofs証明で1.0msで検証される。
論文 参考訳（メタデータ） (2026-08-30T23:16:17Z) - Vero: Can AI Agents Build Formally Verified Software Repositories? [45.09790101960906]
Veroはリポジトリレベルで共同実装と証明を評価する最初のベンチマークである。
Python、Dafny、Verus、Coqにまたがる実世界のリポジトリから43のマルチモジュールインスタンスが含まれている。
ベンチマークの信頼性を改善するため、Veroには、エージェントが提供された仕様の不満足さを正式に証明できる監査メカニズムも含まれている。
論文 参考訳（メタデータ） (2026-08-13T17:41:27Z) - A Challenge-Nonce Freshness Gap in Project Veraison's TPM Reference Schemes, Found by Appraising Application-Layer Action Evidence End-to-End [0.0]
以前の研究では、このレコードをIETF Remote Attestation procedures (RATS)アーキテクチャの下でアプリケーション層エビデンスとして扱うことを提案した。
我々は、エミュレートされたソフトウェアTPMで生成されたAEP引用を、コンフォーマントなProject Veraison RATS Verifierを通してエンドツーエンドに駆動する。
正確に、アップストリーム可能な2つの部分の修正を行い、エンドツーエンドで検証します。
論文 参考訳（メタデータ） (2026-08-04T12:14:39Z) - PhyAgentOS: A Self-Evolving Operating System for Embodied Agents with Decoupled Cognitive Planning and Physical Execution [49.776611937968]
我々は、スケジューリング、検証、メモリ、ベンチマーク、安全性をシステムレベルのサービスとして提供するPhyAgentOSを紹介します。
セッション中心のセッションは、スケジューリング、互換性、監督された実行、エビデンス収集、受け入れの最小単位として、アクションではなくセッションを扱う。
SessionVerifierは、実行終了とセマンティックタスク完了を、成功、失敗、または再計画のエビデンスに基づいて判断する。
ベンチマークはデプロイメントセッションと検証パスを再利用するので、結果は実際の実行に遡る。
論文 参考訳（メタデータ） (2026-07-18T04:46:53Z) - Sovereign Assurance Boundary: Certificate-Bound Admission for Agentic Infrastructure [2.124730017640531]
Sovereign Assurance境界は、自動実行権限のための証明書バウンドランタイムアクセス層である。
本稿では,エアロックブローカーのアーキテクチャを詳述し,その入力と取り消しの不変性を定式化し,Goプロトタイプの予備実現可能性の測定結果を報告する。
論文 参考訳（メタデータ） (2026-06-10T03:49:57Z) - Proof-Carrying Agent Actions: Model-Agnostic Runtime Governance for Heterogeneous Agent Systems [0.6526824510982799]
本稿では,アクション証明書を中心としたランタイム中立ガバナンスモデルであるProof-Carrying Agent Actions (PCAA)を提案する。
PCAAは5つのチェックポイント(事前行動の許容、行動のオープン、仮定のキャプチャ、承認、結果のクロージャ)を統括する。
異種エージェント制御プレーンと開示バウンダリ評価プロトコルの参照実装を用いてモデルについて検討する。
論文 参考訳（メタデータ） (2026-06-02T18:10:35Z) - FIDEM: A Standard-Compliant Framework for Secure Binding of MUD Profiles to IoT Devices [90.91375734523943]
FIDEMは、DHCPベースのMUDURL発行を保証するための標準準拠のフレームワークである。
これはZero-Knowledge-Proof認証を利用することで、IoTデバイスとそのMUDプロファイル間の暗号化バインディングを提供する。
論文 参考訳（メタデータ） (2026-05-28T09:16:50Z) - An Executable Benchmarking Suite for Tool-Using Agents [3.5322131912413908]
このスイートは、WebArena Verified、SWE-GymスライスとSWE-bench互換の検証、および一般的なワークロードアダプタを介してMiniWoB++を接続する。
承認されたエビデンスには、レイテンシ、無効動作、パッチ生成コスト、検証済みメタデータ、リプレイバインディング、そして1つの監査可能な契約下での証明が記録されている。
論文 参考訳（メタデータ） (2026-05-10T21:24:53Z) - FactReview: Evidence-Grounded Reviews with Literature Positioning and Execution-Based Claim Verification [57.196748998757954]
本稿では,クレーム抽出,文献位置決定,実行に基づくクレーム検証を組み合わせたエビデンスベースレビューシステムであるFactReviewを紹介する。
FactReviewは論文を提出すると、主要なクレームを特定し、その結果を報告し、論文の技術的な位置を明らかにするために近くの作業を取り出し、コードが利用可能であれば、リリースされたリポジトリを実行する。
その後、簡潔なレビューと、主要な請求を5つのラベルのうち1つに割り当てるエビデンスレポートを生成する。
論文 参考訳（メタデータ） (2026-04-05T11:45:22Z) - TrustMee: Self-Verifying Remote Attestation Evidence [0.7491482431654224]
本稿では,遠隔検定の自己検証という概念を紹介する。
Trusteeフレームワークのプラットフォームに依存しない検証ドライバであるTrustMeeとして、この概念を実装します。
論文 参考訳（メタデータ） (2026-02-13T17:56:08Z) - Are You Getting What You Pay For? Auditing Model Substitution in LLM APIs [71.7892165868749]
LLM(Commercial Large Language Model) APIは基本的な信頼の問題を生み出します。
ユーザーは特定のモデルに課金するが、プロバイダが忠実に提供できることを保証することはない。
我々は,このモデル置換問題を定式化し,現実的な逆条件下での検出方法を評価する。
我々は,信頼された実行環境(TEE)を実用的で堅牢なソリューションとして使用し,評価する。
論文 参考訳（メタデータ） (2025-04-07T03:57:41Z) - FIRE: Fact-checking with Iterative Retrieval and Verification [63.67320352038525]
FIREはエビデンス検索とクレーム検証を反復的に統合する新しいフレームワークである。
大きな言語モデル(LLM)のコストを平均7.6倍、検索コストを16.5倍削減しながら、パフォーマンスが若干向上している。
これらの結果から,FIREは大規模ファクトチェック業務における適用を約束していることが明らかとなった。
論文 参考訳（メタデータ） (2024-10-17T06:44:18Z) - SEDAT:Security Enhanced Device Attestation with TPM2.0 [0.3007949058551534]
本稿では,セキュリティ強化通信チャネルを通じてデバイスを遠隔テストするための新しい手法であるSE DATを提案する。
SE DATは、検証者がセキュアなチャネルを通じてオンデマンドのデバイス整合性と認証ステータスを取得する方法を提供する。
また、検証者は偽造ハードウェア、ファームウェアの変更、デバイス上のソフトウェアコードを検出することができる。
論文 参考訳（メタデータ） (2021-01-16T03:41:01Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。