論文の概要: Agent Flight Recorder: Tamper-Evident Audit Trails with On-Chain Anchoring for Long-Horizon Tool-Using Agents

• arxiv url: http://arxiv.org/abs/2609.01931v1
• Date: Tue, 01 Sep 2026 22:59:08 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-09-03 17:53:18.006677
• Title: Agent Flight Recorder: Tamper-Evident Audit Trails with On-Chain Anchoring for Long-Horizon Tool-Using Agents
• Title（参考訳）: エージェントフライトレコーダ:長軸工具使用エージェントのオンチェーンアンカリングによるタンパーエビデントオーディットトレイル
• Abstract要約: ロングホライゾンエージェントは数千のアクションを実行し、分離されたエラーではなく順次失敗する。 Agent Flight Recorderは、各エージェントアクションを構造化されたセマンティックシリアライズされたイベントバインディングとして、実行から実行までの8つのフィールドをキャプチャする。 合成エージェントの負荷に対して,5つの累積アブレーション構成でシステムを評価する。
• 参考スコア（独自算出の注目度）: 0.6564588068252765
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Long-horizon agents execute thousands of actions, resulting in sequential failures rather than isolated errors. When a coding agent deletes a production database or a prompt injection spreads across agents, the incident raises questions of causality, authority, and non-repudiable third-party verification. The Agent Flight Recorder captures each agent action as a structured, canonically serialized event binding eight semantic fields from intent through execution to provenance. Hash chaining and Merkle batching provide tamper evidence and compact inclusion proofs. For cross-organizational disputes where no party's infrastructure qualifies as neutral ground, periodic on-chain anchoring of epoch roots lets any verifier with the disclosed payload and Merkle proof check the record independently, without pre-agreeing on a trusted intermediary. The on-chain footprint is minimal: each anchor stores a 32-byte epoch root and a back-pointer, and no event content touches the chain. We evaluate the system across five cumulative ablation configurations on synthetic agent workloads. The full system adds ~48 microseconds median per-event latency and 512 bytes per event. L2 anchoring costs $2.30 per 100K events at 100-event epochs. The full integrity stack detects edit, delete, reorder, and fork tampering at 100% with zero false positives. Structured forensic queries achieve 1.0 precision on guardrail and delegation lookups where unstructured text search yields 0.013 and 0.077 respectively.
• Abstract（参考訳）: ロングホライゾンエージェントは数千のアクションを実行し、分離されたエラーではなく順次失敗する。 コーディングエージェントがプロダクションデータベースを削除したり、エージェント間でプロンプトインジェクションが広まると、インシデントは因果性、権限、そして調査不可能な第三者による検証に関する疑問を提起する。 Agent Flight Recorderは、各エージェントアクションを構造化され、列挙されたイベントバインディングとして、インテントから実行から実行までの8つのセマンティックフィールドをキャプチャする。 ハッシュ連鎖とメルクルバッチは、改ざん証拠とコンパクトな包含証明を提供する。 パーティのインフラが中立的基盤に該当しない組織間の紛争では、エポックルートの周期的なオンチェーンアンカーにより、開示されたペイロードとメルクル証明による検証は、信頼できる仲介業者に事前に確認することなく、独立して記録をチェックできる。 チェーン上のフットプリントは最小限で、各アンカーは32バイトのエポックルートとバックポインターを格納し、イベントの内容がチェーンに触れることはない。 合成エージェントの負荷に対して,5つの累積アブレーション構成でシステムを評価する。 フルシステムには、イベント毎の中央値のレイテンシが約48マイクロ秒、イベント毎の512バイトが追加されている。 L2アンカーは100時間で100Kイベント当たり2.30ドルである。 完全整合性スタックは、編集、削除、再注文、フォークの改ざんを100%検出し、偽陽性はゼロである。 構造化された法医学的なクエリは、ガードレールとデリゲートのルックアップで1.0精度を実現し、構造化されていないテキスト検索はそれぞれ0.013と0.077を出力する。

関連論文リスト

• Attesting Outputs and Delegation Ancestry in Multi-Agent AI Systems [3.276413627586882]
  事件後、検証者は2つの質問に答えなければならない。 クレデンシャルは、誰が行動するかを確立するが、後続の出力バイトにそれらをバインドする必要はない。 信頼できるデプロイランタイムは、リリースされた各出力のハッシュに署名する。
  論文  参考訳（メタデータ） (2026-08-31T07:42:57Z)
• VERA: Authority-Preserving Edge Revocation for Federated AI-Agent Workflows [3.06815294082031]
  我々は,エージェントランタイムアダプタが発行する検証可能なリコール契約とAPIであるVERA(Verifiable Edge Revocation for Agents)を署名された証拠として紹介する。 解法的権威の下で、エッジ e の無効化は T_intent(e,G) = reach(G) reach(G e) を正確に無効にする。 LangGraphフレームワーク-repltセルでは、20回繰り返し500コンパイルされたフレームのトレースと2000の有効な署名されたデリゲート決定が生成される。
  論文  参考訳（メタデータ） (2026-08-30T23:39:26Z)
