Lighterは、イーサリアム向けのカスタムゼロ知識ロールアップ上に構築された分散型永久先物取引所であり、すべての注文マッチング、リスクチェック、清算をオンチェーンで証明しつつ、中央集権型取引所並みの低遅延と豊富な流動性を実現することを目指しています。 トレーダーにブラックボックス的なマッチングエンジンを信頼するよう求めるのではなく、Lighterは中核となるロジックをゼロ知識回路にエンコードし、簡潔な証明と状態の更新をイーサリアム上に公開することで、ユーザーが取引所が独自のルールに従っていることを検証できるようにしています。
ビットコインや仮想通貨の取引を安全に試してみたいなら、まずは Bitcoin.com ウォレット ビットコインを安全に購入、保管、管理するために。さらに高度なツールをお探しの方は、当社のプロ向け取引サービスをご覧ください。 orangerock.xyz.
概要
Lighterは、現在のパーペチュアルDEX市場において中間に位置しています。その目的は、 中央集権型取引所（CEX） オンチェーン取引の透明性と自己管理性を維持しつつ。
大まかに言えば：
- ライターは アプリケーション特化型ZK-Rollup (zkLighter) は、注文帳ベースの永久先物取引向けに特別に設計された イーサリアム.
- すべての重要な操作 - 注文照合、資金調達、リスクチェック、および清算 - これらはゼロ知識回路でエンコードされているため、イーサリアムは状態の更新を受け入れる前に、それらがLighterのルールに従っていることを検証します。
- スマートコントラクト イーサリアムで保有中 ユーザー担保と正規状態のルート 取引所のデータ（ポジション、残高、注文板、プール）を反映しています。これにより、ユーザーにはイーサリアム並みのセキュリティ基盤が提供されます。
- お得なプラン 取引手数料無料 通常のアカウントについては、収益化は専門性の高い高頻度取引やプロフェッショナルな取引フロー、およびその他のプログラム取引構造に重点を置いています。
- 暗号資産の永久先物取引に加え、Lighterは以下の機能をサポートしています 実物資産（RWA） 永久先物市場 （例えば、金や株価指数など）および プレローンチ市場これらを、独立したマージンと専用のXLP流動性構造を用いて処理します。
他の永久金利DEXと比較すると：
- dYdX StarkWareで開始し、その後アプリチェーンに移行しました；
- ハイパーリキッド カスタム版を実行する レイヤー1;
- ドリフトとジュピター は ソラナ-ネイティブ;
- ライター イーサリアムのロールアップ上で実行を行い、イーサリアムメインネットに決済を行うことで、イーサリアムのセキュリティを活用しつつ、CLOBパーペチュアル先物に特化したロールアップを実現しています。
トレーダーにとっての最大の魅力はシンプルです。Lighterは高速な中央集権型取引所（CEX）のような使い心地を提供しつつ、マッチングや清算プロセスの重要な部分はすべてイーサリアム上で検証可能であるという点です。
ライターの仕組み
軽量コアとzk-Rollupアーキテクチャ
Lighter Coreは、このプロトコルを支える実行エンジンです。その設計は、プロジェクトの公式ドキュメントに記載されている4つの基本原則に基づいています。すなわち、操作は検証可能でなければならない、ユーザーは常に自身の資産を管理できなければならない、システムはレイテンシとスループットの両面で拡張可能でなければならない、そしてユーザーは常に安全かつ自律的にシステムから退出できる手段を持たなければならない、というものです。
アーキテクチャは、おおむね次のような構成になっています：
- イーサリアムのスマートコントラクト
- ユーザーの預かり資産（USDCやその他の対応担保など）を管理する。
- を保存する 標準状態のルート すべての口座残高、ポジション、注文板をまとめたもので、 流動性プール、および設定パラメータ。
- オフチェーン実行（Lighter Core）
- ユーザーは、Lighterシーケンサーに送信される取引（注文、証拠金の変更、出金）に署名します。
- シーケンサーはトランザクションを先入れ先出し（FIFO）の順序で処理し、マッチングおよびリスクエンジンを実行して、執行後の新しい状態を生成します。
- 実行されたすべての操作は、以下を生成する検証パイプラインに送られます ゼロ知識証明 以下のように示している：
- マッチングは価格・時間優先順で行われ、
- リスクチェックに合格しました、
- 資金残高と損益は正しく更新され、
- 清算手続きは規定通りに進められた。
- プルーフの集約と決済
- 個々の取引のプルーフは、多層集約エンジンを用いて、より大規模なバッチプルーフに集約されます。
- バッチプルーフと新しいステートルートは、以下とともにイーサリアムに送信されます。 データブロブ アカウントごとの変更内容を圧縮して格納したファイル。
- イーサリアムはプルーフを検証し、その後に初めて、スマートコントラクトが正規の状態ルート（canonical state root）を更新し、新しい状態を確定（final）とする。
状態遷移は、すべてのプロセスによって冗長に実行されるのではなく、証明されるため ノード, Lighterは、汎用的なL1や一般的なロールアップが安定して維持できる水準をはるかに超えるスループットとレイテンシを実現できます。
シーケンサー、証人生成器、および証明器
オフチェーンシステムは、いくつかのコンポーネントに分かれています：
- シーケンサー
- ユーザーが署名したトランザクションを受信します。
- ゲームの順序が入れ替わらないよう、決定論的な順序（FIFO）で並べ替えます。
- 照合、証拠金チェック、および資金状況の更新を適用し、順序付けられた状態遷移のストリームを生成します。
- ウィットネス生成器
- シーケンサの出力を「回路に適した」入力に変換する。つまり、状態遷移を、証明器が必要とする低レベルの演算に効果的にマッピングする。
- 検証と集約
- 多数のトランザクションに対して並行して証明を生成する。
- 数十万件のプルーフを1つのバッチプルーフに集約し、イーサリアム上で効率的に検証できるようにします。
このパイプラインにより、Lighterはイーサリアム上で決済を行いながらも、10ミリ秒未満のソフトファイナリティと毎秒数万件の取引処理を実現しています。
エスケープハッチと優先度キュー
設計上の重要な特徴として、シーケンサーやオフチェーンインフラがオフラインになったり、悪意のある動作をしたりした場合でも、ユーザーがシステムから正常に退出できることが挙げられます。
Lighterでは、これを次のように実装しています：
- オンチェーン優先度キュー
- イーサリアム契約内の特別なキューで、ユーザーが送信できる 優先度の高いリクエスト 対象：
- 出金、
- 公共プールの出口、
- IOC注文をリデュース専用にする。
- シーケンサーは、これらを所定の時間枠内で処理する必要があります。
- イーサリアム契約内の特別なキューで、ユーザーが送信できる 優先度の高いリクエスト 対象：
- エスケープハッチモード
- シーケンサーが優先度の高い項目を時間内に処理できなかった場合、システムは 脱出ハッチ:
- メインのスマートコントラクト フリーズする.
- ユーザーは、イーサリアム上に公開されたデータブロブを利用して、自身のアカウントの状態を復元します。
- ユーザーは、所有権に関する簡潔な証明（残高、ポジション、プールシェア）を生成し、出金取引をイーサリアムに直接送信します。
- オフチェーンでの連携は一切不要です。ユーザーは、イーサリアムの不変性と、Lighterによってすでに公開されているデータのみに依存します。
- シーケンサーが優先度の高い項目を時間内に処理できなかった場合、システムは 脱出ハッチ:
このエスケープハッチは、シーケンサーの集中化リスクを軽減することを目的としています。つまり、シーケンサーが消失したり、ユーザーを検閲したりした場合でも、資金は依然として回収可能であるべきです。
注文、約定、および有効期間
ライターは 中央限価注文帳（CLOB） 以下のものを含む、かなり充実した注文タイプと指示のセットを備えており：
- 成行注文
- 最良の価格で直ちに執行する。
- 必要に応じて「平均約定価格の上限」を設定し、全体の約定価格がミッド価格から大きく乖離しないようにします。
- 指値注文
- 指値価格またはそれより有利な価格で執行する。
- サポート：
- 投稿のみ - 注文がメイカー注文としてのみ成立するようにします。もし注文がオーダーブックとマッチしてしまう場合は、その注文はキャンセルされます。
- 削減のみ - 注文により、既存のポジションがゼロに向けてのみ減少することを保証します。
- 有効期間（TIF）付き保険契約
- 有効期限 - 注文は指定された有効期限まで有効です。有効期限が切れた注文は自動的にキャンセルされます。
- 即時約定または取消（IOC） - 未充填の部分は直ちに無効となり、帳簿に残ることはありません。
- 損切り注文と利益確定注文
- マーク価格がユーザー定義のトリガー値を超えた際に発動します。
- 可能 市場 または 上限 注文（オプションで「有効期限」および「減額のみ」の動作を設定可能）。
- TWAP（時間加重平均価格）注文
- 大規模な注文を、指定された期間（30秒間隔）にわたって執行される小さな注文に分割する。
- 「減光専用」としても使用できるため、露出を徐々に減らすのに適しています。
その マッチングエンジン それ自体が強制する 価格・時間優先: 新規のテイカー注文は、最も有利な価格の待機注文とマッチングされます。価格が同じ場合は、より古い注文が先に約定します。取引はメイカー価格にて執行されます。
重要なのは、Lighterのマッチングエンジンが単なる方針に留まらないという点だ。その動作は 証明された ゼロ知識証明において。これらの回路は、オーダーブックとその「オーダーブックツリー」というデータ構造を符号化しており、これにより、マッチングが価格・時間優先順に従って行われ、隠れた順序変更やシャドーフィルが発生しなかったことを証明が保証する。
リスクエンジン、証拠金計算、および注文証拠金
他のパーペチュアルDEXと同様、Lighterは以下の要素に基づいて口座の健全性を追跡します：
- 総口座価値（TAV） - 担保に加え、未実現損益。
- 証拠金要件 - 各市場における当初証拠金、維持証拠金、および強制決済証拠金。
アカウントは、以下のいずれかの方法で実行できます：
- クロスマージン - 各ポジションは共通の担保プールを共有する；
- 孤立マージン - 個々のポジションには専用の担保（AllocatedMargin）が割り当てられており、その健全性は個別に算出されます。
リスクエンジンは、いくつかの安全ルールを適用します：
- 取引 できない 健全な状態を、不健全な状態に変えてしまう。
- 口座の状態がすでに悪化している場合は、取引を通じてその状態を改善する必要があります（例えば、リスクの高いポジションを減らすなど）。
- 指値注文は専用の 注文証拠金 口座の資金状況に応じて、注文簿上の注文が実際に約定できるようになるためです。
取引がこれらのルールに違反する場合、当該注文は取り消されます。これにより、公開されている注文板の内容が、現実的に約定可能な注文の範囲に近くなるよう維持されます。
適正価格の表示とオラクル
Lighterは、多要素アプローチを用いて決定します 基準価格、かつては次のような意味で用いられていた：
- 未実現損益を計算する、
- どの時点で口座が清算の対象となるかを決定し、
- 資金調達レートを算出する。
基準価格には以下が含まれます：
- 影響価格 - 標準的な想定元本（例：500 USDC （初期証拠金率で除した）買い注文と売り注文の合計を、オーダーブックに対して算出した値。
- 保険料の上限付き指数連動型保険料 - 外部指数を基準とし、操作を防ぐために上限（例：±0.5%）が設けられた指数平滑化されたプレミアムを加算して算出される「price1」。
- 外部交換マーク - 複数の中央集権型取引所が報告したマーク価格の中央値。
最終 基準価格 は、これらの構成要素の中央値として定義される。この設計の目的は、以下の通りである：
- オンチェーンのオーダーブックだけでマーク価格が変動する幅を制限し、
- 一時的なスプーフィングや流動性の薄い市場での操作の効果を低下させ、
- 「キーパー・ライター」の基準価格を、市場全体の動向に合わせて調整する。
指数価格については、ライターは次のように述べている コウノトリ を主要なオラクルプロバイダーとし、冗長性を確保するために追加の情報源を用意する。
資金調達
永久先物には満期日がないため、Lighterでは契約価格を現物価格に近づけるために、1時間ごとの資金調整メカニズムを採用しています。
主なポイント：
- 「Lighter」のトラックa プレミアム 価格の変動が指数価格からどれだけ乖離しているかを示すものです。
- この保険料は1分ごとにサンプリングされ、1時間ごとに時間加重平均保険料が算出されます。
- 固定金利期間と保険料を組み合わせて、 資金調達率.
- 時間当たりの資金調達レートは 固定された 極端な支払いを抑制するため、一定の範囲内（例えば、1時間あたり-0.5%から+0.5%の間）に設定する。
- 資金の支払いは ピア・ツー・ピア ロングとショートの間での取引について；Lighterはこれらの送金から手数料を徴収しません。
この設計は、主要な中央集権型永久先物取引所の資金調達構造を踏襲しつつ、Lighterのマーク価格ロジックを組み込んでいます。
主な機能
トレーダーの視点から見ると、Lighterの最も重要な特徴は以下の通りです：
- イーサリアム上で取引所レベルのパフォーマンスを実現
- 専門的な用途向けに設計された zk-rollup 10ミリ秒未満のソフトファイナリティを実現し、毎秒数万件の取引を処理可能です。
- 検証可能なマッチングと清算
- ゼロ知識回路により、注文が価格・時間優先順でマッチングされたこと、リスクチェックが正しく適用されたこと、そして清算がLighterのルールに従って行われたことが証明されます。
- 非カストディアルかつイーサリアム決済
- ユーザーの資産はイーサリアム上のスマートコントラクトに保管されており、ステートルートとバッチ処理されたプルーフは検証のためにイーサリアムに投稿されます。
- ほとんどのユーザーを対象とした手数料無料の取引
- いくつかのガイドやレビューによると、Lighterでは通常口座の場合、取引手数料は無料ですが、より高度なフロー戦略やHFT戦略では手数料が発生したり、異なる条件が適用されたりする可能性があります。
- エスケープハッチによる引き出しと優先度キュー
- シーケンサーが正常に動作しない場合や停止した場合、ユーザーはオンチェーンの優先度キューとエスケープハッチモードを活用し、データブロブから導出された証明を用いてイーサリアムへ直接戻ることができます。
- 高度なパーペチュアル取引機能
- あらゆる注文タイプ（成行、指値、SL/TP、TWAP）、有効期限設定、および「Post-Only」や「Reduce-Only」などのオプションを完備。
- 高度なリスク管理および清算エンジン
- 多段階証拠金モデル（当初証拠金、維持証拠金、強制決済）、部分的および全額の清算、ならびに自動レバレッジ削減が行われる前に多くの場合で損失を吸収するLLP（保険基金）。
- 実物資産およびプレローンチ市場
- RWAおよびプレローンチ・パーペチュアルは、専用の XLP （実験的 流動性 （プロバイダー）プールではなくLLPを採用し、それぞれの異なるリスクプロファイルを反映している。
全体として、Lighterの設計は極めて特化型である。CLOB型永久債に焦点を絞り込んでいるが、その一点において強力な保証を提供しようとしている。
ライター・トークン
Lighterはネイティブアプリをリリースしました トークン, LITこれは、Lighterプロトコルにおけるガバナンス、エコシステムへのインセンティブ提供、および長期的な利害の一致を図るために使用されます。LITは、直接的な収益分配トークンとして設計されたものではありません。その代わりに、エコシステムの成長、プロトコル機能の拡張、および将来的な買い戻しメカニズムを通じて、その価値が徐々に高まっていくことを意図しています。
トークンの供給量と分配
LITの総供給量は 1,000,000,000トークンに設定、この上限を超えるインフレは生じない。
発売当初、 2億リット（25％） 初期ユーザーや貢献者への即時エアドロップを通じて流通に投入されました。残りの供給量は、エコシステムの成長、コアチーム、および投資家へと配分されており、短期的な供給圧力を軽減するため、長期的なベスティングが適用されています。
配布の構成は以下の通りです：
- エコシステム：50%（5億LIT）
コミュニティの成長促進策、流動性および取引インセンティブ、ビルダーへの助成金、ならびに今後のエコシステムプログラムに充てられます。 - チーム：26％（2億6000万リタス）
1年間のクリフ期間を経て、その後3年間の定額型権利確定スケジュールが適用されます。 - 投資家：24％（2億4,000万リタ）
チーム配分と同様の、1年間のクリフ期間および3年間の線形権利確定スケジュールが適用されます。
この権利確定構造は、長期的なインセンティブを整合させるとともに、流通供給量の急激な増加を抑制することを目的としています。
実用性と価値の要因
LITの有用性は、Lighterが永久先物取引向けの、高性能かつ特定用途に特化したzk-rollupとして果たす役割と密接に関連しています。
このトークンの主な用途は以下の通りです：
- ガバナンス
LIT保有者は、提案への投票やアップグレード、その他取引所に影響を与える重要な決定など、プロトコルのガバナンスに参加することができます。 - ステーキングのメリット
LITをステーキングすることで、優先的な取引執行、プレミアムアカウントの手数料割引、高度なデータフィードやプレミアムデータフィードへのアクセスなど、段階的な特典を利用できるようになります。 - エコシステム・インセンティブ
LITは、ポイント制の報酬（LITに交換可能）、流動性インセンティブ、開発助成金などのプログラムを通じて、トレーダー、流動性プロバイダー、開発者を支援するために活用されています。 - プロトコルの値のサポート
大多数のユーザーは引き続きほぼ手数料無料で取引を行いますが、Lighterは取引プレミアムや清算などの源泉からオンチェーン収益を生み出しています。この収益は、直接的な手数料分配ではなく、条件付き買い戻しメカニズムの資金源として活用され、エコシステムの長期的な持続可能性を支えることになります。
全体として、LITは、永久先物取引に特化したイーサリアムベースのzk-rollupであるLighterの成長に合わせて、ガバナンス、インセンティブ、および長期的な参加体制を最適化するように設計されています。
セキュリティ
スマートコントラクトと決済のセキュリティ
Lighterのセキュリティモデルはイーサリアムを基盤としています：
- イーサリアム上のスマートコントラクトは、すべてのユーザー預金と正規状態ルート（canonical state root）を保持しています。
- 状態の更新が行われるたびに、オフチェーンでの実行がLighterのルールに従っていたことを示すゼロ知識証明が添付されます。
- 証明の検証はイーサリアム上で行われ、証明が承認された場合にのみ状態が更新されます。
イーサリアムはまた、 データ可用性レイヤー: Lighterは、圧縮された状態遷移データ（例えば、アカウントごとの変更履歴など）をEthereumのデータブロブに直接公開するため、ユーザーは必要に応じて完全な状態を復元することができます。
検証可能なマッチング、リスクチェック、および清算
ZK証明を多用している点が、Lighterを以下のものと区別する特徴です：
- 従来のCEX（オンチェーン検証なし）、および
- 実行のほんの一部分しか示していない他のロールアップもいくつかあります。
ホワイトペーパーおよびアーキテクチャの説明によると：
- その 州の木 そして 注文書ツリー 次のように構成されています：
- 価格と時間の優先順位はデータ構造に組み込まれており、
- 各回路は、最優先度の注文が最初にマッチングされたことを証明でき、
- 清算は、適切な「ゼロ価格」の計算式と証拠金区分を用いて行われました。
- 証明は次のように結びつきます：
- 注文の送信、
- マッチング、
- 損益および証拠金の最新情報、
- 清算手続き。
つまり、ユーザーはマッチングや清算が「公正」であったと信じる必要はなく、契約がルールに合致する状態遷移のみを受け入れることを自ら検証できるのである。
データの可用性とエスケープハッチ
ステート差分がイーサリアムに公開されるため、ユーザーは以下のことが可能になります：
- オンチェーンデータからアカウントの状態を再構築する；
- 残高およびポジションの所有権に関する簡潔な証明を生成する；
- シーケンサーがオフラインまたは敵対状態であっても、エスケープハッチモードで直接イーサリアムへ移行する。
これが、Lighterの「非管理型でありながら、出金履歴の検証が可能な」というコンセプトの根幹をなすものです。
オラクルとリスク管理
Lighter社のリスク管理は、その オラクル およびマーク価格方式：
- 複数の情報源が指数価格の算出に反映されており（Storkが主要な情報提供元として特定されている）。
- 前述の通り、マーク価格は、価格への影響、上限付きプレミアム、および外部CEXのマーク価格を組み合わせて算出されます。
- 証拠金レベル（初期証拠金、維持証拠金、強制決済）は、口座が「清算前段階」、「部分清算」、「全額清算」、および「自動レバレッジ引き下げ」のいずれの状態に入るかを決定します。
- LLPは、含み損のある口座が損失を被って清算された際に、その損失を吸収する保険基金としての役割を果たします。
RWAおよびプレローンチ市場においては、リスクはさらに細分化されます：
- 募集職種は 「隔離された」のみ （クロスマージンなし）。
- 別の流動性プールであるXLPが流動性を供給することで、LLPがこれらの市場に直接エクスポージャーを抱えることがないようにしています。
強みとリスク
強み
- イーサリアムにおける強固なセキュリティの基盤
- ユーザーの資産とステートコミットメントはイーサリアム上に存在し、エスケープハッチによる引き出しにはイーサリアムのデータと証明が使用されます。
- 検証可能なマッチングと清算
- マッチング、リスクチェック、清算は不透明なプロセスではなく、回路に組み込まれており、オンチェーンで検証されます。
- ほとんどのユーザー向けの無料モデル
- 依然としてメイカー／テイカー手数料を課している他のパーペチュアルDEXに対して、特に活発な個人投資家やトレンドフォロー型のトレーダーにとっての競争上の優位性。
- 高性能
- アプリケーション固有のロールアップにより、Lighterは任意のスマートコントラクトをサポートすることなく、パーペチュアル取引に特化してレイテンシとスループットを最適化できます。
- 豊富な製品ラインナップ
- 高度な注文タイプ、TWAP、RWA、およびプレローンチ市場により、Lighterは基本的な単一市場の永久DEXよりも汎用性が高い。
- 配慮の行き届いた出口の設計
- 優先度リクエストキューとエスケープハッチモードは、シーケンサーの集中化に伴うリスクへの配慮を示している。
リスク
- 一元化されたシーケンサーおよびプローバーインフラストラクチャ
- 実行は単一のシーケンサーに一元化されているため、たとえエスケープハッチによって資金損失のリスクが軽減されていたとしても、そこが単一障害点となり、検閲の温床となる可能性がある。
- ZK回路の複雑さと監査
- カスタム回路、ステートツリー、オーダーブックツリーは、より単純なスマートコントラクトや汎用的なzkEVMと比較して、第三者による監査が困難です。
- オラクルと市場構造リスク
- 他のDEXと同様、特にRWAやローンチ前の市場においては、オラクルデータの不正確さや市場の急激な価格ギャップにより、予期せぬ清算やADL（自動清算）が発生する可能性があります。
- 手数料無料モデルの持続可能性
- 外部の分析では、手数料無料戦略が大規模に展開された場合にその持続可能性に疑問が呈されているほか、ウォッシュトレードや、インセンティブに駆られた過度に積極的な取引を助長する可能性があるかどうかについても指摘されている。 巻.
- 規制の不確実性
- 永久先物、リスク加重資産（RWA）、およびプレローンチ市場については、多くの法域で現在活発な規制上の議論が行われており、これらは将来的には利用の可否や法的取り扱いに影響を与える可能性があります。
Lighterを検討中のトレーダーは、これらの強みとリスクを他の選択肢と比較検討し、レバレッジの高い取引に借入金や生活に必要な貯蓄を充てることは避けるべきです。 デリバティブ.
結論
Lighterは、パーペチュアルDEXの設計における明確な次のステップを示しています。単に担保や損益（PnL）をオンチェーン化するだけでなく、ゼロ知識証明回路を用いて注文のマッチング、リスクチェック、清算を証明し、すべてをイーサリアムにアンカーすることで、検証可能性を取引所の核心に据えています。
トレーダーにとって、これは次のような意味を持ちます：
- CEXのような取引体験、
- ほとんどのユーザーにとって手数料無料、あるいはほぼ無料の取引、
- システムの挙動を証明レベルで検証する能力、および
- オフチェーンインフラが機能しなくなった場合に、イーサリアム上で直接退出するための手段。
一方で、Lighterは中央集権型のシーケンサーと高度な暗号技術に基づいて構築された、比較的新しく技術的に複雑なプロトコルです。これを利用する方は、そのアーキテクチャとリスクプロファイルの両方を理解し、レバレッジは控えめに保ち、損失を許容できない資金を投入しないようにしてください。
ビットコインや仮想通貨全般についてまだ詳しくない場合は、まずはよりシンプルな現物市場から始めるのが一般的です。 自己管理型ウォレット - 例えば Bitcoin.com ウォレット - Lighterのような専門的なデリバティブ取引プラットフォームに移行する前に。
