論文の概要: A2A-CaseVerify: Merkle-Linked Case-Evidence Verification for Cross-Organization A2A Workflows
- arxiv url: http://arxiv.org/abs/2609.33914v1
- Date: Sun, 27 Sep 2026 20:49:37 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-10-04 15:39:43.798018
- Title: A2A-CaseVerify: Merkle-Linked Case-Evidence Verification for Cross-Organization A2A Workflows
- Title（参考訳）: A2A-CaseVerify:Merkle-Linked Case-Evidence Verification for Cross-Organization A2A Workflows
- Abstract要約: Agent-to-Agent (A2A)通信により、大きな言語モデル(LLM)エージェントが、組織間でタスク、メッセージ、アーティファクトを交換できる。
我々は、A2Aランタイムオブジェクト、ビジネスイベント、型付きサポートエッジを指示されたケースエビデンスグラフにマッピングする決定論的オフライン検証であるA2A-CaseVerifyを提案する。
- 参考スコア（独自算出の注目度）: 0.5801044612920815
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Agent-to-Agent (A2A) communication enables large language model (LLM) agents to exchange tasks, messages, and artifacts across organizations. A valid message alone does not establish that a final workflow claim is supported by a complete, ordered, and case-consistent evidence path. We present A2A-CaseVerify, a deterministic offline verifier that maps preserved A2A runtime objects, business events, and typed support edges to a directed case evidence graph. It commits A2A envelopes, event projections, and support edges, then combines event and edge leaves into a deterministic case Merkle root. The verifier returns SUPPORTED with status OK only when protection and profile-specific reconstruction checks pass. We evaluate one canonical supported healthcare-profile bundle and 13 controlled mutations. We separately test a valid bundle generated with the official Python A2A software development kit (SDK). In these tests, the canonical and SDK-generated bundles are accepted. All 13 mutations are rejected, and each returned reason-code set contains its targeted diagnostic code. A2A-CaseVerify adds offline case-level evidence-support verification to A2A interoperability.
- Abstract（参考訳）: Agent-to-Agent (A2A)通信により、大きな言語モデル(LLM)エージェントが、組織間でタスク、メッセージ、アーティファクトを交換できる。
有効なメッセージだけでは、最終的なワークフロークレームが完全な、順序付き、ケース一貫性のあるエビデンスパスによってサポートされていることを証明しません。
我々は、A2Aランタイムオブジェクト、ビジネスイベント、型付きサポートエッジを指示されたケースエビデンスグラフにマッピングする決定論的オフライン検証であるA2A-CaseVerifyを提案する。
A2Aエンベロープ、イベントプロジェクション、サポートエッジをコミットし、イベントとエッジの葉を決定論的ケースMerkle rootに結合する。
認証者は、保護およびプロファイル固有の再構築チェックがパスした場合のみ、ステータスOKでサポートされた返却を行う。
1つの標準的支援型医療用バンドルと13の変異について検討した。
公式のPython A2Aソフトウェア開発キット(SDK)で生成された有効なバンドルを別々にテストする。
これらのテストでは、標準およびSDK生成バンドルが受け入れられる。
13の突然変異はすべて拒絶され、返却された理コードセットには、対象とする診断コードが含まれている。
A2A-CaseVerifyは、オフラインケースレベルのエビデンスサポート検証をA2Aインターオペラビリティに追加する。
関連論文リスト
- A2A-ForensicTrace: Offline Verification of Tamper-Evident A2A Runtime Evidence [0.5161531917413708]
ランタイム観測を型付きレコードに変換するオフライン検証層。
A2A-ForensicTraceはインシデントトレースのルートの下で両方をコミットする。
論文 参考訳（メタデータ） (2026-09-27T21:08:47Z) - Rent-a-RAG: Embedding-Space Watermarks for Auditing Third-Party RAG [43.39396127458633]
サードパーティの検索強化世代(RAG)マーケットプレースでは,新たな監査問題が発生している。
我々は,プロバイダ側のセマンティックな透かしとブラックボックス監査フレームワークであるDirBucketを提案する。
DirBucketは、埋め込みがプロバイダとプロバイダの秘密の方向に偏っている意味保存のパラフレーズによって文書を透かし出す。
論文 参考訳（メタデータ） (2026-09-03T12:20:00Z) - Attesting Outputs and Delegation Ancestry in Multi-Agent AI Systems [3.276413627586882]
事件後、検証者は2つの質問に答えなければならない。
クレデンシャルは、誰が行動するかを確立するが、後続の出力バイトにそれらをバインドする必要はない。
信頼できるデプロイランタイムは、リリースされた各出力のハッシュに署名する。
論文 参考訳（メタデータ） (2026-08-31T07:42:57Z) - Object-to-Source Mapping under Optimization: What a Control-Flow Trace Can Show, and Where Source-Level Coverage Breaks [46.45816037744739]
制御フロートレースは、マシンレベルの実行を再構築することができるが、ソースレベルの構造カバレッジに加えて、生成された命令からの検証された帰属と、ソースの義務への分岐結果が必要である。
本稿では,その境界を定義し,コンパイラの正確な出力を図示する。
付録では、実際のシリコン上でのエンド・ツー・エンドのメカニズムを例示している。
論文 参考訳（メタデータ） (2026-08-29T17:06:10Z) - Independent Patch Verification for Coding Agents with a Bidirectional Reconstruct-and-Verify Framework [49.16055123488827]
大規模言語モデルを利用したコーディングエージェントは、バグレポートから直接コードパッチを生成することができる。
報告された問題を真に解決するかどうかを独立に検証するメカニズムは存在しない。
本稿では,RETRACE をトレーニング不要なポストジェネレーション検証フレームワークとして提案する。
論文 参考訳（メタデータ） (2026-08-09T22:59:13Z) - AuditWeave: A Tamper-Evident, Auditor-Navigable Evidence Layer for AI-Assisted and Data-Transformation Workflows [0.0]
AuditWeaveは、AIアシストとデータ変換のステップを1つのハッシュチェーンの台帳に記録する軽量Pythonライブラリである。
本稿では,参照実装におけるオーバヘッド,拡張性,タンパー検出の正確さを設計し,評価する。
論文 参考訳（メタデータ） (2026-06-14T21:46:04Z) - View-Aware Semantic Alignment for Aerial-Ground Person Re-Identification [43.69772242567068]
ViSAは、ビュー間のセマンティック一貫性を実現するビュー対応フレームワークである。
ViSAは、挑戦的なCARGOクロスビュープロトコルにおいて、注目すべき10.06%のmAP改善とともに、一貫して優れたパフォーマンスを実現している。
論文 参考訳（メタデータ） (2026-05-18T10:32:26Z) - ESAA: Event Sourcing for Autonomous Agents in LLM-Based Software Engineering [0.0]
本稿では,ESAA(Event Sourcing for Autonomous Agents)アーキテクチャについて述べる。
アーキテクチャは、イベントソーシングパターンにインスパイアされた、認知意図とプロジェクトの状態突然変異を分離する。
2つのケーススタディは、アーキテクチャを検証し、単一エージェントのシナリオを超えたアーキテクチャのスケーラビリティの実証的な証拠を提供する。
論文 参考訳（メタデータ） (2026-02-26T16:45:59Z) - SecCodeBench-V2 Technical Report [43.10947096543533]
SecCodeBench-V2は,セキュアなコードを生成するLarge Language Model (LLM)コピロの能力を評価するためのベンチマークである。
SecCodeBench-V2は、アリババグループの工業生産から派生した98世代および修正シナリオを含む。
各シナリオに対して、SecCodeBench-V2は、機能検証とセキュリティ検証の両方に対して実行可能な概念実証(PoC)テストケースを提供する。
論文 参考訳（メタデータ） (2026-02-17T10:47:06Z) - Mind the Boundary: Stabilizing Gemini Enterprise A2A via a Cloud Run Hub Across Projects and Accounts [0.0]
我々は、Cloud Run上にA2A Hubオーケストレータを実装し、クエリを4つのパスにルーティングする: パブリックなA2Aエージェントが別のアカウントにデプロイされ、IAMで保護されたCloud Run A2Aエージェントが別のアカウントにデプロイされ、検索拡張された生成パス。
すべての実験は、a2a-hub-gemini-ui-stable-paperにタグ付けされたリポジトリスナップショットを使って再現可能である。
論文 参考訳（メタデータ） (2026-01-26T13:11:41Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。