ブログ

なぜ暗号資産のSORは株式のルーティングより難しいのか — 統合テープの不在、幻の流動性、事前入金された資本。数式とPythonによる凸最適化ルーティング、メイカーを意識した戦術、自前のTCAから作る取引所別マークアウト・リーグテーブル。

メイカー対テイカーは、手数料体系をまとった逆選択トレードである。Glosten-Milgromによる損益分岐点の数式、実際の暗号資産手数料ティアとトークン割引、リベートマイニングの歴史、キュー依存のリベート価値、そしてバックテストにおける階層型手数料のモデル化を解説する。

Peroldのインプリメンテーション・ショートフォールを暗号資産ボット向けの実用的なTCAパイプラインへ:到着価格による分解、t+1s/10s/60sでのマークアウト曲線、自分の約定ログに対する約200行のPython、そしてその結果をバックテストのコストモデルへ還元する方法。

Aave v3とCompoundのリクイデーションが実際どう機能するか——ヘルスファクターの数式、クローズファクター、リクイデーションボーナス、Chainlinkオラクルのトリガー、そして2026年にフラッシュローン・リクイデーションボットを運用するために必要なもの。

Uniswap v3がその内部で実際にどう動いているか: 仮想リザーブ、リクイディティL、sqrtPriceX96、ティック数学、feeGrowthInside、そしてなぜLPポジションがショートボラティリティのペイオフなのか。正確な数式と数値例付きで解説する。

パブリックRPCに送信されるすべてのスワップは、誰も履行する義務のない、可視化された指値注文である。MEV抽出の仕組みを技術的に解説する: メモリプールの順序付け、Uniswap v2におけるサンドイッチの数理、PGA、Flashbots、そしてトレーダーの防御策。

終値約定から確率的キューポジションモデルまで、約定シミュレーションの忠実度を5段階のはしごで解説。部分約定を状態機械として捉え、指値約定確率の上下限をPnLブラケットとして扱い、実約定データに対するキャリブレーションループを構築する。