技術要約：並列性の危うさ：実行の不確実性下におけるトランザクション手数料メカニズム

1. 問題提起

現代のブロックチェーンは、実行によるボトルネック（コンセンサスではなく実行に起因するもの）を克服するために、直列実行から並列実行へと移行しつつある。並列実行（Sui、Solana、Monad、Ethereumなどが採用または計画している）は容量を増加させる一方で、実行の不確実性（コンティンジェンシー）とリソースの競合を伴う際に、2つの重大な経済的課題をもたらす：

1. 実行のコンティンジェンシーとリスク配分： 表現力豊かなスマートコントラクト言語（チューリング完全）において、トランザクションのリソース使用量（アクセスされるオブジェクト）は、多くの場合、実行時のブロックチェーンの状態に依存するため、実行前にそれを知ることはできない。これは、ユーザーのリスク（使用されない宣言済みオブジェクトに対して過払いすること）と、スケジューラのリスク（予約された容量が支払われないために収益を失うこと）の間の緊張関係を生み出す。
2. ガス計算へのシルの攻撃（Shill Attacks）： 並列設定向けに設計された既存のガス計算メカニズム（GCM）（例：シャプレー値や時間比例メイクスパン）は、合理的な操作に対して脆弱である。ユーザーもスケジューラも、計算されるガスや手数料を戦略的に変更するために、「シル（偽の）」トランザクションを注入することができる。ユーザーは無用な並列トランザクションを追加することで手数料を下げることができ、スケジューラは偽の競合を追加することで手数料を吊り上げることができる。

本論文は、現在の設計が、並列性、実行の不確実性、および経済的な堅牢性を同時に考慮できておらず、結果として非効率性と悪用可能な脆弱性を招いていると主張している。

2. 方法論とモデル

著者らは、不確実性を伴う並列実行下でのトランザクション手数料メカニズム（TFM）を分析するためのフレームワークを定式化する。

• トランザクションモデル： トランザクション $tx$は、計算ユニット$t$、優先手数料$g$、および宣言された読み取り/書き込みセット$(R, W)$によって定義される。決定的なのは、*実際の*アクセスされるオブジェクト（$X_R, X_W$）は、実行パスに応じて宣言されたセットのサブセットになり得る（コンティンジェンシー）という点である。
• 手数料の定義： 本論文では以下を区別する：
  • 達成可能手数料 ($f_{att}$): すべての宣言されたオブジェクトが使用された場合の手数料。
  • ベースライン手数料 ($f_{base}$): 決定的なオブジェクトのみに対する手数料。
  • ユーザー理想手数料 ($f_{ui}$): 実際に使用されたオブジェクトちょうどに対する手数料。
  • 実際の支払手数料 ($f_{act}$): 実際に徴収される手数料。
• リスク指標：
  • **ユーザーリスク ($UR$):**$f_{act} - f_{ui}$ （過払い）。
  • **スケジューラリスク ($SR$):**$f_{att} - f_{act}$ （未実現の収益）。
• 敵対モデル： ユーザーとスケジューラは、コストを最小化するか収益を最大化するように、シルトランザクションを挿入できる、合理的で経済的に動機付けられたエージェントとしてモデル化される。
• 複雑性分析： 著者らは、実行前にオブジェクトの使用量を予測することの困難さを分析するために、複雑性理論（特にP完全性）を利用する。

3. 主な貢献と結果

A. リスク排除の同時実現の不可能性

本論文は、根本的な不可能性の結果を証明している：実行前にトランザクションを事前実行するか、定数手数料に収束させない限り、ユーザーリスクとスケジューラリスクを同時に排除できるメカニズムは存在しない。

• 定理1： スケジューラが計算リミット $G$（ブロックが許容する以上の作業を行えない制約）に拘束されている場合、競合するコンティンジェントなトランザクションを含むすべての入力に対して、$UR=0$かつ$SR=0$ となるような支払いを設定することは不可能である。
• 定理2 (P完全性)： 特定のオブジェクトがコンティンジェントなトランザクションによって使用されるかどうかを判定すること（オブジェクト使用決定問題）は、P完全である。これは、オブジェクトの使用を検証するには、実行時間に比例した逐次的な作業が必要であることを意味しており、スケジューラが実行前に「安価に」使用量を予測することは計算量的に不可能であることを示唆している。
• トレードオフ： 本質的な線形トレードオフが存在する。ユーザーリスクを減らす（使用されたオブジェクトのみに課金する）ことは、スケジューラリスク（収益の損失）を増大させ、その逆も同様である。