• OrchestraBench: Evaluating Multi-Agent Orchestration Failure Modes, Recovery, and Decomposition Quality [0.0]
  OrchestraBenchは、テンプレート化されたエンタープライズ上で、制御された、シード再現可能な障害注入ハーネスを通じて、障害、リカバリ、分解を評価する。 主要な指標としてカスケード半径とフェイルモード毎のリカバリを導入し、ルーティングポリシをブートストラップの信頼性間隔とペアテストと比較する。
  論文  参考訳（メタデータ） (2026-08-05T17:27:15Z)
• The LLM Proposes, the Executive Disposes: A Self-Verifying Agent Instrument that Dissociates Commitment Drift from Binding Drift in Long-Horizon Agents [0.0]
  本稿では,ポストホックではなく構造的検証を行うためのエージェント機器を提案する。 組織ごとの書き込みエラー、レンダリングサイズ、あるいは塩漬けのカナリアエチョフロアが破られた場合、実行はすべて無効になる。 長期のエージェントが苦しむたびに、クリーンでシングル変数の結果が報告される。
  論文  参考訳（メタデータ） (2026-08-04T15:10:37Z)
• Agent Security Needs Redefinition through a Holistic Framework [46.88917910966891]
  被告は、命令が悪意あるように見えるかどうかを問う。ベンチマークは、エージェントが有害な鳴き声を行うかどうかを問う。 我々は,エージェントの軌道全体にわたって連続的に評価されなければならない4つの特性を通じて,コンテキストセキュリティを運用する。
  論文  参考訳（メタデータ） (2026-07-24T06:43:09Z)
• Building Trust in Autonomous Commerce: A Verifiable Global Event Timeline and AI-Ready Fraud Intelligence Layer [0.0]
  本稿では,4つのコアコンポーネントから構築されたエージェントコマースのグローバルイベントタイムラインを提案する。 我々は、暗号的に署名された不正マーカーを導入し、偽のチェーン証明を通じて、リスクラベルをアンカーされた証拠にバインドする。
  論文  参考訳（メタデータ） (2026-07-21T06:22:06Z)
• Fantastic Adaptive Taxonomies and How to Use Them [100.20614173157708]
  AdaMASTは、実行トレースをコンパクトでエビデンスに基づく障害分類に変換する。 コードには手書きのコードはなく、人間による注釈もない。 エージェント・システム・サーチでは、失敗候補の分類コード診断が自由形式より優れている。
  論文  参考訳（メタデータ） (2026-07-17T17:41:16Z)
• SNARE: Adaptive Scenario Synthesis for Eliciting Overeager Behavior in Coding Agents [40.270213696031625]
  符号化エージェントは、シェル、ファイル、ネットワークアクションのシーケンスとして良質なタスクを実行する。 プロンプトは敵ではなく、実行は成功しますが、スコープ外ステップでは認証情報をリークしたり、ファイルを削除することができます。 既存のベンチマークでは、タスク補完スイートは、完了した実行を承認し、jailbreakスイートは、逆のプロンプトをプローブし、以前のオーバーイーガーベンチマークは、各エージェントモデルペアに単一の固定プロンプトを適用する。 再利用可能なスコープから良性シナリオを構成するパイプラインであるSNAREを提案する。
  論文  参考訳（メタデータ） (2026-05-27T08:14:07Z)
• Affordance Agent Harness: Verification-Gated Skill Orchestration [45.231685718099264]
  Affordance groundingは、オープンワールドのシーンでエージェントがどこでどのように対話すべきかを特定する必要がある。 本稿では,エビデンスストアとコストコントロールを備えたクローズドループランタイムであるAffordance Agent Harnessを提案する。
  論文  参考訳（メタデータ） (2026-05-01T13:45:16Z)
• Governing Dynamic Capabilities: Cryptographic Binding and Reproducibility Verification for AI Agent Tool Use [0.0]
  既存のセキュリティレイヤでは、AIエージェントに何ができるか、それが主張するものを実行したのか、マルチエージェントインタラクションで何が起きたのかを検証できない。 既存のフレームワークはこれら2つを詳述し、サイレントな能力のエスカレーションを可能にし、検証済みの証明なしに相互作用を残す。 我々は3つのエージェントガバナンス要件を導出する:能力の完全性(G1)、行動の妥当性(G2)、相互作用監査性(G3)。 基本(Ed25519, SHA-256; 97 us verify)と拡張(BBS+選択開示、Groth16 DV-SNARK; 13.8 ms)の2つの暗号に依存しないインスタンス化で検証する。
  論文  参考訳（メタデータ） (2026-03-15T11:46:57Z)
• AgentSys: Secure and Dynamic LLM Agents Through Explicit Hierarchical Memory Management [47.49917373646469]
  既存の防御は肥大した記憶を与えられたまま扱い、回復力を維持することに集中する。 我々は、明示的なメモリ管理を通じて間接的なインジェクションを防御するフレームワークであるAgentSysを紹介する。
  論文  参考訳（メタデータ） (2026-02-07T06:28:51Z)
• The Trojan Knowledge: Bypassing Commercial LLM Guardrails via Harmless Prompt Weaving and Adaptive Tree Search [58.8834056209347]
  大規模言語モデル(LLM)は、有害な出力を誘導するために安全ガードレールをバイパスするジェイルブレイク攻撃に弱いままである。 CKA-Agent(Correlated Knowledge Attack Agent)は、ターゲットモデルの知識基盤の適応的木構造探索としてジェイルブレイクを再構成する動的フレームワークである。
  論文  参考訳（メタデータ） (2025-12-01T07:05:23Z)

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

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