DeFiの用語を、 定義する

金融サービス — 取引、貸付、ステーキング — を銀行やブローカーの代わりに公開スマートコントラクトが運用するもので、ウォレットさえあれば誰でも利用できます。 続きを読む ›

ほとんどのDeFiが動くプログラム可能なブロックチェーン。BlazePhoenixはEthereumとそのL2（Base、Optimism、Arbitrum、Robinhood Chain）に同じバイトコードをデプロイします。 続きを読む ›

BlazePhoenixがデプロイされ、7つの取引場に接続されているEVMネットワーク（chain id 4663）。ネイティブのETH、ラップされたWETH、USDGステーブルコインを備え、Blockscoutエクスプローラーがあります。 続きを読む ›

Robinhood Chainで深い建値資産として使われる米ドルステーブルコイン（0x5fc5…d168）。BlazePhoenixはこれとWETHを介してマルチホップ経路を橋渡しします。 続きを読む ›

ほとんどのDEX流動性が存在するプールを持つ、正典的なAMM設計（V2/V3）。BlazePhoenixはこれと8種の取引場形状にまたがって経路を選びます。 続きを読む ›

見た価格と実際に得た価格との差で、建値から約定までの間に相場が動くことで生じます。最小出力の下限（minOut）で上限を設けます。 続きを読む ›

自分自身が生むコストの部分。有限のプールに対して取引すると、トークンを取るにつれ価格が動きます。薄いプールは大きな注文を最も厳しく罰します。 続きを読む ›

スマートコントラクトが保有する2つのトークンの山で、誰でもそれらに対して取引できます。山の比率が価格を決め、実際のオンチェーンの深さがコストを決めます。 続きを読む ›

オーダーブックの代わりにプールの残高から取引を値付けする数式。定数積（x·y=k）は常に建値を持ち、価格インパクトはそこで手数料を課す部分です。 続きを読む ›

取引がスマートコントラクトに対して直接オンチェーンで執行される市場で、資金を預かるカストディアンは一切存在しません。 続きを読む ›

最良の執行を求めて多数のプールにわたりスワップの経路を選ぶツール。BlazePhoenixは建値をオンチェーンで計算するので、オフチェーンのサーバーを信頼する必要がありません。 続きを読む ›

ブロックチェーンにデプロイされたコードで、書かれた通りに正確に動作し、その権限が放棄された後は管理者が変更や停止をできません。 続きを読む ›

プールのコントラクトが実際にはオンチェーンで保有していない、宣伝されたプールの深さ — 実際に支払うことになるスリッページと、ハニーポットが支払えないトークンです。 続きを読む ›

隠れたコントラクトのロジックにより、買いは成功し売りは失敗するよう設計されたトークン。チャートは上昇するのに、ほぼ誰も脱出できません。 続きを読む ›

内部関係者がトークンの流動性を抜き取ったり隠された供給を売り浴びせたりして、価格をゼロに崩壊させる出口詐欺。 続きを読む ›

ブロック内の取引を並べ替え、挿入、または検閲することでボットが引き出す利益 — サンドイッチ攻撃の背後にある力です。 続きを読む ›

保留中の取引を見て、それが引き起こす価格変動から利益を得るために先回りすること。 続きを読む ›

外部データ（価格など）をスマートコントラクトに供給する橋渡し役 — そしてフィードが操作可能なときの典型的な攻撃対象面です。 続きを読む ›

プールに預けた2つのトークンの価格が乖離したときに流動性提供者が被る損失で、単に保有し続けた場合との差です。 続きを読む ›

両方のトークンをプールに預けてその取引手数料の分け前を得る人で、その見返りにインパーマネントロスのリスクを負います。 続きを読む ›

プロトコルに預けられた資産の総額 — 人気の指標であって安全の保証ではありません。実際の流動性の深さこそが、あなたが実際に脱出できる先です。 続きを読む ›

時価総額は価格×供給量（見出し）で、流動性は実際に脱出できる先です。時価総額が実際の深さをはるかに上回るとき、その価値の大半は到達不能です。 続きを読む ›

プロトコルが負っているものを賄うのに十分な資産を保有していることの、検証可能なオンチェーンでの証明 — チームを信頼せずに確認できます。 続きを読む ›

