ステーキングエンジン 白書 v1.0
BlazePhoenix ステーキングエンジンは、BZPX のための単一資産の金庫であり信用枠でもあり、どこにもオラクルを置きません。担保と負債が同じトークンだからです。マスター保存恒等式（Master Conservation Identity）は、価値を動かすすべての取引において conserves 修飾子によって強制されます。台帳が契約の保有量を超えて請求することになる取引は、リバートします。発行はブロック時計上の閉じた式として、2年間の期間8回（eight two-year periods）にわたって半減します。二次関数のブーストはロック期間の確約に報い、7年で最大 2.75× になります。互いに交わらない2つのアキュムレータが、いかなる内部補助もなしに発行と借り手の利息を支払います。メンテナンスは通常の取引に相乗りし、ガス上限で区切られています。そして地球上の誰もが、支払不能のオンチェーン証明とともにサーキットブレーカーを作動させられます。この設計は、BlazePhoenix アグリゲータと共有し、ここではプロトコル自身の資本に適用される一つの規律に立脚します。すなわち、信頼せず、計算せよ。あらゆる利回り、あらゆるレート、あらゆる支払能力の検査は、読者が自分で再計算できる算術によってチェーンの状態から導かれます。価格フィードもキーパー群も、信じなければならないダッシュボードもありません。保証はその縁の正直さの分だけしか正直ではないため、三つの境界を最初に明示します。エンジンは建設中です。これは脚注ではなく、上に掲げた告知です。管理的な役割は存在し、それぞれを、それを区切る一線とともに列挙します。すなわち、価値を動かす権限がステーカーの元本には届かない管理者（§10.3）と、最も強い権限でも資金を一切動かさないガーディアン（§12）です。そしてロックは無条件ではありません。意図的に互いに似ていない2つの停止経路が存在し、それぞれ全文が規定され、その由来は恒久的に記録されます（§12）。読者が評価すべきは、私たちの誠実さではなく、私たちの出典です。
ステータス：エンジンは建設中
BlazePhoenix の流動性アグリゲータは出荷済みの製品です。ステーキングエンジンは出荷されていません。現在、活発に設計・実装が進んでいます。本書はステーキングエンジンの設計を現状のまま規定します。以下に挙げるすべての式、不変条件、定数、エントリポイントは、実装が従うべき仕様です。読者がエンジンの存在以前にそれを評価できるようにするためです。設計を先に公開することは、改変不能なソフトウェアにとって正しい手順です。パッチできない契約は、デプロイの後ではなく前に判断されるべきであり、本書はその判断を可能にするために構築されています。すべての数は再導出でき、すべての保証はその強制箇所と限界を同じ段落の中で述べています。エンジンが出荷されれば、デプロイされたバイトコードが正典となり、本書はその記録になります。それまでの間、本書はエンジンが何になるのかについての、公開された反証可能な主張です。全文（英語）: https://blazephoenix.xyz/staking-whitepaper.md
§1 · 一つの規律、二つのエンジン
BlazePhoenix は、噛み合う二つのエンジン、すなわち流動性アグリゲータとステーキングエンジンから成る完全なオンチェーン金融プロトコルであり、両者は一つの規律を共有します。すなわち、信頼せず、計算せよ。プロトコル内のあらゆる価格、あらゆる利回り、あらゆる支払能力の検査は、読者が自分で再計算できる算術によってチェーンの状態から導かれます。ルーティングサービスも、価格オラクルも、キーパーも、アップグレード経路もありません。多くのプロトコルが信じてくれと求めるところで、本プロトコルは検証するための手段を公開します。
§2 · ステーキングの主題とマスター保存恒等式
アグリゲータは他人の流動性を経路づけますが、プロトコルは自らの流動性も育てなければなりません。BlazePhoenix ステーキングエンジンは BZPX を静的な残高から生産的な資本へと変えます。利回りの器であり、担保付きの信用枠であり、長期保有者をプロトコルの成功に結びつける整合の仕組みでもあります。そしてこれらすべてを、一つの式に統べられた一つの契約の中で行います。
§3 · トークンと発行スケジュール
永久に固定された10億 BZPX、素の ERC-20 として。小数点以下18桁、ミント経路なし、送金手数料なし、リベースなし、送金フックなし、一時停止もブラックリストもなし。これらはステーキングのリポジトリに記録された6つのデプロイ不変条件であり、配線時にトークンのバイトコードと突き合わせて検査されます。完全希薄化後の供給量はジェネシスの時点で判明しています。希少性は方針ではなく契約の性質です。10億のプロトコル配分への割り当ては、プロトコル水準の記録であり、姉妹論文およびトークン自身のオンチェーン記録とともに存在します。本書が担うのはエンジンが強制する部分、すなわち発行予算です
§4 · 必須のロック付きステーキングとブースト曲線
平たく言えば、リキッドステーキングは存在しません。すべての預け入れは選択した期間その資本を確約し、プロトコルはただその期間を守ります。厳密に言えば：
§5 · デュアルアキュムレータ主義（Dual-Accumulator Doctrine）
エンジンは互いに交わらない二つの源泉から二つの異なる利回りを支払い、ステーカーは借り入れるかどうかに応じてその一方または両方を得ます。ここが設計のもっとも微妙な部分であり、一つの契約が預ける側と借りる側の双方に、どちらが他方を補助することもなく仕えられる理由です。会計は DeFi 全体で実績のあるアキュムレータ方式に従います。価値が到着するにつれてシェアあたりのグローバル指数が進み、各ポジションは最後の清算時点の指数を保持し、未払いの利回りはその差にポジションの重みを掛けたものになります。二つのアキュムレータは同じ時計で進みます。すべてのエントリポイントで _updateGlobal が最初に実行され、
§6 · 信用枠
貸付プロトコルは、数学よりもはるかに高い頻度でオラクルのところで壊れます。操作されたフィードは健全な担保を無価値に見せ、あるいは無価値な担保を健全に見せます。そして清算ロジックは、どれほど正しくとも、嘘の上で実行されます。BlazePhoenix はオラクルを堅牢化するのではなく、そのカテゴリ自体を取り除きます。担保資産と借入資産は同じトークンです。ステーカーは BZPX をロックし、それを担保に BZPX を借ります。したがってポジションのローン・トゥ・バリューは一つのトークンの二つの数量の純粋な比、すなわち負債を担保で割った比であり、評価に外部価格を要しません。操作すべきフィードもなく、TWAP の窓もありません
§7 · 清算
累積した利息がポジションの担保を負債の 5% 以内にまで削ったとき、そのポジションは清算可能になります。保証を一文で言えば、ポジションが清算できるのはちょうど debt × 100 ≥ stake × 95 のときであり、これは誰でも呼べる経路でも自律的な経路でも同一に検査され、1ブロックたりとも早くはなりません。差押えはその後、固定の滝順で実行されます：
§8 · 自律メンテナンス（Autonomous Maintenance）
清算は適時でなければならず、利息は積み上がらねばならず、期限切れのロックブーストは解放されねばなりません。この三つに対する業界の通常の答えは、チェーンを見張るオフチェーンのキーパーボット群です。ボットが止まれば、帳簿は腐ります。それはまさに、本プロトコルが他のあらゆる場所で拒んでいる種類の稼働依存です。そこでステーキングエンジンはそれを取り除きます。帳簿は通常の利用の自然な流れの中で、自分自身を掃除します。
§9 · 検証面
価値を預かるプロトコルは、信じてくれと求めるべきではありません。検証するための手段を公開すべきです。ステーキングエンジンは自らの健全性を、公開・無料・オンチェーンの読み取りの集合に変えます。これにより、ステーカーも、監査人も、競合も、懐疑論者も、いかなる者でも一度の eth_call で、契約が負っていると宣言する分を実際に保有していることを確認できます。ダッシュボードも、サブグラフも、インデクサも、信頼も不要です。
§10 · 経済的セキュリティ
エンジンの安全性は、敵対者が破りうる仮定ではなく、敵対者が曲げられない算術に立脚します。オラクルもオフチェーン依存もないため、脅威モデルは異例なほど小さく、残る各脅威は運用者の警戒ではなく、あらゆる取引で強制される構造的性質によって閉じられます。
§11 · ポジションのライフサイクル
前節までの仕組みは、一つのポジションを具体的な数値とともにその生涯を通して追うことで、もっともよく理解できます。この道行きに現れる全体の数値は例示です。ポジションの取り分を計算する際の分母を定めるためのものです。しかし定数も式もすべて契約自身のものであり、以下のあらゆる数はそこから導かれます。
§12 · 緊急事態とブレーカー
ロックは無条件ではなく、そうでないと言えば保証を偽ることになります。停止経路は二つ存在し、それらは意図的に互いに似ていません。
§13 · 結論
私たちは、支払能力をコードについての主張ではなくコードの性質にすることを目指しました。本書が規定するエンジンは、その意図を最後まで押し進めたものです。価値を動かすあらゆる取引でリバート条件として強制される一つの保存恒等式は、通常の運用を通じた支払不能を到達不能にします。単一資産の設計は、多くの貸し手を壊すオラクルを、それが存在しうる前に取り除きます。メンテナンスは通常の利用に相乗りし、ガスで区切られ、キーパーはどこにもいません。そして最後の手段としての停止は、チェーンの状態だけからそれが必要だと証明できる者すべてのものです。
Questions, a partnership or a bug to report? Contact us or email contact@blazephoenix.xyz