技術要約: ECO/CPO-DAG

問題提起

サプライチェーンは、互いに信頼関係のない当事者が互いの記録に依存しなければならない、敵対的な環境下で運営されています。ブロックチェーンベースのトレーサビリティは改ざん耐性のある台帳を提供しますが、「オラクル問題」を解決することはできません。台帳は、ある当事者が「何かを述べた」ことは保証できますが、その記述が物理的な現実と一致していることを保証することはできません。既存のソリューションは、主張をグラウンドトゥルース（真実）に対して検証しようとしたり、複雑なコンセンサス・メカニズムに依存したりすることが多いですが、誤報告を行う経済的インセンティブは依然として残ります。

本論文は、より限定的で扱いやすい問いを提示します。すなわち、グラウンドトゥルースに対する主張の検証を試みることなく、どのようにすれば半信頼的なサプライチェーンにおいて証明可能な矛盾に対して経済的な抑止力を働かせることができるか、という問いです。ここで「証明可能な矛盾」とは、特定のドメインルール（例：単一のロットが互いに排他的な2つの地域に由来すると主張されている、あるいは封印された数量が保管イベント間で不可解に増加しているなど）の下で、両立し得ない、識別可能な当事者による署名付きの主張のペアと定義されます。

手法

著者らは、矛盾検出をコンセンサス・プロトコルではなく、補完的な検証メカニカニズムとして定式化したドメイン特化型の責任レイヤーであるECO/CPO-DAGを提案しています。

コア・アーキテクチャ

1. イベント・クレーム・オブジェクト (ECO): 参加者は、因果順序付けられた、追記専用の有向非巡回グラフ（DAG）に署名付きの主張を公開します。
   • 各ECOは、主張のペイロードに対するコミットメント（プライバシー保護のためのペダーセン・コミットメントを使用）、ハイブリッド論理時計のタイムスタンプ、因果的親リファレンス、およびデジタル署名を含みます。
   • このDAGは、グローバルな合意や全順序付けのために使用されるのではなく、各参加者がローカルなビューを維持します。
2. 矛盾証明オブジェクト (CPO): 観測者が、同一の対象に関する2つのECOがドメイン制約に違反していることを検出した際、CPOを生成します。
   • CPOは、2つの署名付きの主張、違反したルール、および挑戦者のアイデンティティを紐付ける自己検証可能なオブジェクトです。
   • これは、物理的な物品にアクセスすることなく、署名とドメインルールのみに基づいて、誰でも検証可能です。
3. ドメイン制約: プロトコルは、5つの制約クラスをGS1 EPCIS 2.0のイベントセマンティクスにマッピングします。
   • 空間的 (Spatial): 1つの対象に対し、異なる2つの場所。
   • 時間的 (Temporal): 遡及的な日付設定（起こった後の順序に矛盾する主張された時刻）。
   • 数量 (Quantity): 保存則の違反（同一発行者における出力が入力を超える場合）。
   • 品質 (Quality): 自己矛盾する状態の主張（例：継続的なコールドチェーンの主張と、温度逸脱ログの矛盾）。
   • 規制 (Regulatory): 失効または期限切れの記録によって矛盾が生じるコンプライアンスの主張。

仮想経済メカニズム (Cryptoeconomic Mechanism)

システムは、悪質な振る舞いを抑止するためにスラッシング（資産没収）メカニズムを採用しています。

• ステーキング: 参加者は、取引価値とリスク履歴に比例したステーク $S$ を供出します。
• 抑止: 嘘をつくことによる期待効用が負になる場合、嘘による抑止が可能となります。論文では、条件 $S > \frac{1-p}{p}g$ （ここで $p$ は検出確率、$g$ は嘘による利得）を導出しています。
• 決定的な責務 (Determinate Blame): スラッシングは、責務が「決定的」な場合にのみ発生します。これは以下に限定されます：
  1. 自己矛盾 (Self-equivocation): 単一の発行者が、共に成立し得ない2つの主張に署名した場合。
  2. 保存則の違反 (Conservation violations): 単一の発行者の入出力の主張が質量バランス（$P_{outputs} > P_{inputs}$）に違反した場合。
  • 異なる発行者間の矛盾や曖昧なケースについては、自動的なオンチェーン・スラッシングの対象ではなく、オフチェーンでの裁定のための持ち運び可能な証拠として、$\perp$（曖昧）な責務を持つCPOとなります。

プライバシー層

プロトコルは選択的な開示をサポートしています。

