Skip to main content
この用語集は、Intentionのドキュメントに最も頻繁に登場する用語を定義します。用語をクリックすると定義が開きます。より詳しい説明と設計上の論拠については、アーキテクチャ節や取引節への相互参照をたどってください。
保険基金の許容量を超える損失を吸収するために、保有中のポジションを強制的に決済するプロトコルネイティブな機構です。対象の選定は、未実現損益と実効レバレッジの組み合わせから決定的に計算されます。ADLを参照してください。
マッチング、クリアリング、決済がひとつのブロックの単位として完結するか、まったく完結しないかのどちらかである、という性質です。約定は存在するのに、その証拠金・記録・決済がまだ存在しない、という区間がありません。このアトミック性はプロトコル自身の台帳を覆います。ブリッジを通した担保の出し入れは外部チェーンのファイナリティに依存し、その外側です。これが置き換える市場インフラを参照してください。
任意に悪意ある参加者が存在しても、故障ステークの割合が一定の上限内であれば安全性とライブネスを保つコンセンサスプロトコルです。IntentionBFTは、ステーク加重で2f+12f+1のしきい値のもとでBFTです。
2つの正直なノードが同じ確定ブロックを同じ事前状態に対してリプレイしたとき、事後状態、イベント、トランザクション単位の出力がバイト単位で一致するという性質です。ユーザーから見た形が決定的リプレイです。ソート済みコンテナの規律、固定小数点演算、差分テストハーネスによって担保されます。
ブロック提案者が行い2f+12f+1のバリデータが認証する、ブロック内のトランザクションの具体的な順序に対する暗号学的コミットメントです。決定的リプレイとトランザクション単位の帰属を支える、コンセンサス層のフックにあたります。IntentionBFTを参照してください。
アカウント内のすべてのポジションが単一の担保資産プールを共有するマージンモードです。あるポジションの利益が別のポジションの損失を相殺できますが、いずれかのポジションで十分に大きな損失が出ればアカウント全体が強制決済されえます。マージンモードを参照してください。
2つの正直なノードが同じ確定ブロックをリプレイすれば、事後状態、イベントストリーム、トランザクション単位の出力がバイト単位で一致するという、プロトコルネイティブな保証です。決定的リプレイを参照してください。
Intentionがユーザーに公開する、プロトコルレベルの可観測量です。ブロック実行の完全なストリームで、バイト単位に決定的かつ暗号学的に検証可能であり、ストリーミングRPCインターフェースとして公開されます。トランザクション単位の帰属をユーザーから見た形にしたものです。
無期限先物のマーケットで、契約価格を原資産のスポット価格につなぎ留めるために、ロングとショートの間で定期的に交換される支払いです。資金調達の決済は、プロトコルが固定のスケジュールで行います。資金調達を参照してください。
決済に影響する処理で使われる価格が、それを消費するトランザクションと同じ2f+12f+1のバリデータ集合により、同じBFTラウンドで署名されるというプロトコルネイティブな保証です。コンセンサス内価格づけを参照してください。
銘柄の原資産について、そのブロックが正規に観測した外部スポット市場の価格であり、コンセンサス内の価格クォーラムを通じて供給されます。インデックスはマーク価格を構成する入力であり、取引が約定する価格ではありません。インデックス価格を参照してください。
Intention L1の上に構築された旗艦の無期限先物DEXです。完全な中央指値注文板、分離マージンとクロスマージン、プロトコルネイティブな強制決済、オンチェーンの流動性ヴォールトを備えます。Intention Exchangeは独自のマッチングエンジンやリスクパイプラインを実装しておらず、IntentionKernelとIntentionBFTを通じて、その下のプロトコルから両方を継承します。プロトコルの保証を本番で使う最初のアプリケーションであり、他の金融ワークロードも同じ基盤の上に続きます。
Intentionのコンセンサスプロトコルです。HotStuff系統のビザンチン障害耐性・部分同期・ステーク加重のプロトコルで、正規順序コミットメント、コンセンサス内の価格クォーラム、バッチ可用性の分離、ステーク加重のリーダー評判で拡張されています。IntentionBFTを参照してください。
Intentionの決定的な状態遷移カーネルであり、汎用の仮想マシンではありません。命令セットが型付き金融プリミティブの列挙（発注、取り消し、マッチ、マーク、強制決済、資金調達の適用、決済、送金）に限られる、閉じた世界の実行レイヤーです。IntentionKernelを参照してください。
ポジションごとに独自の担保資産を割り当てるマージンモードです。そのポジションの損失は割り当てた担保資産を超えず、同じアカウント内の他のポジションを食い潰すこともありません。マージンモードを参照してください。
アカウントエクイティが必要維持証拠金を下回ったポジションを強制的に決済することです。Intentionは段階的に強制決済します。板、強制決済ヴォールト、保険基金、最後にADLです。強制決済を参照してください。
プロトコルが用いる、平滑化された操作耐性のある決済基準です。インデックス、オンチェーンの板、指数移動平均の各成分から導かれる最大5つの候補価格の中央値として、ブロックごとに計算されます。未実現損益と強制決済を駆動します。マーク価格を参照してください。
あるマーケットのすべての建玉を片側で数えた想定元本の合計です。マーケットごとにOIの上限があります。OI上限を参照してください。
ブロック実行中に生じたすべての状態変化とすべてのイベントが、バッチマッチングのもとであっても、それを引き起こした特定のユーザートランザクションに暗号学的に結び付けられるという、プロトコルネイティブな保証です。トランザクション単位の帰属を参照してください。
強制決済、保険基金の会計、自動デレバレッジ、資金調達の決済が、マッチングとアトミックに、同じブロック内で、同じ価格のもとで実行されるプロトコルの状態機械であるという、プロトコルネイティブな保証です。プロトコルネイティブなリスクを参照してください。
既存のポジションを減らすことだけを許し、新規に建てることも積み増すことも許さない注文の修飾子です。意図しないポジションの反転を招かずに、安全に手仕舞いを管理するために使います。リデュースオンリーを参照してください。
同一アカウントの別の注文と約定することを防ぐ、プロトコルレベルの規則です。マッチング層で仮装売買を排除します。セルフトレード防止を参照してください。
あるマーケットで注文に許される最小の価格刻みです。各マーケットには、許される最小の数量刻みを定めるロットサイズもあります。マーケットと精度を参照してください。
時間加重平均価格（Time-Weighted Average Price）。注文タイプとしては、大口注文を多数の小さな子注文に分割し、時間をかけて分散させることでマーケットインパクトを抑える戦略を指します。TWAPを参照してください。
板に流動性を供給し、強制決済を引き受ける、プロトコルが管理する資金プールです。ヴォールトを参照してください。