技術要約：有用な作業によるプルーフ・オブ・ワーク（PoUW）の経済学

問題提起

ビットコインのようなプルーフ・オブ・ワーク（PoW）ブロックチェーンは、経済的には意図的に無用とされる計算量の支出を通じて、分散型台帳を保護している。この「浪費」は、攻撃を経済的に困難にするために必要であると主張されているが、外部的な価値を生成することはない。新たな代替案であるプルーフ・オブ・有用な作業（PoUW）は、コンセンサスに使用されるこれと同じ計算リソースを用いて、機械学習（ML）の推論といった経済的に価値のあるタスクを同時に実行することを提案している。

しかし、PoUWは重大な経済的批判に直面している。もしその「作業」が有用であるならば、攻撃者は生成された有用な出力を販売することで、理論上「攻撃に対して報酬を得る」ことが可能になり、ネットワークを侵害するための経済的コストを崩壊させる可能性があるという懸念である。本論文は、この直感が競争均衡条件下において成立するかどうかを形式的に調査し、PoUWシステムの経済的トレードオフを特徴付けることを目的とする。

方法論

著者らは、PoUWブロックチェーン経済の競争均衡モデルを構築している。このモデルは、基礎となるコンセンサス・プロトコルを抽象化し（標準的なナカモト型プロトコルを想定）、以下の3つの活動への計算リソースの割り当てに焦点を当てている。

1. 純粋なマイニング ($M$): セキュリティ（ハッシュレート）を生成するが、有用な出力は生成しない。
2. 純粋な推論 ($L$): 有用な出力（例：ML推論）を生成するが、セキュリティは生成しない。
3. デュプレックス（複合物）またはハイブリッド作業 ($D$): セキュリティと有用な出力を同時に生成するが、技術的なオーバーヘッドを伴う。

主要なパラメータ:

• オーバーヘッド ($\alpha, \gamma$): デュプレックス演算は、$1/\alpha$ 単位の推論と $1/\gamma$ 単位のセキュリティを生成する。ここで $\alpha, \gamma \ge 1$ である。$\alpha=1$ かつ $\gamma=1$ の場合、デュプレックスは完全に効率的であるが、通常は $\alpha, \gamma > 1$（例：1.3）であり、これは特化型タスクと比較して約23%のオーバーヘッドを表す。
• デュプレックス・オーバーヘッド指数 ($\Delta$): $\Delta = \frac{1}{\gamma} + \frac{1}{\alpha} - 1$ と定義される。これは、デュプレックスが純粋なマイニングと純粋な推論の間でリソースを分割する場合よりも効率的であるかどうかを決定する。
• トークン・推論比率 ($\theta$): $\theta = \frac{PR}{pQ}$ と定義されるスカラーパラメータである。ここで $P$ はトークン価格、$R$ はブロック報酬、$p$ は推論価格、$Q$ は総推論供給量である。この比率は、トークン経済と推論市場の間の経済的結合の度合いを測定する。

モデルは、自由参入を伴う連続的な競争エージェントを想定しており、均衡においては利益がゼロになる。推論市場はベルトランド競争としてモデル化され（価格は限界コストに等しくなる）、セキュリティ市場はタロック・コンテスト（ハッシュレートに比例して報酬が分配される）としてモデル化されている。

主要な貢献と結果

1. 3つの経済レジームの特性化

本論文は、デュプレックスの効率性 ($\Delta$) と T/I 比率 ($\theta$) によって決定される3つの明確なレジームを明らかにする、均衡割り当てと価格の完全な閉形式による特性化を提供している。

• Bitconia（ビットコニア、$\Delta < 0$）: デュプレックスが技術的に非効率である。この経済は古典的なPoWシステムに還元され、マイニングと推論は完全にデカップルされている（$M > 0, L > 0, D = 0$）。推論価格は計算コスト ($p=e$) に等しく、セキュリティはすべて無駄な計算によって生成される。
• Fortessia（フォルテシア、$\Delta > 0, \theta < \theta_{low}$）: デュプレックスは効率的であるが、トークン経済が相対的に小さい。デュプレックスが純粋なマイニングを置き換えるが（$M=0, D>0$）、単独の推論は依然として活動している（$L>0$）。推論価格は $p=e$ に固定されており、有用な計算の量はBitconiaの場合と変わらない。しかし、デュプレックスのオーバーヘッドが純粋なマイニングの「浪費」よりも小さいため、セキュリティは厳密に増加する。これによりセキュリティが「要塞化」される。
• Duplexia（デュプレキシア、$\Delta > 0, \theta > \theta_{low}$）: 技術とトークンの採用の両方が強力である。単独の推論は消失し（$L=0$）、すべての推論はデュプレックス作業を通じて生成される。決定的なことに、推論価格は計算コストを下回る（$p < e$）。ブロック報酬は実質的に補助金として機能し、推論市場をスタンドアロンの最適値以上に拡大させる。これは正のフィードバックループを生み出す：価格の低下が推論需要を高め、それが（固定された $\theta$ の下で）トークン価値を高め、さらなる補助金を増幅させる。

