💻 computer science

Reveal, Correct, Then Pay: Encrypted Mempools and Perpetual Funding Security

本論文は、暗号化メモプールは最大抽出可能価値（MEV）に対しては有効であるものの、コミット・フェーズにおける即時的な修正裁定取引を妨げることで、結果として経済的な反応の空白と価格形成の遅延を生じさせ、それによってステート操作攻撃を増幅させるという、パーペチュアル・フューチャーズのファンディングにおけるセキュリティ上の脆弱性を図らずも創出していると論じている。

原著者： Benjamin Marsh

公開日 2026-07-16

📖 1 分で読めます☕ さくっと読める

CC BY 4.0

原著者： Benjamin Marsh

原論文は CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) でライセンスされています。 ✨ これは以下の論文のAI生成解説です。著者が執筆または承認したものではありません。技術的な正確性については原論文を参照してください。免責事項の全文を読む

暗号資産のデジタル世界を、人々が毎秒ごとにデジタル資産を取引している巨大で賑やかな市場として想像してみてください。この市場には、「メムプール」と呼ばれる特別な待機室があり、そこには取引が公式に処理され公開記録に追加されるまでの間、取引が留まっています。通常、この待機室はガラス箱のようなものです。取引が成立する前に、あなたが何を売買しようとしているのかを誰もが見ることができます。この透明性には欠点があります。ずる賢いボットがあなたの注文を覗き見、あなたと同じものをより安く買い、その直後にあなたに対してより高い価格で売りつけるために、あなたの前に割り込むことができるのです。これは「フロントランニング」と呼ばれ、まるで誰かがあなたがコンサートチケットを買おうとしているのを見て、あなたよりも先に最高の席を買い占め、その後あなたにチケットを2倍の価格で売りつけるようなものです。

これを防ぐために、エンジニアは「暗号化メムプール」を発明しました。これは、すべての取引を解読不能な頑丈な金庫に入れるようなものだと考えてください。金庫はシステム内を移動し、取引が公式に列に並ぶまさにその瞬間まで、その中身を誰にも見せません。これにより、ボットがあなたの特定の取引を見つけて列に割り込むことができなくなります。一見、完璧な解決策のように思えます。しかし、この論文はトリッキーな問いを投げかけています。もし、取引を金庫に入れている本人こそが、不正を働こうとしている者だったらどうなるでしょうか？もし攻撃者が自分の行動を正確に把握している一方で、市場側はその意図を知らないとしたら？この論文は、暗号化されたメキズムが、攻撃者のための「目隠し」として機能してしまうのではないか——つまり、本来なら価格の誤りを修正するはずの「市場の自然な矯正機能」を盲目にすることで、結果的に攻撃者を助けてしまうのではないかという問題を調査しています。

「Reveal, Correct, Then Pay（明らかにし、修正し、その後に支払う）」と題されたこの論文は、「パーペチュアル・フューチャーズ（無期限先物）」、つまり資産価格に対する長期的な賭けが行われる世界における、特定の種類の手口を調査しています。著者であるBenjamin Marsh氏（Sei Labsおよびポーツマス大学）は、暗号化メムプールは「他者」への攻撃を防ぐには優れているものの、意図せずして「攻撃者自身」による市場操作を容易にしてしまう可能性があると主張しています。

問題の核心は、タイミングのギャップにあります。通常の市場では、誰かが価格を押し上げようとしたり下げようとしたりすると、他のトレーダーが即座にそれを察知して介入し、価格を再び適正な状態に戻します。しかし、暗号化メムプールを使用している場合、市場は「金庫」が開けられ、中身が公開されるまで待たなければなりません。金庫が開いて市場が何が起きたかを理解する頃には、攻撃者はすでに罠を仕掛け終えています。論文は、これが「リアクション・ギャップ（反応の空白）」を生み出すことを示しています。たとえ金庫が開くのがわずか数分の一秒であっても、その微小な遅延によって、市場の自然な矯正機能が同じバッチ内の取引の中で動くことができなくなるのです。

著者らはこれを「ファンディング・レート（資金調達率）」という概念を用いてモデル化しています。これは、パーペチュアルな賭けの価格を実際の市場価格に近づけるためにトレーダー間で行われる支払い制度です。攻撃者は、この価格シグナルをわずかに歪ませる取引を隠すことができます。暗号化フェーズの間、市場は盲目であるため、歪みは透明な市場よりも長く持続します。論文は、この遅延によって攻撃者がより多くの利益を得られることを証明しています。具体的には、攻撃者が得られる利益は、攻撃者のターゲット設定能力と「レスポンス・ファクター（反応係数：歪みの持続性を含む）」の積に対して、単なる比例関係ではなく、二次関数的（quadratic）に増加することを見出しました。これは、攻撃者のターゲット設定能力が変わらなくても、市場の修正能力がわずかに低下するだけで、攻撃者の潜在的な利益が劇的に増加し得ることを意味します。

