論文の概要: Bonded Recourse for Smart-Contract Settlement of Compensable Agent Side Effects
- arxiv url: http://arxiv.org/abs/2609.01939v1
- Date: Tue, 01 Sep 2026 23:05:43 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-09-03 17:53:18.008635
- Title: Bonded Recourse for Smart-Contract Settlement of Compensable Agent Side Effects
- Title（参考訳）: 補償剤側効果のスマートコントラスト化のためのボンドレコース
- Abstract要約: 承認と局所補償は、事前行動の許可と実行中のロールバックをカバーしているが、許可された行動が失敗した後に残る残余の損害は解決しない。
我々はRecourseを設計する。Recourseは、補償可能なエージェントサイドエフェクトのためのスマートコントラクトのプロトコルで、それぞれのアクションをスコープ、リカバリ、エビデンス、支払い、担保にバインドする。
- 参考スコア（独自算出の注目度）: 0.6564588068252765
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Autonomous agent runtimes execute tool actions that mutate databases, repositories, and cloud services across organizational boundaries. Authorization and local compensation cover pre-action admission and in-runtime rollback, but neither settles the residual harm left after a permitted action fails. We design Recourse, a smart-contract settlement protocol for compensable agent side effects that binds each admitted action to scope, recovery, evidence, payout, and collateral. Recourse separates ex ante eligibility from ex post objective settleability: typed receipts make objective residual claims computable under an optimistic-oracle challenge pattern, while subjective or incomplete claims route to ERC-792 arbitration or exclusion. We implement the contract suite, deploy it on Base Sepolia, build adapters against Postgres, Git, and cloud-compatible local sandboxes, and evaluate the system on a deterministic harness, sandbox traces, adversarial sweeps, and property-based fuzzing. Against authorization-only and local-compensation baselines, bonded coverage cuts uncompensated harm. The on-chain tier supplies neutral custody, public challenge, non-cooperative payout, and portable history under cross-organizational trust assumptions.
- Abstract（参考訳）: 自律エージェントランタイムは、データベース、リポジトリ、クラウドサービスを組織の境界を越えて変更するツールアクションを実行する。
認可と局所補償は、事前行動の許可と実行中のロールバックをカバーしているが、許可された行動が失敗した後に残る残余の損害は解決しない。
我々はRecourseを設計する。Recourseは、補償可能なエージェントサイドエフェクトのためのスマートコントラクトのプロトコルで、それぞれのアクションをスコープ、リカバリ、エビデンス、支払い、担保にバインドする。
型付領収書は、楽観的な挑戦パターンの下で客観的残留債権を計算可能とし、主観的または不完全債権は、ERC-792の仲裁または除外に向かう。
コントラクトスイートを実装し、Base Sepoliaにデプロイし、Postgres、Git、およびクラウド互換のローカルサンドボックスに対してアダプタをビルドし、決定論的ハーネス、サンドボックストレース、敵のスイープ、プロパティベースのファジィングでシステムを評価します。
認可のみと地方補償ベースラインに反し、束縛されたカバレッジは無補償の損害を減らした。
オンチェーン層は、組織間信頼の前提の下で中立的な保護、公的な挑戦、非協力的な支払い、ポータブルな歴史を提供する。
関連論文リスト
- From Intent to Execution Grant: An Execution-Boundary Conformance Profile for High-Risk AI Actions [9.27474112226667]
EBL-Coreは、1つの標準的な、完全に実体化されたAI生成候補が、明示的な条件下でアクションスコープ実行権限を受け取ることができるかどうかを決定する。
拘束力、政策非監視、エビデンス処理、決定論的判断、検証、ライフサイクル行動の付与などである。
100回の試験で32回の同時再空輸試験が成功し、1回の試行で完全に1回成功し、テスト効果が保護された。
論文 参考訳（メタデータ） (2026-09-10T14:21:45Z) - Sharding Prevents LLM Oversight Failures and Adversarial Exploitation [45.380649793616705]
シャーディングは要求を小さなグループに分割し、各グループを別の呼び出しに割り当て、評決を集約する。
シャードの弱い裁判官は、より有能な総合的な裁判官よりも優れており、後者がパネルの全予算を受け取ったとしても、その裁判官と一致することができる。
論文 参考訳（メタデータ） (2026-08-05T18:21:21Z) - Claim Plane: Enforceable Change Intents and Dynamic Scope for Parallel Coding Agents [1.4721615285883427]
本稿では,同時ソフトウェア変更をプリライト入力問題として扱うモデルに依存しない協調アーキテクチャであるClim Planeを提案する。
決定論的制御プレーンは、互換性のある意図をアトミックに認め、宣言された領域に同ファイルの並列性を制約し、未解決の重複をシリアライズし、依存性の無効性を追跡し、曖昧な権限で閉じる。
最初に試みられた突然変異は、現在のアクティブセットに対するアトミックスコープの促進と再許可を引き起こす。
論文 参考訳（メタデータ） (2026-07-24T02:30:50Z) - Themis Consensus Extension v1: MEV Mitigation by Randomized Delayed Execution and Intent-Hiding Transactions in Application-Specific Blockchains [0.0]
我々は2021年にMangataが最初に発表したThemis Consensus Extension v1を分析した。
設計は、デニアルによる値抽出から再順序付けによる値抽出を分離する。
我々は,確率的抽出,スパム,依存トランザクション,復号化生,セッション境界,全否定,しきい値連立を解析した。
論文 参考訳（メタデータ） (2026-07-23T15:05:09Z) - A Decision-Centered Reference Architecture for Trustworthy Agentic Commerce [0.0]
エージェントコマースは、エージェントショッピングを、ポリシーを解釈し、チェックアウトを準備し、トランザクション対応言語を生成し、委譲された支払い権限の下で行動するソフトウェアエージェントに拡張する。
本研究では,標準エンベロープを中心に構築されたプロトコルに依存しないアーキテクチャ,保護された依存性と結果,Ed25519あるいはHMAC認証,ライブ要求リバインド,7軸生成ゲート,実行時依存性再検証,セマンティック不変量について述べる。
論文 参考訳（メタデータ） (2026-07-20T08:33:31Z) - Mnemosyne: Agentic Transaction Processing for Validating and Repairing AI-generated Workflows [0.764671395172401]
エージェントトランザクション処理は、宣言された実行可能な制約セットCの下で決定論的入力をパスするまで、生成されたアクションを信頼できない提案として扱う。
MnemosyneのATPは、追加のみのトランジションログ、有効状態のプロジェクション、依存性の安全な補償、アクティブなコミットレコードを備えたランタイムである。
再現可能なアーティファクトは、9つのファルシフィケーションテストを対象とする違反を拒絶し、有効な作業は6%以下のオーバーヘッドで認め、局所的な修復は、グローバルな再計算よりも桁違いに少ない操作を編集する。
論文 参考訳（メタデータ） (2026-06-30T23:33:16Z) - Gaming-Resistant Insurance Contracts for Autonomous AI Agents: Strategy-Proof Toll Mechanism Design [0.0]
Paper Aは、契約によって固定されたデフォルトに対して各副作用を価格設定し、予備予算に対して実行をゲートする、時間一貫性のあるアクチュアリランタイムを定義する。
我々は、自律型AIエージェント保険契約のための5つの攻撃空間を特徴付け、アクチュアリルランタイムがゲームに耐性があることを証明している。
次に,これらの節をPaper Aのランタイム保証と組み合わせて,5つの攻撃空間に対する共同インセンティブ互換性を得る。
論文 参考訳（メタデータ） (2026-06-15T07:31:21Z) - Who Pays the Price? Stakeholder-Centric Prompt Injection Benchmarking for Real-world Web Agents [93.19140872946842]
大規模言語モデル(LLM)によって駆動されるWebエージェントは、現実の環境にますますデプロイされる。
これにより、一見良質なコンテンツがエージェントの振る舞いを操作する敵の命令を埋め込む、プロンプト・インジェクション・アタックに対して脆弱になる。
実世界のWebエージェントシステムにおいて,損害を体系的に分類し,属性付けするベンチマークである textbfsysname を導入する。
論文 参考訳（メタデータ） (2026-06-11T14:12:43Z) - Affordance Agent Harness: Verification-Gated Skill Orchestration [45.231685718099264]
Affordance groundingは、オープンワールドのシーンでエージェントがどこでどのように対話すべきかを特定する必要がある。
本稿では,エビデンスストアとコストコントロールを備えたクローズドループランタイムであるAffordance Agent Harnessを提案する。
論文 参考訳（メタデータ） (2026-05-01T13:45:16Z) - TwinGate: Stateful Defense against Decompositional Jailbreaks in Untraceable Traffic via Asymmetric Contrastive Learning [60.68349524623048]
分解されたジェイルブレイクは、大きな言語モデルにとって重大な脅威となる。
我々はステートフルなデュアルエンコーダ防御フレームワークであるTwinGateを紹介する。
我々は、8600の異なる悪意のある意図にまたがる360万以上の命令の包括的なデータセットを構築した。
論文 参考訳（メタデータ） (2026-04-30T13:44:01Z) - IMPACT-CYCLE: A Contract-Based Multi-Agent System for Claim-Level Supervisory Correction of Long-Video Semantic Memory [73.22944697933603]
既存のパイプラインは不透明でエンドツーエンドの出力を生成し、検査の中間状態は公開しない。
IMPACT-Cycleは,マルチモーダル反復クレームレベルのメンテナンスとして,長時間ビデオ理解を再構築するマルチエージェントシステムである。
論文 参考訳（メタデータ） (2026-04-22T03:03:33Z) - Uncertainty-Aware Jamming Mitigation with Active RIS: A Robust Stackelberg Game Approach [65.06640919319413]
本稿では,アクティブリコンフィギュアブルインテリジェントサーフェス(ARIS)を利用したジャミング緩和について検討する。
正当側と敵側の戦略的相互作用をモデル化するために,Stackelbergゲーム定式化を採用する。
まず、ロバストなアンチジャミング設計のための正当側最適化に組み込む、従者のベストレスポンスとして最適なジャミングポリシーを導出する。
論文 参考訳（メタデータ） (2026-02-20T12:02:01Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。