• コミットメント: 挑戦が行われるまで、主張のペイロードはペダーセン・コミットメントによって隠蔽されます。
• ゼロ知識証明 (ZK): 挑戦者は、基礎となるデータを開示することなく（例：数量違反を示す場合）、簡潔な証明（Groth16やBulletproofsなど）を用いて矛盾が存在することを証明できます。
• 開示ティア: フィールドは、公開、選択的開示、またはZKによる検証のいずれかのレベルに分類されます。論文では、一部の制約（例：チェーン上の品質劣化など）は、データを公開せずにプライベートにチェックすることはできないと明記しています。

主な貢献

1. 形式モデル: 署名付きECOを用いたDAG内での矛盾ベースの責任追及の定式化、および自己検証可能なCPOの構築。
2. ドメインマッピング: 5つの制約クラスをGS1 EPCIS 2.0のイベントタイプに具体的にマッピングし、「ドメイン特化型」という主張を運用可能なものにした点。
3. 仮想経済分析: 合理的なアドバーサリおよび $k$-パーティ・コリュージョン（共謀）アドバサリの下での抑止条件を導出し、ステーク、検出確率、および利得の関係を確立した点。
4. プライバシー統合: コミットメントスキームとオプションのZK証明を利用したプライバシー層、および制約クラスごとの開示要件の明示的な分類。
5. 分析的および経験的検証:
   • 検出確率が誠実な観測者の数 $h$ に応じてどのようにスケールするかを示す分析的検出モデル（$1 - (1-p_{min})^h$）。
   • 測定値に対して検出モデルを裏付けるシングルマシンでのリファレンス実装。これにより、誤った告発がゼロであり、予測されたカバレッジ帯域が検証された。

結果

• 検出カバレッジ: 分析モデルは、検出確率が独立した観測者の数とともにスケールすることを予測しています。リファレンス実装はこのことを確認しました。測定された単一オブザーバーの検出確率 $\hat{p}_{min} \approx 0.50$ において、予測されたカバレッジは、あらゆるオブザーバー数において測定された95%信頼区間と重なりました。
• 誤った告発: 全ての実行において、システムは誤った告発をゼロと記録しました。適合率（Precision）は1.000であり、生成された全てのCPOは真の矛盾でした。
• 責務の解決: システムは、スラッシュ可能なケース（自己矛盾、単一発行者の保存則違反）と、曖昧なケース（$\perp$）を正しく区別し、後者をオフチェーンでの裁定へとルーティングし、誠実な当事者を罰することなく処理しました。
• ストレージ: 定められた仮定（1日あたり10,000個のECO、1オブジェクトあたり約256バイト）の下で、推定されるストレージ増加量は、参加者1人あたり年間約1 GBです。
• パフォーマンス: 平文のCPO生成には約1.5 $\mu$s、検証には約1.1 msを要します。ゼロ知識証明（保守的なMODP/Sigma実装を使用）は、証明に約2.1秒、検証に同程度の時間を要しました。

意義と範囲

本論文は、ECO/CPO-DAGを、ソース検証やオラクル集約の代替ではなく、補完的な監査レイヤーとして位置付けています。その意義は、全順序のコンセンサスやグラウンドトゥルースへのアクセスを必要とせず、論理的な不整合を通じて経済的なペナルティを課すメカニズムを提供することにあります。

明確な境界と限界:

• 「一貫した嘘つき」の盲点: 一貫して嘘をつき続け、自身と矛盾することのない当事者を検出することはできません。もし当事者が相反する主張を一度も出さなければ、このプロトコルからは見えません。著者らは、これは欠陥ではなく、固有の境界であると述べています。
• 責務の曖昧さ: 2つの異なる発行者間の矛盾（どちらも自己矛盾していない場合）は、自動的にオンチェーンでスラッシュすることはできません。これらはオフチェーン解決のための証拠として機能します。
• 分析的な性質: 本論文は、定量的な主張（検出確率、ストレージ、ZKコスト）がモデルの出力または保守的な上限（例：曲線ベースのBulletproofsではなく、素朴なSigmaプロトコルを使用）であることを明示しています。リファレンス実装は、シングルマシンの概念実証であり、プロダクションネットワークではありません。

要約すると、ECO/CPO-DAGは、物理的な検証ではなく論理的な不整合を通じて検出可能な範囲内で、サプライチェーンの責任を経済的な罰則へと変換する、暗号学的に裏付けられた具体的なプリミティブを提供しています。