この論文は、暗号化があらゆる操作に対する普遍的な盾であるという考えを明確に否定しています。著者は、自分自身で作った取引である「自己生成型（self-authored）」の攻撃において、隠蔽は攻撃者自身の意図を隠すことはできないものの、市場の防御側からは意図を隠してしまうと論じています。もし攻撃者がすでにポジション（例えば、価格が上がると予想する賭け）を持っている場合、暗号化を利用して価格シグナルを歪ませ、金庫が開くのを待ち、市場が即座に反応できない間に、通常よりもはるかに大きな報酬を回収できることを著者らは示しています。

しかし、この論文は単に問題を指摘するだけではありません。解決策も提示しています。著者らは、これらの市場が従うべき新しいルールとして、「Reveal, Correct, Measure, Then Pay（明らかにし、修正し、測定し、その後に支払う）」を提案しています。金庫を開けてすぐに新しい価格に基づいて支払うのではなく、システムは待つべきであると説いています。金庫を開け、市場の「矯正者」が歪みを検知して修正するのを待ち、その修正後の価格を測定し、それから支払うのです。これにより、「修正バッファ（修正のための猶予）」が生まれ、攻撃者が報酬を受け取る前に、市場が傷を癒やす時間が確保されます。

著者らの結論は非常に精密です。彼らは数学的モデルとシミュレーションを用いて、この「リアクション・ギャップ」が現実的かつ測定可能な危険であることを示しています。彼らは、たとえ小さな遅延であっても、特に市場が通常非常に迅速に修正を行う環境においては、攻撃者の利益を大幅に増大させることを計算しています。また、リスクを3つの要素（攻撃者の盲目度、市場が修正を阻害される度合い、および市場が予測可能な支払いに基づいて資本化する度合い）に分解した「セキュリティ・インデックス」も導入しています。彼らの数学的解析によれば、暗号化は、攻撃者が自身の参入価格を隠す能力を守ると同時に、市場の価格修正能力を盲目にする場合、かえって有害となり得ることが示されています。

要約すると、この論文は、取引を金庫にロックすることは、ユーザーがスナイピング（不当な先回り取引）から守られるためには素晴らしいことであるが、システムに「冷却期間」が組み込まれていない場合は裏目に出る可能性があると示唆しています。もし市場が金庫を開けてすぐに支払ってしまうなら、それは泥棒に罠を仕掛けさせた直後に、誰にも止められないうちに金庫の鍵を渡してしまうようなものです。解決策は、金庫を開け、ガードマンに事後処理をさせ、それから鍵を渡すことです。これにより、プライバシーがユーザーを守りつつ、攻撃者にシステムの操作を許さない仕組みが保証されます。

技術要約：開示、修正、そして支払う（Reveal, Correct, Then Pay）

問題提起
暗号化されたメモプールは、実行順序が確定するまでトランザクションの内容を隠蔽することで、最大抽出可能価値（MEV）を軽減するように設計されている。これにより、被害者のトランザクションを観察することに依存するフロントランニングやサンドイッチ攻撃を防ぐことができる。しかし、本論文は、特にパーペチュアル・フューチャーズ（無期限先物）のファンディング（資金調達率）の文脈において、**自己生成型の状態操作（self-authored state manipulation）**という明確な脆弱性を特定している。これらの攻撃では、攻撃者が状態（例：ファンディング信号）を歪めるトランザクションを自ら作成し、同時にその歪みに伴ってペイオフが増加するダウンストリームの請求権（受取額）を保持する。

核心的な問題は、暗号学的レイテンシではなく、経済的反応レイテンシ（economic reaction latency）である。「コミット・アンド・リビール（約束と開示）」のデザインでは、一度バッチがコミットされると、そのバッチに新しいトランザクションを追加することはできない。たとえ復号が瞬時であっても、適応的な修正トランザクション（例：価格を復元しようとするアービトラージャー）は、リビールされた平文に依存しているため、コミットされたバッチ内で実行することはできない。これにより、歪みが修正されないまま持続する離散的な反応ギャップ（reaction gap）（ $\delta$ ）が生じる。さらに、暗号化は、予測可能なファンディングが入場価格に資本化されることを抑制できるため、攻撃者が歪みが完全に価格に織り込まれる前に安価に受取ポジションを取ることを可能にする。

手法
本論文は、プロトコルの順序規則と市場修正メカニズムの相互作用を分析する、ミクロ経済学に基づいたモデルを構築している。

プロトコルモデル： 著者らは「コミット、リビール、実行、反応（Commit, Reveal, Execute, React）」というシーケンスを定義する。彼らは順序障壁（Ordering Barrier）（補題1）を定式化し、事後的なコミット追加や事前コミットされた条件付きプログラムがない限り、リビール後に計算された適応的修正は、コミットされたバッチ内で実行できないことを証明する。
修正ダイナミクス： 修正セクターは、ポアソン分布に従って到着する機会、局所的な価格インパクト（ $\ell$ $ℓ$ ）、および在庫コスト（ $k_i$ $k_{i}$ ）を持つアービトラージャーの集合としてモデル化される。著者らは2つの修正率を導出する：
- $\rho_c$ : クローズド・ステージ中の修正率（事前コミットまたはネイティブなメカニズムに限定される）。
- $\rho_p$ : 反応ギャップ後の修正率（通常の適応型サーチャーを含む）。
  モデルは、 $\rho_p \geq \rho_c$ であることを確立しており、通常の適応能力が存在する場合には厳密な不等号が成立する。
