「この損益はすでに清算済みだ」という一文は、無期限先物のルールの下では、裁定待ちの主張にしかならない。
Tribe Perpetual のマルチアセット流動性プールモデルを背景に、あるポジションの存否が外部オラクルから送られる数列に依存すると仮定する。業務レイヤーで扱うべきなのは、メッセージがどのように転送されるかではなく、裁定そのものが成立するかどうかである。すなわち、主張がどのポジションにアンカーされているか、提出された価格データがそれと整合しているか、オンチェーンの契約が独立して検証できるか、そして検証結果が清算エンジンにどの処理権限を与えるのか。参入のための閾値がなければ、どのノードも有利な見積りを提出できる。検証可能な証拠が欠ければ、プロトコルは採用または拒否の根拠を失う。
したがって、oracle verification は業務上の裁定の中間層に位置する。それは「ある源がこのように報告した」という主張を「当該データが監査可能である」に変換し、その監査結論を清算ロジックへ渡す。この位置づけが、ポジションが一貫して清算され得るか、そして同じ流動性プールをより多くの資産へ拡張できるかを左右する。単なる取るに足らない餌付け説明のようなものではない。
低遅延の価格伝送とオンチェーン・デリバティブの安全性仮定に関する関連研究では、ちょうどこの点が難所になっている。論文とインフラ案は、pull-based oracle のコスト、遅延、そしてゲーム理論上の境界を議論し、無期限先物の清算シナリオで、価格検証がオンチェーン・デリバティブにとって重要であることを示している。これらは研究背景にすぎず、なぜ価格主張が受理されにくいのかを説明し得ても、「現在 TMX が特定のオラクル方式を統合済みである」ことや「製品アーキテクチャとしての帰結」の証拠として表現することはできない。
初期の perp DEX の実践も、流動性プールは従来の板(オーダーブック)に依存せずとも、高レバレッジ・ポジションを検証可能に清算できることを示している。これは capital-efficient なマーケットメイキングを CEX へ移す必要がないという方向性を補強するものであり、本稿の裁定プロセスには関与しない。
TMX のあるポジションを眺めるとき、私は一つだけ疑問を残す。――この清算状態は、何の検証可能な情報で裏付けられているのか?
#termmax @TermMax
Tribe Perpetual のマルチアセット流動性プールモデルを背景に、あるポジションの存否が外部オラクルから送られる数列に依存すると仮定する。業務レイヤーで扱うべきなのは、メッセージがどのように転送されるかではなく、裁定そのものが成立するかどうかである。すなわち、主張がどのポジションにアンカーされているか、提出された価格データがそれと整合しているか、オンチェーンの契約が独立して検証できるか、そして検証結果が清算エンジンにどの処理権限を与えるのか。参入のための閾値がなければ、どのノードも有利な見積りを提出できる。検証可能な証拠が欠ければ、プロトコルは採用または拒否の根拠を失う。
したがって、oracle verification は業務上の裁定の中間層に位置する。それは「ある源がこのように報告した」という主張を「当該データが監査可能である」に変換し、その監査結論を清算ロジックへ渡す。この位置づけが、ポジションが一貫して清算され得るか、そして同じ流動性プールをより多くの資産へ拡張できるかを左右する。単なる取るに足らない餌付け説明のようなものではない。
低遅延の価格伝送とオンチェーン・デリバティブの安全性仮定に関する関連研究では、ちょうどこの点が難所になっている。論文とインフラ案は、pull-based oracle のコスト、遅延、そしてゲーム理論上の境界を議論し、無期限先物の清算シナリオで、価格検証がオンチェーン・デリバティブにとって重要であることを示している。これらは研究背景にすぎず、なぜ価格主張が受理されにくいのかを説明し得ても、「現在 TMX が特定のオラクル方式を統合済みである」ことや「製品アーキテクチャとしての帰結」の証拠として表現することはできない。
初期の perp DEX の実践も、流動性プールは従来の板(オーダーブック)に依存せずとも、高レバレッジ・ポジションを検証可能に清算できることを示している。これは capital-efficient なマーケットメイキングを CEX へ移す必要がないという方向性を補強するものであり、本稿の裁定プロセスには関与しない。
TMX のあるポジションを眺めるとき、私は一つだけ疑問を残す。――この清算状態は、何の検証可能な情報で裏付けられているのか?
#termmax @TermMax