論文の概要: Building Trust in Autonomous Commerce: A Verifiable Global Event Timeline and AI-Ready Fraud Intelligence Layer
- arxiv url: http://arxiv.org/abs/2607.19436v1
- Date: Tue, 21 Jul 2026 06:22:06 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-07-23 18:51:37.890915
- Title: Building Trust in Autonomous Commerce: A Verifiable Global Event Timeline and AI-Ready Fraud Intelligence Layer
- Title（参考訳）: 自律商取引における信頼の構築 - 検証可能なグローバルイベントタイムラインとAI対応の不正なインテリジェンスレイヤ
- Abstract要約: 本稿では,4つのコアコンポーネントから構築されたエージェントコマースのグローバルイベントタイムラインを提案する。
我々は、暗号的に署名された不正マーカーを導入し、偽のチェーン証明を通じて、リスクラベルをアンカーされた証拠にバインドする。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Agentic commerce protocols such as AP2 and ACP define mechanisms for secure agent-initiated transactions but do not provide interoperable, tamper-evident auditability or verifiable temporal ordering of events across heterogeneous domains. This paper addresses these gaps by proposing a verifiable global event timeline for agentic commerce, constructed from four core components: canonical event schemas that enforce deterministic serialization, deterministic batch formation ensuring reproducible ordering without reliance on synchronized clocks, Merkle-based append-only commitments providing logarithmic-cost inclusion proofs, and blockchain anchoring establishing a tamper-evident temporal backbone. Building on this infrastructure, we introduce a cryptographically signed fraud marker that binds risk labels to anchored evidence through an unforgeable provenance chain, and a dataset lineage model enabling reproducible, tamper-evident AI training pipelines. Empirical results from a prototype implementation demonstrate: Merkle tree construction processes 50,000 events in 47 milliseconds; end-to-end verification completes in under 0.013 milliseconds regardless of batch size; inclusion proof sizes grow logarithmically from 320 bytes at 1,000 events to 512 bytes at 50,000 events; and Merkle-based verification outperforms linear scan by 14.4x at 50,000 events.
- Abstract（参考訳）: AP2 や ACP のようなエージェントコマースプロトコルは、安全なエージェント初期化トランザクションのメカニズムを定義するが、相互運用可能で不正な監査性や、異種ドメインにわたるイベントの時間的順序検証は提供しない。
決定論的直列化を強制する標準イベントスキーマ、同期クロックに依存しない再現可能な順序を保証する決定論的バッチ生成、対数コストによる包摂証明を提供するMerkleベースの追加のみのコミットメント、タンパーの明確な時間的バックボーンを確立するブロックチェーンである。
このインフラを基盤として、暗号的に署名された不正マーカーを導入し、予測不能な証明チェーンを通じて、リスクラベルをアンロックされた証拠にバインドし、再現可能で改ざんされたAIトレーニングパイプラインを可能にするデータセットの系統モデルを導入します。
マークルツリー構築プロセスは47ミリ秒で50,000イベントを処理し、バッチサイズに関係なくエンドツーエンドの検証は0.013ミリ秒未満で完了し、包含証明のサイズは1,000イベントで320バイトから50,000イベントで512バイトに対数的に増加し、マークルベースの検証は50,000イベントで14.4倍に向上した。
関連論文リスト
- Agent Flight Recorder: Tamper-Evident Audit Trails with On-Chain Anchoring for Long-Horizon Tool-Using Agents [0.6564588068252765]
ロングホライゾンエージェントは数千のアクションを実行し、分離されたエラーではなく順次失敗する。
Agent Flight Recorderは、各エージェントアクションを構造化されたセマンティックシリアライズされたイベントバインディングとして、実行から実行までの8つのフィールドをキャプチャする。
合成エージェントの負荷に対して,5つの累積アブレーション構成でシステムを評価する。
論文 参考訳（メタデータ） (2026-09-01T22:59:08Z) - Agent-Native Telemetry: Verifiable State-Delta Evidence for Autonomous Operations [2.124730017640531]
本稿では,自律型機械の動作証拠アーキテクチャであるエージェントネイティブテレメトリを紹介する。
本稿では,エージェントテレメトリプロトコル(ATP)とState-Delta Evidence Ledgerを紹介する。
論文 参考訳（メタデータ） (2026-08-17T06:50:12Z) - RAVEN: A Regime-Aware Variable-context Expert Network for Financial Time Series Forecasting [83.06074370551887]
固定コンテキストウィンドウは、非定常価格プロセスの時間変化最適振り返りと一致しない。
本稿では,各サンプルの時間的文脈を適応的に決定するMixture-of-Expertsフレームワークを提案する。
累積ログリターン予測(HS300、S&P500)およびファンド販売予測の実験では、RAVENはSOTAのパフォーマンスを達成し、HS300ではピアソン相関を9.2%改善し、S&P500では20.2%改善し、MSEを18.2%削減している。
論文 参考訳（メタデータ） (2026-06-23T02:11:04Z) - 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) - From Attack Simulation to SIEM Rule: Deterministic Detection-as-Code Synthesis with Probe-Level Traceability [51.56484100374058]
セキュリティチームは、自身のシステムに対する攻撃をシミュレートして、監視が真の侵入者を捕まえるかどうかをチェックする。
人間はそのギャップを手でブリッジし、それぞれの発見を読み、対応するシグマルールを書きます。
ロックされたコーパスからプローブが引き出されると,この変換が部分的に自動化されることを示す。
論文 参考訳（メタデータ） (2026-06-03T14:26:25Z) - Inductive Deductive Synthesis: Enabling AI to Generate Formally Verified Systems [100.24694338574402]
本稿では,インダクティブ・デダクティブ・シンセシス(IDS)について述べる。
IDSは約6.8時間で7/7を達成し、1仕様あたり106ドル、専門家の努力の約200倍、SOTAエージェントの約17%を達成している。
IDSはパフォーマンスフィードバックを同じループに組み込んでおり、検証されたシステムよりも最大3倍高速な実装を実現している。
論文 参考訳（メタデータ） (2026-05-22T00:05:36Z) - From Specification to Deployment: Empirical Evidence from a W3C VC + DID Trust Infrastructure for Autonomous Agents [0.0]
MolTrustは、自律エージェントのためのオープンでポータブルで暗号的に検証可能な信頼基盤である。
本稿では,W3C Verifiable Credentials 2.0 と Decentralized Identifiers v1.0 を基盤として構築された,そのようなインフラストラクチャを実運用的に実装する。
このコントリビューションは、信頼基盤規制当局と業界が収束した証拠であり、今日ではW3C標準化プリミティブを使用して実装可能である。
論文 参考訳（メタデータ） (2026-05-07T14:09:51Z) - Lightweight Tamper-Evident Log Integrity Verification for IoT Edge Environments: A Merkle Tree Pipeline with Adaptive Chunking [0.4779196219827507]
Internet of Things(IoT)デバイスが生成する監査ログの統合性は、事故後の調査、規制コンプライアンス、運用説明責任の前提条件である。
本稿では,Merkle-tree のコミットメントとリソース認識型アダプティブ・チャンキングを組み合わせた,軽量かつ評価された整合性検証パイプラインを提案する。
提案パイプラインは, (i) 適応的チャンクサイズによる資源認識バッチ取り込み, (ii) O(logn) 包含証明生成によるメルクルツリー構築, (iii) 信頼されたルートアンカーに対する決定論的単一エントリー検証の3段階からなる。
論文 参考訳（メタデータ） (2026-04-30T09:16:43Z) - IMPACT: A Dataset for Multi-Granularity Human Procedural Action Understanding in Industrial Assembly [79.737814043505]
IMPACTは、デプロイメント指向の産業手続き的理解のための5ビューのRGB-Dデータセットである。
実際の組み立てと、プロ向けのツールを備えた商業用アングルグラインダーの分解を中心に構築されている。
論文 参考訳（メタデータ） (2026-04-12T02:09:19Z) - ElephantBroker: A Knowledge-Grounded Cognitive Runtime for Trustworthy AI Agents [45.88028371034407]
ElephantBrokerはオープンソースの認知ランタイムで、Neo4jナレッジグラフとQdrantベクトルストアを統合する。
このシステムは、ハイブリッド5ソース検索パイプラインからなる完全な認知ループ(ストア、検索、スコア、構成、保護、学習)を実装している。
論文 参考訳（メタデータ） (2026-03-26T07:03:12Z) - Towards Verifiable AI with Lightweight Cryptographic Proofs of Inference [3.3323431541048385]
完全証明を軽量なサンプリングベースアプローチで置き換える検証フレームワークとプロトコルを提案する。
我々は,機能的に異なるモデル間のトレース分離を活用可能な条件を定式化し,検証可能な推論プロトコルの安全性について議論する。
我々の手法は、最先端の暗号証明システムと比較して、証明時間を桁違いに削減する。
論文 参考訳（メタデータ） (2026-03-19T15:24:27Z) - push0: Scalable and Fault-Tolerant Orchestration for Zero-Knowledge Proof Generation [0.0]
push0はクラウドネイティブな証明オーケストレーションシステムで、プロファイラバイナリをスケジューリングインフラストラクチャから分離する。
我々の設計は、異種zkVMのシームレスな統合を可能にし、メッセージ永続化による自動タスク回復をサポートし、集中型ロールアップ演算子と分散マルチプロデューサネットワークの両方に必要なスケジューリングプリミティブを提供する。
論文 参考訳（メタデータ） (2026-02-18T10:22:33Z) - AlDBaran: Towards Blazingly Fast State Commitments for Blockchains [52.39305978984572]
AlDBaranは、50Gbpsのネットワークスループットで、状態更新を効率的に処理できる認証データ構造である。
AlDBaranは、様々な新しい応用を促進する歴史的な状態証明のサポートを提供する。
コンシューマレベルのポータブルハードウェアでは、インメモリ設定で約800万更新/秒、サブ秒間隔でスナップショットで500万更新/秒を達成する。
論文 参考訳（メタデータ） (2025-08-14T09:52:15Z) - Blockchain Large Language Models [65.7726590159576]
本稿では,異常なブロックチェーントランザクションを検出するための動的,リアルタイムなアプローチを提案する。
提案するツールであるBlockGPTは、ブロックチェーンアクティビティのトレース表現を生成し、大規模な言語モデルをスクラッチからトレーニングして、リアルタイム侵入検出システムとして機能させる。
論文 参考訳（メタデータ） (2023-04-25T11:56:18Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。