Lighter

Lighterは、高性能な分散型金融（DeFi）向けに設計されたレイヤー2ロールアッププロトコルであり、アプリケーション特化型のゼロ知識証明を用いて検証可能かつ低レイテンシな取引体験を提供します。そのアーキテクチャは、一般的なロールアップの主要な制限事項（フロントランニングや最大抽出可能価値（MEV）など）に対処しており、公平なシーケンシング、時系列優先のマッチング、zk-SNARKによる検証を実装しています。Lighterは、パーペチュアル市場やスポット市場など、オーダーブックベースの複雑な市場にも対応しており、Ethereumを介した信頼最小限の保証を維持します。

Lighterのアーキテクチャは、シーケンシング、証明、データ集約、エグジットセーフティのための独立したモジュールを備えています。Escape Hatchメカニズムにより、トラストレスな資金回復を実現し、データブロブや階層的集約回路を活用して取引活動を効率的に圧縮・検証します。拡張性を考慮した設計であり、Lighterはプログラム可能なマルチステップ命令、データ圧縮、レンディングや予測市場などのモジュラーアプリケーションにも対応しています。

LITはLighterプロトコルのネイティブトークンです。プロトコルは技術的・アーキテクチャ設計を重視していますが、トークンのユーティリティは以下の役割を担うことが想定されています：

• プロトコル内での手数料決済（取引やインタラクションの際）
• プロトコル参加者へのインセンティブ（シーケンサーやプローバーなど）
• プロトコルのアップグレードやパラメーターのガバナンス
• 将来的な分散型役割における担保やステーキング（シェアドプロービングや流動性提供など）

LITは経済レイヤーとプロトコルのパフォーマンスを整合させ、取引、検証、ネットワーク参加全般の決済・調整アセットとして機能します。

Lighterは、検証可能なオンチェーントレードに最適化された一連の相互接続システムを導入しています：

• シーケンサー：低レイテンシなエンジンで複雑な注文タイプやマーケット統合をサポートしつつ、取引を厳密な価格・時系列順でバンドル・コミットします。
• プローバー：ブロックのバッチごとにゼロ知識証明を生成し、マッチングや状態遷移、アカウント更新の正当性を確認します。多層集約によって効率的に証明を圧縮します。
• スマートコントラクト：ユーザー資産、ステートルートコミットメント、証明検証、検閲耐性エグジットを管理します。
• ウィットネスジェネレーター：コミットされた取引データをzk-サーキット向けの公開入力に変換します。
• Escape Hatch：プロトコル障害や検閲時に、Ethereum上に投稿されたデータのみでユーザーが資産を回収できる暗号学的メカニズムです。

全てのバッチと状態変化はデータブロブを用いてEthereumに公開されます。検証回路がブロック生成から取引実行に至る全ての工程を検証します。

Lighterはマルチステップアクションが可能なプログラム可能命令スタックをサポートしており、以下のような利用が可能です：

• グループ化された注文提出
• 条件付き取引
• リンク付きポジション調整

この設計により、組み合わせ可能な金融ロジックが実現され、レンディング、担保フロー、ストラクチャードプロダクトなどのモジュラー追加が可能になります。