スワップで受け入れる最小の出力量。取引がそれを届けられない場合、より悪い条件で成立させる代わりにリバートしなければなりません。 続きを読む ›

コントラクトが統一的に扱えるよう、標準のERC-20トークンとしてラップされた同じETH。常に1:1で償還可能で、別の資産ではありません。 続きを読む ›

あなたのトークンを動かすためにコントラクトへ与えられた恒常的な許可。取引が終わっても残るので、無制限の承認は見直して取り消すべき現存するリスクです。 続きを読む ›

通常は$1という一定の価値を保つよう設計されたトークンで、法定通貨、暗号資産、またはアルゴリズムに裏付けられます。ペッグはその背後にある設計の強さでしかありません。 続きを読む ›

オンチェーンで取引を執行するために支払うネットワーク手数料で、そのチェーンのネイティブコインで価格が付き、混雑状況によって変動します。 続きを読む ›

あなたのオンチェーン資金を管理する秘密鍵を保持するソフトウェア — 資金そのものではありません。シードフレーズこそが資金です。決して共有しないでください。 続きを読む ›

システムのすべての許された変換のもとで真であり続ける性質。BlazePhoenixでは、安全性こそが不変量です。それを破るような取引は存在し得ません。 続きを読む ›

システムが変化しても測定可能な量が決して変わらないと述べる法則。ステーキング台帳はその一つに従います — 入る価値は計上される価値に等しく — 取引ごとに強制されます。 続きを読む ›

例でテストする代わりに数学によってソフトウェアの正しさを証明すること。不変量駆動のコントラクトはその性質をランタイムに押し込みます。EVM自体が違反する状態を拒否します。 続きを読む ›

各リクエストが必要なすべてを携える設計 — 破損しうる保存されたセッションがありません。BlazePhoenix Coreは純粋なライブラリです。ストレージも、オーナーも、アップグレード経路もありません。 続きを読む ›

望む結果に署名し、オフチェーンのソルバーがそれを満たそうと競い合います。強力ですが、そのオークションは信頼が必要な層です — 経路をオンチェーンで計算するのとは正反対の賭けです。 続きを読む ›

EVMには浮動小数点がないため、スケールされた整数で分数を表現します（ここではWAD = 1e18）。正しさには、スケールされた積が決してオーバーフローしないよう、全精度の乗算が必要です。 続きを読む ›

各ステップで正しい桁数を倍にする反復的な求根法（二次収束）。BlazePhoenixはそのモジュラー形を用いて、奇数の除数を4ビットから256ビットまで6ステップで逆算します。 続きを読む ›

プロトコルに資本を供給することでトークン報酬を得ること。BlazePhoenixは2つの異なる流れ — 発行と借り手の利息 — を、1つのステーク基盤上の2つのアキュムレータから、相互補助なしで支払います。 続きを読む ›

ビットコインのホワイトペーパー（2008年）の匿名の著者。その冒頭の一文 — 金融機関を介さない決済 — は、Nakamoto Testが照らし合わせる信頼最小化のビジョンを定義します。 続きを読む ›

Ethereumの共同創業者。彼の2014年のホワイトペーパーは、ビットコインの信頼の除去を決済から任意の計算へと一般化しました — あらゆる本格的なスマートコントラクトプロトコルが受け継ぐ系譜です。 続きを読む ›

Routerが執行時に測定された数量からオンチェーンで再導出する、最小出力の下限レート。呼び出し側はそれを厳しくできても、決して緩められません。レートは80%を下回らないよう固定され、プロトコル手数料の前に最終ホップのオンチェーン建値へ適用されます。 続きを読む ›

形式化する対象 Minimum output (minOut).

合計ではなく分割経路の各レッグに適用される同じ保証。各レッグは計画された出力の少なくとも8,000ベーシスポイントを届けなければならず、経路が良いレッグの陰に悪いレッグを隠すことはできません。 続きを読む ›

形式化する対象 Minimum output (minOut).

プールの健全性フィールド。経路化されたスワップのカウンターが実時間で減衰し — 沈黙のおよそ6.8時間ごとに半減し、約9日で0に達する — 対数深度のバケットで重み付けされ、ブリッジと集中のボーナスが付きます。地位は経路として通されることでのみ獲得され、どの取引場が検討されるかを決めますが、それぞれが何を支払うかは決して決めません。 続きを読む ›

