技術白書 v2.3
BlazePhoenix-Dex は、一つの主張の上に築かれたオンチェーンの流動性アグリゲータです。すなわち、見積もりとその執行は同一の計算である、という主張です。経路は、それを執行する取引の内部で、公開されたプールの状態から、誰でも再実行できる状態を持たないライブラリによって導かれます。決済時に拘束力を持つ数は、執行中のフレームで同じディスパッチャによって再導出されます。ルーティングサービスも、価格オラクルも、キーパーも、アップグレード経路もありません。本書は五つの契約 — Core、Hub、Solver、Router、Quoter — と、メタ方程式（Meta-Equation）の作用素を規定します。すなわち、八重のディスパッチャ Ω（Eightfold Dispatcher Ω）、決定的導出 𝒟（Deterministic Derivation 𝒟）、鉄則の下限 Φ（Iron-Law floor Φ）、活力場 Ψ（Vitality Field Ψ）、そして詐欺対策射影子 Ξ（anti-scam projector Ξ）です。それらの背後には一つの規律、計量的設計（Metrological Design）があります。測れる座標はすべて測り、残りは単調にして、偽の入力がそれを与えた者だけを害するようにすること。あらゆる保証は、その強制箇所と限界とともに述べられます。検証装置はその分母とともに印字されています。リリースプロファイルで 1,320 件中 1,319 件のテストが緑、厳選した 203 体中 203 体のミュータントを撃墜、43 の状態付き不変条件に狙いを定めた 15 体中 14 体のミュータントを検知、強度 2（63 行、258 組）と 3（168 行、1,636 組）の被覆配列、14 + 5 のメタモルフィック関係、互いに一致する三つの最適化ビルド、そして見積もりがどう古びるかについての 240 標本の調査です。それらが何を立証しないのかも、同じだけ注意深く述べられています。ここで記述するコードは V2 であり、デプロイされていません。デプロイ済みの世代は V1 で、両者が決して混同されないようコードハッシュで固定されています。
ステータス：本書が記述するものと、デプロイされているもの
本書が記述するバージョン 2 のツリーはリポジトリにあり、デプロイされていません。デプロイ済みの世代はバージョン 1 で、両者が決して混同されないよう、すべてのネットワークでコードハッシュにより固定されています。本書のあらゆる数は main 8949a9d 上で測定され、その分母とともに印字されています。日本語の全文: https://blazephoenix.xyz/whitepaper/ja.md。優先するのは英語の原文: https://blazephoenix.xyz/whitepaper.md
§1 問題：見積もりとは、誰か他人が計算した約束である
ディーラーが二十軒ある街で車を売ると想像してください。良い仲介者は二十軒すべてを回り、最良の価格を見つけ、場合によっては売却を二軒に分けます。オンチェーンの「仲介者」の多くは自前のデータベースで価格を調べ — それは古いかもしれません — 結果をあなたに見せます。彼らが二十軒すべてを見たのか、最良のものを見せたのかを、あなたは検証できません。検証できるのは、彼らがこれまでのところ正直であった、ということだけです。
§2 その答えと規律
BlazePhoenix-Dex には、六つの値 — 二つのトークン、数量、あなたの下限、受取人、期限 — を取るエントリポイントがあり、それを執行する取引の内部で、公開状態であるプールのリザーブから経路を割り出します。どの取引会場を使うか、それぞれにいくら振るか、どの順序で行うか。経路は公開状態から公開コードによって導かれたので、誰でも同じ導出をやり直せます。
§3 メタ方程式（Meta-Equation）と依存の予算
アグリゲータ全体は、一つの式の最大化として読むことができます。入力トークン t_in、出力トークン t_out、数量 x が与えられると、Solver は許容される経路の中から、実現可能性の下限と詐欺対策のゲートのもとで、正味の受取価値を最大化するものを探索します。
§4 八重のディスパッチャ Ω（Eightfold Dispatcher Ω）
平たく言えば、あらゆる種類のプールを値付けできる一つの関数です。厳密に言えば、Core の universalQuote(QuoteCtx, amountIn) が、Solver のための、そして Quoter のプレビューのための見積もりディスパッチャです。期待される出力と、分割配分器（Split Allocator）のためのトークン建ての深さを返し、値付けできないプールはゼロを返して、何かが送られる前に除外されます。
§5 Uniswap V4 を端から端まで
Uniswap V4 は新しいプール契約ではありません。それは取引会場の新しい形であり、2020 年から 2024 年のあいだに作られたあらゆるルータが立脚する四つの前提を無効にします。プールにはアドレスがありません。ハッシュを鍵とする、一つのシングルトンのストレージ上の項目です。スワップの内部で任意のコードが走ります。ルータが行っている決済の定められた地点でフックが実行されるのです。手数料は一定である必要がありません。そしてプールはチェーンのネイティブ通貨を保持しうるのに、それには balanceOf がありません。本節は四つすべてに構造的に答え、V4 の脚が — Solver にとっても、下限にとっても、取引者にとっても — 他のどの脚とも区別できないようにします。
§6 Solidly ソルバー
不変条件の中には、安全に再現できるほど単純な閉じた形を持たないものがあり、それを再現すること自体が、本プロトコルが他の場所では拒んでいる複製リスクそのものです。そうした取引会場については、ディスパッチャがその会場の公開する最も狭い正直な経路を通じてプールに問い合わせます。そして、答えないフォークのために複製を予備として持ちます。
§7 決定的導出 𝒟（Deterministic Derivation 𝒟）
プールは値付けされる前に、まず見つけられなければなりません。業界の答えは尋ねることです。取引会場のファクトリへの呼び出しがストレージのマッピングを読んでアドレスを返し、呼び出し側はファクトリの言い分を受け入れます。BlazePhoenix はその答えも支えます — 四つのファクトリ呼び出しモードが、デプロイを再現できない会場を覆います — が、算術が許すところではより強い答えを選びます。すなわち、外部呼び出しなしにアドレスを計算することです。計算されたアドレスは、同じ三つの入力を持つ誰にでも検証できます。取得されたアドレスは、信じるほかありません。
§8 モノスロット（Monoslot）
EVM で何かをする際の支配的な費用はストレージです。コールドの SLOAD は 2,100 ガスであり、プールの属性を別々のスロットに散らすレジストリは、評価するあらゆる経路で、あらゆるプールについて、あらゆる属性ごとにその代価を払い直すことになります。BlazePhoenix はプールのルーティング状態全体を一つの 256 ビット語 — モノスロット — に詰め込み、一度読んで純粋な算術で復号します。
§9 自己修復レジストリ（Self-Healing Registry）と活力場 Ψ（Vitality Field Ψ）
多くのアグリゲータが自分の取引会場を知っているのは、キーパーがオフチェーンでプールを索引し、リストをオンチェーンに押し込むからです。信頼されたプロセス、古さの窓、そして運用上の依存 — 経路をオンチェーンで解くプロトコルには受け入れられない三つです。BlazePhoenix は逆の立場を取ります。レジストリは、流動性を取引することによって流動性を学びます。
§10 経路づけと分割配分器（Split Allocator）
定数積プールは一つの規則で値付けします。二つのリザーブの積は決して縮んではならない、という規則です。手数料保持率 γ で Δ を注ぐと（0.30 % の会場手数料は γ = 0.997 を意味します）、受け取るのは yγΔ / (x + γΔ) であり、分母には自分の入力が入っています。一つのプールに押し込むほど、その先の各トークンの取り分は悪くなります。スリッページは算術であり、その処方もまた算術です。同じペアの複数のプールに同じ注文を分割すれば、どのプールも動かす量が減ります。
§11 実行層と鉄則の下限 Φ（Iron-Law floor Φ）
Solver は提案し、Router が処理します — 原子的に、さもなければ何もしません。Router は資金を動かす唯一の契約であり、取引と取引のあいだに何も保持せず、一つの原則の上に建てられています。関心事ごとに一つの仕組みを、普遍的に適用すること。測れるものについては、何も仮定しません。
§12 見積もりの面と、見積もりの古び方
「あなたの見積もり」と呼ばれる数の出どころは二つあり、それらは別のコード経路です。一つはインターフェースが署名の前に呼ぶ読み取り専用のプレビュー契約 Quoter、もう一つは Solver と Router が執行中の取引の内部で見積もりを計算するフレーム内経路です。§4.4 は種類ごとの真実を与えました。本節は面を示し、両者の差を測ります。
§13 手数料の方針：二つの制度と剰余規則（Surplus Rule）
平たく言えば、プロトコルは 0.28 % を一度だけ、一つの測定された金額から、国庫が保有したい通貨で受け取り、受け取ったことを記録します。厳密に言えば、PROTOCOL_FEE_BPS = 28 は Core のコンパイル時定数であり、デプロイされたバイトコードのどこにもセッタはありません。手数料は mulDivUp(base, 28, 10,000) — 切り上げなので、ゼロでない基数に対してゼロ手数料は到達不能です — であり、TREASURY1_SHARE = 3,000 bps を第一の国庫へ、残りを第二の国庫へ（fee − t1 として計算するので、二つの合計は塵を残さず常に手数料に一致します）分配します。二つの国庫は構築時に固定され、一方通行の扉（One-Way Door）によって永久に凍結できます。
§14 セキュリティモデル
平たく言えば、Router は取引と取引のあいだに何も保持せず、あらゆるスワップは全か無かであり、このリポジトリが検討した各攻撃クラスには、名前の付いた検査で答えるか、対象外であると名指しで述べるかのいずれかです。厳密に言えば、脅威カタログは docs/assurance/threats.json であり、公開された攻撃の記録から引いた 23 クラスです。各クラスはそれを拒む防御シンボルを名指しし、CI スクリプトはそのシンボルが src/ から消えるか、名指しされたテストが test/ から消えればビルドを失敗させます。カタログの網羅は、何が検討されたかの下限であって、何が存在するかの上限では決してありません。
§15 検証装置、実測
平たく言えば、ここにあるあらゆる数は、それが測られた分母の傍らに印字され、清浄なチェックアウトからスクリプトまたは名指しの forge コマンド（付録 C）で再計算でき、その後に何を立証しないかが続きます。厳密に言えば、測定されたツリーは main 8949a9d と、それになったブランチであり、リリースプロファイル（optimizer_runs = 300、via_ir）、2026-09-05 です。
§16 アーキテクチャとサイズ
平たく言えば、五つの契約があり、そのうち一つは他の四つが取り込む純粋な数学で、数学のどの部分も二度定義されていません。厳密に言えば、Core はストレージも所有者もアップグレード経路も持たない、状態を持たないライブラリです。Hub、Solver、Router、Quoter はそれを取り込み、どれもプリミティブを再定義しないので、数学に対する一度の監査があらゆる利用者を覆います。
§17 実測された性能
平たく言えば、本節のすべては実在するチェーンのフォーク上で測定されました — 実在の取引会場、見知らぬ人が預けた実在のリザーブ、一つのバイトコード — そして、まさにそのようにラベル付けされています。厳密に言えば、ある数がここに現れるのは、リポジトリ内の公開ハーネスがそれを再現できるときだけです。ハーネス、チェーン、日付はその傍らに印字されます。フォークでの測定は挙動についての証拠であって、デプロイの記録ではありません。デプロイの記録は §19 です。§12 と §15 の測定は 2026-09-05 のものです。本節のキャンペーンは 2026 年 8 月に実施され、そのハーネスは test/fork/ にあります。
§18 骨まで削ぎ落としたDEX
17節分の仕組みを1ページに。仕事は一つだけ：2つのトークン、数量、あなたの最低受取額、受取人、期限を受け取り、チェーンの公開流動性が届けられる最大の出力を返す——さもなくば理由を示すコードで拒否する。5つのコントラクトが一つの数学を共有し（Core、Hub、Solver、Router、Quoter）、6種類のvenueは一つのディスパッチャーで価格付けされ、4つの入口は一つの実行器に通じ、すべての取引の下には3つのフロアとあなた自身の最低額がある。0.28%の手数料はコンパイル済みで、誰にも動かせない。
§19 デプロイ状況
本書はリポジトリを記録するものであり、リポジトリが正典です。この文とソースが食い違う場合、勝つのはソースです。二つの世代が存在し、それらは決して混同されません。
§20 トークン — BZPX
10億BZPX、永久に固定、素のERC-20：小数18桁、ミント経路なし、送金手数料なし、リベースなし、送金フックなし、一時停止もブラックリストもなし。バージョン2.3の配分：市場流動性 520,000,000 (52%)、Stakingエミッション 180,000,000 (18%)、Airdrop & Bounties 130,000,000 (13% — 旧エアドロップ50,000,000、旧研究プール50,000,000、市場流動性から移した30,000,000)、チーム 103,000,000 (10.3%)、パートナー 60,000,000 (6%)、マーケティング 7,000,000 (0.7%)。
§21 研究プログラムとセキュリティの記録
このプロジェクトがその名に値する研究プログラムを持つより前に、独立した研究者たちが敵対的にソースを読み — 頼まれもせず、何の約束もないままに — 見たものを非公開で開示しました。本書が記述するコードは、彼らの読みを生き延びたコードです。それぞれが何を報告し、それがどうなったかは、そうした記録があるべき場所にあります。すなわち、リポジトリの SECURITY.md と SECURITY_HALL_OF_FAME.md の中、コードの隣、すべての項目を双方向に確かめられる場所です。本節は、彼らが誰であるか、敵対的に読むことに何が支払われるか、そして見つかったものの形を記録します。
§22 信頼しなければならないものと、その必要がないもの
どのプロトコルも自らをトラストレスだと称しますが、その例外を列挙できるものはほとんどありません。ここにその全一覧があります。それぞれの権限を、それを区切る一線とともに述べます。
§23 関連研究
経路づけ。Angeris、Evans、Chitra、Boyd は、定数関数マーケットメイカーをまたぐ経路づけを、最適解が会場間の限界価格を等しくする凸計画として定式化しました。Diamandis、Resnick、Chitra、Angeris はそれに対する効率的な双対分解アルゴリズムを与えています。
§24 結論
私たちは一つの規律の上にアグリゲータを築こうとしました — 信じず、測れ — そして、数を誰かの言葉で受け取ることもできたあらゆる地点でその規律を守ろうとしました。経路も、価格も、下限も、手数料の基数も、取引会場の集合も、あるプールが取引していると称するペアも、さらにはプロトコル自身の費用モデルさえも。
Questions, a partnership or a bug to report? Contact us or email contact@blazephoenix.xyz