2. 「支払われる攻撃」というストローマンの論破

本論文は、「PoUWは攻撃者が有用な出力を売却できるため、攻撃を安価にする」という批判に正式に対処している。

• 結果: いかなる競争均衡においても、50%攻撃の経済的コストは正確に $\frac{PR}{2}$ である。
• メカニズム: デュプレックス計算を使用する攻撃者は推論収益 ($p/\alpha$) を得るが、均衡価格 $p$ は、セキュリティウェイトを獲得するための純コストがブロック報酬予算に結びついたままになるよう調整される。攻撃者がデュプレックスを使用する場合、得られる収益はトークン価格の低下、あるいは特定の均衡条件によって相殺され、攻撃コストがブロック報酬に紐付いたまま維持されることが保証される。Duplexiaにおいては、拡大した推論市場によって駆動されるトークン価値の上昇により、コストはBitconiaよりもむしろ高くなる。

3. 社会的価値と効率性

本論文は、単独の推論市場および古典的なPoWと比較した、PoUWの純社会的価値 ($\Delta SV$) を分析している。

• Bitcoinとの比較: 同一のブロック報酬 ($PR$) において、DuplexiaはBitcoinを厳密に凌駕する。なぜなら、同じ支出が純粋な浪費ではなく、価値のある推論を生成するからである。
• 固定された $\theta$ での比較: 同一の T/I 比率で均衡を比較する場合、DuplexiaはBitcoinのマイニングの浪費を回避するが、2つのコストを導入する：
  1. デュプレックス・オーバーヘッド: 有用な作業を行いながらマイニングを行うことによる非効率性。
  2. 死荷重（デッドウェイト・ロス）: 補助金が価格を限界コスト以下に低下させ、消費者が資源コストよりも高く評価する単位の消費を誘発する。
• 優位性の条件: 弾力性 $\varepsilon > 1$ の指数関数的需要の下では、DuplexiaがBitcoinを厳密に凌駕するのは $\theta < \frac{1}{\varepsilon - 1}$ の時のみである。$\varepsilon = 2$ の場合、Duplexiaは推論市場の収益がブロック報酬収益を上回る場合に限り、Bitcoinを凌駕する。

4. 頑健性と異質性

結果は、異質な計算コスト（上昇する供給曲線としてモデル化）の設定にも拡張される。レジーム構造（Bitconia, Fortessia, Duplexia）は不変であり、固定コスト $e$ は内生的な限界コスト $e^*$ に置き換わる。攻撃コストの結果（$PR/2$）もこの設定において保持される。

重要性と主張

本論文は、ヒューリスティックな議論を超えて、PoUWの最初の形式的な経済均衡分析を提供したと主張している。その主な意義は以下の通りである。

1. セキュリティの検証: 「支払われる攻撃」という議論がストローマンであることを証明している。すなわち、均衡価格が外見上のコスト低減を中和し、セキュリティコストをブロック報酬に結びつけたままにすることを実証している。
2. 価値創造の特定: 特定の条件（高いトークン採用率と効率的なデュプレックス技術）の下で、PoUWは「デュプレックス・ゲイン」を生み出すことができる。これは、ネットワークセキュリティを同時に高めつつ、ブロックチェーンなしでは存在しなかったであろう社会的有用な計算（推論）の供給を拡大させるものである。
3. インセンティブの整合性: モデルは、トークン保有者がデュプレックス効率の技術的改善（推論価格を下げ、トークン価値を高める）から利益を得、推論プロバイダーがトークン採用から利益を得るという、自然なインセンティブの整合性を示唆している。

著者らは、PoUWがすべての非効率性を排除するわけではない（オーバーヘッドや潜在的な死荷重は残る）ものの、特定の経済パラメータ（特に T/I 比率と需要弾力性）が「Duplexia」レジーム内に収まっている限り、PoWの「浪費」を社会的に有用な出力へと変換するメカニズムを提供すると結論付けている。