技術的概要：Intercloud – 威嚇効果コンセンサスによる分散経済のための最終的整合性

1. 問題定義

本論文は、現在の分散経済ネットワーク（ブロックチェーン）における 2 つの根本的な非効率性を特定している：

1. コスト問題：グローバルなコンセンサスモデル（例：プルーフ・オブ・ワーク、プルーフ・オブ・ステーク）は、すべてのトランザクションに均一のセキュリティ予算を配備する。1 ドルの送金も 10 億ドルの送金も、同じ検証リソースを消費するため、セキュリティコストが経済的価値と一致しない非線形スケーリングが生じる。
2. プライバシー問題：グローバルな台帳は、すべてのバリデーターが平文のトランザクションデータ、残高、およびスマートコントラクトのロジックを閲覧することを要求する。これにより、疑似匿名アドレスであっても、トランザクショングラフ分析を通じてユーザーの匿名性が剥がされる可能性がある。

Monero や Zcash などの既存のソリューションは部分的なプライバシーを提供するが、依然としてトランザクショングラフ構造を露呈させるか、すべてのトランザクションに対してグローバルな参加を必要とする。本論文は、セキュリティが価値に比例してスケーリングし、プライバシーがコンセンサスメカニズムに内在するモデルを提唱する。

2. 手法とアーキテクチャ

Intercloud は、Magarshak Machineモデルに基づき、これを分散環境に拡張して構築された分散経済ネットワークである。その中核的なアーキテクチャ的革新は、整合性レイヤー（ウォッチャーによって保護される）とデータレイヤー（ストリーム所有者とエグゼキューターによって保持される）の厳密な分離にある。

A. 中核コンポーネント

• ストリーム：公開鍵 ($k_i$) が所有する付加専用メッセージログ ($M_i$)。状態は暗号学的ハッシュ ($h_i$) によって定義される。
• ウォッチャースウォーム：セキュリティは、ストリーム状態の平文ではなく暗号学的ハッシュのみを観測するノードの群（スウォーム）によって提供される。これらは残高、金額、またはルールロジックを閲覧しない。
• エポックと VRF 割り当て：時間はエポックに分割される。各エポックの開始時、単一のグローバルな乱数オラクルをシードとする検証可能なランダム関数（VRF）が、各ストリームに特定のウォッチャースウォームを割り当てる。
• ストリーム状態：ストリームは以下の 3 色のいずれかの状態にある：
  • 緑：最終性到達（過半数以上の証明）。
  • 黄：トランザクション進行中；最終性未達成。
  • 赤：汚染検出；次のエポックのシャッフルまでストリームは信頼されない。

B. 主要メカニズム

1. リップル去重：
   グローバルな調整なしに無限の反応的実行ループを防ぐため、すべての実行リップルには、発信元 ID、メッセージハッシュ、エポックからなる一意の識別子 ($rID$) がタグ付けされる。ノードは 2 エポック分、既に見た$rID$のローカルハッシュテーブルを維持する。ノードが現在のエポックですでに処理したリップルを受信した場合、それを破棄する。これにより、グローバルなコンセンサスなしに、有限時間（$N$ ホップ）内での終了が保証される。

2. 威嚇効果コンセンサス：
   競合する値の間でノードが選択する従来の投票プロトコルとは異なり、Intercloud は欠如の証明（attestation of absence）を使用する。あるスウォームが、特定のハッシュに対して対立する証拠を一切見ていないことを、エポック中にガossip 経由で独立して検証する過半数（>2/3）が揃ったとき、最終性が到達する。

   • 汚染証明（PoC）：ウォッチャーが同じエポック内で 2 つの異なるハッシュに対する証明に署名した場合、それは自動的に自己証明的な PoC を生成する。この証拠は反論不可能であり、第三者による検証を必要としない。
   • 抑止：PoC を作成すると、即時かつ取り返しのつかない有罪判決と、ノードのステークの没収（スラッシング）につながるため、「威嚇効果」が生じる。