形式化する対象 Liquidity pool.

ステーキング台帳が従う唯一の方程式で、conservesガードによって取引ごとに強制されます。それを破るような取引はリバートし、誰でもどのブロックでも無料でその結果を読めます。 続きを読む ›

形式化する対象 Conservation law.

最大の実tokenOut残高を持つプールに錨を下ろした信憑性フィルター — 真実は単なる存在ではなく資本で投票します。統計的な頑健性を提供するのではなく攻撃のコストを引き上げます。本当に最も深いプールである攻撃者が錨を支配します。 続きを読む ›

形式化する対象 Blockchain oracle.

そのフィルターの幅。レートが錨の±4%の外にある候補は、経路化の前に落とされます。1つの観測だけを囲む帯は情報を持たないため、単一の候補は決して除外されません。幅は導出された量ではなく、プロダクトとしての決定です。 続きを読む ›

形式化する対象 Blockchain oracle.

最適な分割のもとで取引場が経路に加わるべき順序。手数料調整後のスポット価格γy/xの降順で、各取引場の入力ゼロでの限界リターンであり、オラクルもシミュレーションもなく準備金だけから計算できます。 続きを読む ›

形式化する対象 Automated market maker (AMM).

あらゆる経路決定 — 参入、順序付け、分割、そして下限 — がオンチェーンのプール状態とコントラクト定数だけから計算されます。プロトコルは外部の価格ソースを一切消費しないので、どのオラクルの障害モードも継承せず、その操作を持ち込むこともできません。 続きを読む ›

形式化する対象 Blockchain oracle.

その制約が、オフチェーンで生成されて単に検証されるのではなく、取引を執行するコード自身によってオンチェーンで強制される保証。保証がどこに存在するかについての言明です。約束されるのではなく監査可能 — 自動的により強いわけではありませんが、確認可能です。 続きを読む ›

形式化する対象 Decentralized exchange (DEX).

リバート抽出による執行水準の再建値。プールの実際のスワップをコール内で走らせ、リバートし、差分をデコードします — リバートはエラーではなく答えです。 続きを読む ›

形式化する対象 Automated market maker (AMM).

8つのAMM種にまたがる1つの建値関数 — 数式が真実であるところでは閉形式の数学、複製が嘘をつきかねないところではプールに問う。 続きを読む ›

形式化する対象 Automated market maker (AMM).

プールの動作状態全体を1つの256ビットのストレージワードに詰め込むので、候補の採点は複数回ではなく1回のSLOADで済みます。 続きを読む ›

形式化する対象 Smart contract.

8種の取引場形状にわたるCREATE2アドレス導出 — 正当なプールのアドレスはそれが存在する前に計算できるので、なりすましはアドレスの不一致になります。 続きを読む ›

形式化する対象 Smart contract.

流動性を執行することで学習する取引場レジストリ。決済されたすべてのスワップがプールを刻むか挿入し、バイタリティの減衰とΨ順位付けによる退避が、キーパーなしでそれを整えます。 続きを読む ›

形式化する対象 Decentralized exchange (DEX).

5つの反証可能な問い — 決済、検証、存続、許可、透明性 — が、ビットコインとEthereumのホワイトペーパーの創設ビジョンに照らして、あらゆるプロトコルを測ります。 続きを読む ›

形式化する対象 Decentralized finance (DeFi).

境界で検査され、違反時にフェイルクローズする数学的な不変量によってシステムを統べる — プロトコルの背後にあるパターンであり、AIエージェントを整合させるためのテンプレートです。 続きを読む ›

形式化する対象 Invariant (mathematics).

BlazePhoenixのあらゆる比率が通る512ビットの乗算してから除算（mulDiv）。中間の積は決してオーバーフローしないので、いかなる報酬、比率、利息の分け前も1weiたりともずれません。 続きを読む ›

形式化する対象 Fixed-point arithmetic.

1つのステーク基盤上の2つのMasterChef方式のアキュムレータ — 発行はブーストされた実効ステークに、利息は純粋な貯蓄者のみに — どのステーキングの役割も他を補助せず、すべて1つの支払い能力の不変量のもとにあります。 続きを読む ›

形式化する対象 Yield farming.