B. リスク分割メカニズムの特性化

不可能であることを踏まえ、著者らは $\alpha \in [0,1]$ によってパラメータ化された3つの標準的なリスク分割メカニズムを通じて設計空間を特性化している：

1. ユーザーフレンドリー ($\alpha=0$): ユーザーは実現された実行に対してのみ支払う ($f_{act} = f_{ui}$)。スケジューラがすべてのリスクを負う。
2. スケジューラフレンドリー ($\alpha=1$): ユーザーは宣言されたすべてのオブジェクトに対して支払う ($f_{act} = f_{att}$)。ユーザーがすべてのリスクを負う。
3. イーブン・スティーブン ($\alpha=0.5$): リスクが均等に分割される。
   論文では、これらを異なるスケジューラの効用モデル（楽観的、悲観的、中央値）の下で分析し、収益への影響をマッピングしている。

C. シル攻撃と手数料ベースのシル耐性

本論文は、コンティンジェンシーが存在する場合、標準的なGCMの特性（集合包含など）はシル攻撃を防ぐには不十分であることを指摘している。

• ユーザーによるシル攻撃： ユーザーは、自身の真のトランザクションの実効ガス/手数料を減らすために、偽のトランザクションを注入する。
• スケジューラによるシル攻撃： スケジューラは、正直なユーザーに課されるガス/手数料を増やすために、偽のトランザクションを注入する。
• 手数料ベースのシル耐性： 著者らは、優先手数料と実行のコンティンジェンシーを考慮し、ガスではなく手数料に基づく新しいシル耐性の定義を提案している。彼らは、ユーザーフレンドリーなメカニズムにおいて、手数料がスケジュールの独立性を持つ場合にのみ、シル耐性が達成可能であることを証明している（定理3）。

D. オブジェクト加重TFM (OW-TFM)

これらの問題を解決するために、著者らはオブジェクト加重トランザクション手数料メカニズム (OW-TFM) を提案している。

• メカニズム： 手数料は、トランザクションによって宣言されたオブジェクトの価格に基づいて計算される。ここで、オブジェクト価格は（EIP-1559と同様に）過去の利用率に基づいて更新される。
• リスクのパラメータ化： このメカニズムは、ユーザーが宣言されたが使用されなかったオブジェクトに対してどれだけ支払うか ($\alpha \cdot \text{price}$) を決定するために、パラメータ $\alpha$ を使用する。
• シル耐性： OW-TFMは、特定の条件下でシル耐性を持つことが示されている。価格は過去のブロック利用量から導出されるため、現在のブロックにおけるシルトランザクションが、現在のブロックにおけるオブジェクトの価格を下げることはできない（将来の価格を上げることはできる）。
• 条件： 補題4は、スケジューラのシル攻撃を防ぐために必要な $\alpha$ の閾値を、優先度対ベース手数料比 ($\pi_o$)、価格応答性 ($\eta$)、および保持率 ($\gamma$) に依存する形で確立している。

4. 重要性と主張

本論文は、並列ブロックチェーンの手数料メカニズムを評価および設計するための厳密な基礎を提供すると主張している。その重要性は以下の点にある：

1. 根本的な限界の特定： 並列実行におけるユーザーの公平性とスケジューラの収益との間の緊張関係は、設計上の欠陥ではなく、実行の不確実性と計算複雑性の直接的な帰結であることを示している。
2. 脆弱性の露呈： 既存の並列ガス計算の提案（シャプレーベースのアプローチなど）が、合理的なシル攻撃に対して脆弱であることを明らかにした。これは、これまで文献で扱われてこなかった脅威である。
3. 設計フレームワークの提供： 設計者がリスク配分戦略を明示的に選択しながら、操作に対する耐性を維持できる、原理的な設計空間（$\alpha$ スペクトル）と具体的なメカニズム（OW-TFM）を提供する。
4. 業界への関連性： これらの結果は、主要な並列チェーン（Sui, Monad, Solana）の設計や、アクセスリストを介したEthereumの並列実行ロードマップに直接適用され、それらを批判するものである。

著者らは控えめなトーンを維持しており、自らの研究が単一の「完璧な」解決策を規定するものではなく、根本的な制限とトレードオフを特定するものであることを強調している。また、実用的な展開には、確率的な実行モデルや特定の実施詳細に関するさらなる検討が必要であることも認めている。