3. 経済モデルとローカルコイン：

   • Intercoin：「セキュリティ重み」を表すグローバルな準備通貨。
   • 裏付け不変性：すべてのストリームは、保持する価値に比例する Intercoin ($INTER_i$) をステークしなければならない。セキュリティ重みは、ドット積の恒等式 $V_i = \sum (balance[c] \times exRate(c))$ によって経済的価値を自動的に追跡する。
   • スウォームサイズ：ウォッチャースウォームのサイズ ($n_i$) は、ストリームの Intercoin ステークの平方根に比例する（$n_i \approx c\sqrt{INTER_i}$）。1 ドルを保持するストリームは約 35 人のウォッチャーを使用し、100 万ドルを保持するストリームは約 35,000 人を使用する。
   • コインとコンテンツの分離：「コインレイヤー」（残高、送金、為替レート）は整合性レイヤー上のハッシュとして可視化され、規制当局が総括的な価値の流れを観察することを可能にする。「コンテンツレイヤー」（メッセージ、合意）はエンドツーエンド暗号化され、ウォッチャーには不可視のままとなる。

3. 主要な貢献と理論的結果

本論文は、システムの特性を証明する定理の形式スタックを提示する：

• 分散リップル終了（定理 2）：グローバルな調整なしに、ローカルな去重とホップごとの正の料金に依存して、反応的実行リップルが有限ネットワーク内で $N$ ホップ以内に終了することを証明する。
• スウォームセキュリティ（定理 3）：Hoepman の下限 [2] を適応させ、標準パラメータにおいてサイズ $n \approx 35$ のスウォームが、ネットワーク全体のサイズ $N$ に関わらず、確率 $1 - e^{-s}$ で二重支払いを防止するのに十分であることを示す。セキュリティは価値の平方根に比例してスケーリングする。
• 不一致の特性化（定理 9）：2 つの正しいクライアントが対立する最終性証明を持つためには、敵対者が同時に（a）割り当てられたスウォームの過半数を侵害し、かつ（b）両方のクライアントをすべての誠実なノードから隠蔽（エクリプス）する必要があることを証明する。この事象が発生する確率は無視できるほど小さい。
• ブリダン原則の非適用性（定理 10）：コンセンサスメカニズムが Lamport のブリダン原則の対象とならないことを示す。決定が 2 つの競合する値間の連続的な選択ではなく、証明の数という離散整数に基づく証拠の欠如に基づいているため、システムは無限の決定的不能を回避する。
• 合理的な不汚染性（定理 15）：ゲーム理論を用いて、いかなる合理的なノードもストリームを汚染しようとはしないことを証明する。汚染のコスト（ステークした Intercoin の没収）は、特に獲得した報酬の即時引き出しを防止するベスティングメカニズムを考慮すると、潜在的な利益を厳密に上回る。
• セキュリティは価値を追跡する（定理 16）：裏付け不変性とドット積の恒等式を通じて、ストリームに割り当てられるセキュリティ重みが、その経済的価値に自動的に比例することを証明する。
• 最小限のグローバルコンセンサス（定理 12）：必要とされる唯一のグローバル合意は、VRF の乱数シードのシーケンスであることを確立する。他のすべてのコンセンサスはストリームのスウォームに局所的であり、トランザクションあたりのグローバルコストをエポックあたり $O(N)$ メッセージに削減し（実質的にゼロに均質化）、これを実現する。

4. 結果と意義

本論文は、Intercloud が先行システムには見られない特性のユニークな組み合わせを達成すると主張する：

• 非線形検証コスト：トランザクションあたりの検証コストはネットワークサイズに依存せず（均質化された $O(1)$）、代わりにトランザクション価値の平方根に比例してスケーリングする。
• ハッシュのみのプライバシー：ウォッチャーノードは平文を閲覧しないため、トランザクショングラフを露呈させる既存のプライバシーコインよりも強力なプライバシー保証を提供する。
• 自己較正型セキュリティ：システムは手動設定なしに、より高価値のストリームに自動的により多くのセキュリティを割り当てる。
• 明示的な最終性：ユーザーは自身のリスク許容度を選択できる（緑を待つこと vs 黄を受け入れること）。これは、すべての紛争に対して単一のグローバル解決を強制するのではなく、現実世界の経済的リスク評価をモデル化するものである。
• 規制上の観測可能性：規制当局は、プライベートなトランザクション詳細にアクセスすることなく、ストリーム間の経済的価値（Intercoin 重み）の流れを観察でき、透明性とプライバシーのバランスが取れている。

本論文は、Intercloud が分散状態機械の経済がグローバル台帳なしで協調する新たなパラダイムを定義し、ビザンチン投票を「威嚇効果」コンセンサスに置き換え、セキュリティコストが保護される価値に比例してスケーリングすることを保証すると結論付けている。