歪みとペイオフ： ファンディング・ウィンドウに入る期待歪みは、反応ギャップ $\delta$ 、修正率 $\rho_c$ および $\rho_p$ 、およびウィンドウ長 $W$ の関数として計算される。これにより、攻撃価値を増幅させる応答係数（response factor） $g(\delta; \rho_c, \rho_p, W)$ が得られる。
二重台帳構造： モデルは、シグナル台帳（ファンディングレート）と税基盤台帳（受取額）を分離する。これらは、可視性が予測可能なファンディングの入場価格への資本化に与える影響を、係数 $\zeta$ を用いて分析する。
セキュリティ指標： 攻撃がスケーラブルかどうかを判断するためのローカル・セキュリティ指標 $\Gamma$ が導出される。論文は、公開（$pub $）レジームと暗号化（$ enc$）レジームにおける攻撃の期待値を比較する。

主な貢献

順序障壁（The Ordering Barrier）： 本論文は、リビール後のトランザクションの受け入れが不可能であることが、復号速度とは無関係に、離散的な経済的反応ギャップを生み出すという、コミット・アンド・リビール・デザインの因果的特性を孤立させている。
反応ギャップの操作： 著者らは、一回限りの歪み攻撃の期待値を正確に導出している。彼らは、 $\rho_p > \rho_c$ である限り、応答係数 $g$ は反応ギャップ $\delta$ に対して厳密に増加することを示している。したがって、攻撃者が十分なターゲティング能力（ $m$ ）を保持している場合、暗号化は攻撃の収益性を高める可能性がある。
二重台帳のプライバシー・マルチプライヤー： 論文は、暗号化の効果を以下の3つの構成要素に分解して導入している：
- 攻撃者の盲目性（Attacker Blindness）： ターゲティング能力（ $m$ ）の喪失。
- 修正の遮蔽（Correction Shielding）： 反応ギャップによる歪みの持続性の増加（ $g$ ）。
- 資本化の遮蔽（Capitalization Shielding）： 非表示の入場による、入場価格への資本化の減少（ $\zeta$ ）。
  セキュリティ指標 $\Gamma$ はこれらを組み合わせ、暗号化が「盲目性」の効果よりも「遮蔽」の効果が上回る場合に有害となり得ることを示している。
復号を考慮したファンディング・ルール： 論文は、特定のプロトコル・シーケンスを提案している：リビール、修正、測定、そして支払う（Reveal, Correct, Measure, Then Pay）。これには、リビール後、ファンディング・シグナルが測定されポジションが確定する前に、パブリックな反応バッファを挿入することが含まれる。

結果

攻撃価値の増幅： 自己生成型攻撃において、暗号化は操作の期待値を増大させることがある。具体的には、攻撃者が公開時のターゲティング能力の一定以上の割合（ $m_{enc}/m_{pub}$ ）を保持している場合、応答係数 $g$ （反応ギャップによる）および資本化コストの減少が、情報の喪失を上回る。
閾値： 論文は明示的な閾値を導出している。例えば、クローズド・ステージでの修正がなく、反応ギャップがファンディング・ウィンドウの10%であるシナリオでは、ターゲティング能力が変わらない場合、攻撃価値は約3.24倍に増加する。ターゲティング保持率が56%を超えている場合、暗号化は依然として有害である。
資本化チャネル： 「税基盤」チャネルは強力な増幅器であることが示されている。公開された可視性が予測可能なファンディングの80%を入場価格に反映させるが、暗号化によってこれが0%になる場合、暗号化が有害となる閾値は大幅に低下する（例：ターゲティング保持率が約11%にまで下がる）。
高速な復号単体では不十分： 結果は、暗号学的レイテンシ（復号時間）を短縮することは必要条件ではあるが、十分条件ではないことを示している。リビール前に受け入れを終了するプロトコルであれば、順序障壁は残り続け、経済的反応ギャップは存続する。

意義と主張
本論文は、暗号化されたメモプールが普遍的に経済的操作を減少させるわけではないと主張している。それらは被害者に依存するMEVに対しては効果的であるが、攻撃者を修正的な市場勢力や入場価格への資本化から遮蔽することで、意図せず自己生成型の状態操作を容易にする可能性がある。

著者らは、状態依存の移転（パーペチュアル・ファンディングなど）のセキュリティは、暗号化によって作成される情報スケジュールに対して、アプリケーションがいかに適応できるかに依存すると論じている。結論として、暗号化を放棄することではなく、リビール後、かつ支払い前において、修正と資本化を可能にするアプリケーションレベルのメカニズムと組み合わせることで、反応ギャップを閉じ、市場の効率性を回復させるべきであると述べている。つまり、トランザクションのプライバシーと市場の完全性は、暗号化が作り出す特定の情報スケジュールに合わせてアプリケーションが設計されている場合にのみ両立するのである。

技術要約：開示、修正、そして支払う（Reveal, Correct, Then Pay）

関連論文