論文の概要: ECO/CPO-DAG: A Contradiction-Based Accountability Layer for Adversarial Supply Chains

• arxiv url: http://arxiv.org/abs/2607.06804v1
• Date: Tue, 07 Jul 2026 21:03:26 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-07-09 22:50:30.225323
• Title: ECO/CPO-DAG: A Contradiction-Based Accountability Layer for Adversarial Supply Chains
• Title（参考訳）: ECO/CPO-DAG:敵対的サプライチェーンのためのコントラディションベースのアカウンタビリティレイヤ
• Authors: Sebastian Cochinescu,
• Abstract要約: ECO/CPO-DAGは、敵対的なサプライチェーンのためのドメイン固有の説明責任プロトコルである。 補足検証層として矛盾検出を形式化する。 プロトコルの境界は明示的であり、証明可能な矛盾を検出し、一貫性のある嘘は検出しない。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: We present ECO/CPO-DAG, a domain-specific accountability protocol for adversarial supply chains that formalizes contradiction detection as a supplemental validation layer rather than a consensus or truth-establishing mechanism. Participants publish signed Event Claim Objects (ECOs) into a causally ordered, append-only directed acyclic graph (DAG) whose edges encode happened-before relations. When two claims about the same subject violate a domain constraint, any observer can compile a Contradiction Proof Object (CPO), a self-verifying object binding the two signed claims and the violated rule, which, on public verification, triggers economic slashing of a determinately blamed party. We map constraints to GS1 EPCIS 2.0 event semantics (spatial uniqueness, temporal monotonicity, quantity conservation, quality monotonicity, regulatory validity), so detection targets inconsistencies that are meaningful in practice. Selective disclosure via commitment schemes and, optionally, zero-knowledge contradiction proofs lets parties withhold claim contents until a challenge forces the minimal opening. We give an analytical treatment: an independent-observer detection model $1-(1-p_{\min})^h$, a deterrence condition $S>g(1-p)/(kp)$ under $k$-party collusion, and a storage estimate of order 1 GB per participant per year under stated assumptions. The protocol's boundary is explicit: it detects provable contradictions, not consistent lies; a party that never contradicts itself is invisible to it, so the layer complements, and does not replace, source verification and oracle aggregation. A single-machine reference implementation corroborates the detection model, with the predicted coverage band overlapping the measured 95% confidence interval at every observer count, and records zero false accusations; the fully zero-knowledge CPO, multi-party propagation, and adaptive-adversary evasion remain analytical.
• Abstract（参考訳）: ECO/CPO-DAGは、矛盾検出をコンセンサスや真理確立メカニズムではなく補足的検証層として形式化する、敵対的サプライチェーンのためのドメイン固有の説明責任プロトコルである。 参加者は署名されたイベントクレームオブジェクト(ECOs)を、エッジが発生前の関係を符号化した因果的に順序付けられた追加専用非巡回グラフ(DAG)にパブリッシュする。 同じ主題に関する2つの主張がドメインの制約に違反している場合、任意のオブザーバーは2つの署名されたクレームを結合する自己検証オブジェクトであるContradiction Proof Object(CPO)をコンパイルすることができ、公的な検証において、決定的に非難された当事者の経済的スラッシュを引き起こす。 我々は,GS1 EPCIS 2.0イベントセマンティクス(空間的一意性,時間的単調性,量保存性,品質単調性,規制的妥当性)に制約を対応させる。 コミットメントスキームによる選択的な開示と、オプションでゼロ知識の矛盾する証明は、挑戦が最小限のオープニングを強制するまで、当事者がクレームの内容を保持しないようにする。 独立オブザーバ検出モデル1-(1-p_{\min})^h$, 抑止条件$S>g(1-p)/(kp)$を$k$-partyの共謀で処理し, 条件付きで1年当たり1GBのストレージ推定を行う。 プロトコルの境界は明示的であり、証明可能な矛盾を検知し、一貫性のない嘘は検出しない。 単一マシン参照実装では,測定した95%の信頼区間を各オブザーバカウントでオーバーラップした予測カバレッジバンドが検出モデルと相関し,完全なゼロ知識CPO,マルチパーティの伝搬,適応逆回避を解析的に記録する。

関連論文リスト

• Anytime PAC-Bayes for Constrained Density-Ratio Networks under Covariate Shift [0.0]
  PAC-Bayesはベルヌーイ-KL境界を生じる固定時間状態の重み付けリスクに基づいてインスタンス化される。 実データデプロイメントによる解析的基盤真理に対するパッチテストは、フレームワークを検証します。 単一の固定時間カバレッジ障害が記録され、スプリット単位のカバレッジがラベルシフトの大きさと一致している。
  論文  参考訳（メタデータ） (2026-05-17T01:07:17Z)
• 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)
• Preregistered Belief Revision Contracts [2.28438857884398]
  PBRC(Preregistered Belief Revision Contracts)は,オープン通信と許容可能な変更を分離するプロトコルレベルのメカニズムである。 PBRC契約は、ファーストオーダーのエビデンストリガー、許容可能なリビジョンオペレータ、優先ルール、フォールバックポリシーを公に修正する。 本報告では,信頼軌道と正準化された監査トレースを保存したPBRC正規形式を,監査可能なトリガープロトコルで認めていることを示す。
  論文  参考訳（メタデータ） (2026-04-16T22:22:54Z)
• Neural Uncertainty Principle: A Unified View of Adversarial Fragility and LLM Hallucination [60.197429875410286]
  大規模言語モデルにおける視覚と幻覚の対立的脆弱性は、伝統的に別の問題と見なされている。 損失誘起状態下でのニューラル不確実性原理(NUP)の定式化により, ほぼバウンド状態においては, さらなる圧縮は感度分散の増大を伴うことが判明した。 視覚では、高度に結合したコンポーネントをマスキングすることで、コストのかかる敵の訓練なしに堅牢性を向上させる。 言語では、任意の応答トークンを生成する前に、同じプレフィルステージプローブが幻覚リスクを検出する。
  論文  参考訳（メタデータ） (2026-03-20T02:07:10Z)
• Preventing the Collapse of Peer Review Requires Verification-First AI [49.995126139461085]
  我々は、真理結合、すなわち、過度に科学的真理をトラックする場所のスコアの厳密さを提案する。 プロキシ・ソブリン評価に向けた相転移を駆動する2つの力の形式化を行う。
  論文  参考訳（メタデータ） (2026-01-23T17:17:32Z)
• Audit the Whisper: Detecting Steganographic Collusion in Multi-Agent LLMs [0.0]
  Audit the Whisperは、理論、ベンチマーク設計、検出、検証にまたがるカンファレンスグレードの研究成果物である。 i) パラフレーズ, レート制限, 役割置換などの介入が, ペアリングしたKullback-Leibler診断によって定量的なペナルティの操作を課すことを示すチャネル容量分析を行った。 我々は、匿名化された再生スクリプト、匿名化されたマニフェスト、ドキュメントをリリースし、外部監査官がすべての図を再現し、二重盲検要件を満たし、最小限の努力でフレームワークを拡張します。
  論文  参考訳（メタデータ） (2025-10-05T17:51:52Z)
• ADC: Adversarial attacks against object Detection that evade Context consistency checks [55.8459119462263]
  文脈整合性チェックさえも、適切に構築された敵の例に対して脆弱であることを示す。 このような防御を覆す実例を生成するための適応型フレームワークを提案する。 我々の結果は、コンテキストを堅牢にモデル化し、一貫性をチェックする方法はまだ未解決の問題であることを示している。
  論文  参考訳（メタデータ） (2021-10-24T00:25:09Z)

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

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