L2 相互運用性への道
ソース |StarkWare
まとめ
ソース |
まとめL2 の相互運用性とは、ユーザーが L1 の摩擦を最小限に抑えながら L2 システム間で資金を移動できることを意味します。。
このホワイトペーパーで提案する L2 相互運用性ソリューションは、以前の提案に基づいています。
StarkEx 2.0 (2020 年 11 月にリリース) は、オンチェーンの条件付きトランザクションを使用して L2-L1 の相互運用性 (つまり、高速引き出し) を提供します。
背景
StarkEx 3.0 (2021 年 2 月にリリース) は、オフチェーン条件付きトランザクションを使用して StarkEx システム間の L2-L2 相互運用性を提供します。
背景
レイヤ 2 拡張ソリューションは急速に開発されています。イーサリアムのメインネットにはすでに複数の正当性証明システムがあり、一部の不正証明システムもテストネットを立ち上げています。 L2 ソリューションはスケーラビリティを提供しますが、代償も伴います。完全に L1 で運用することで得られた利点の一部が損なわれる可能性があります。
特定の L2 ソリューションが独占することは望ましくありません。アプリごとにスケーラビリティの要件が異なるため、独自のニーズに応じて適切な L2 ソリューションを選択できます。次に、2 つの重要な用語について説明します。
相互運用性: ユーザーが app1 (初期環境) と app2 (ターゲット環境) の間で効率的に資金を送金できるようにします。
構成可能性: app1...appn に含まれる操作を単一のトランザクションに結合して送信する機能。
注: 構成可能性については、今後の記事で詳しく説明します。
条件付きトランザクション話し合う条件付きトランザクションは、パスワードから構築されたブロックです (最初に
話し合う
この概念) を通じて、パーミッションレス ブロックチェーンの相互運用性の実現を目指しています。条件付きトランザクションとは、トランザクションが有効になるかどうかが、特定のイベントが発生するかどうか (支払いが発生するか状態が変化するかなど) によって決まることを意味します。概念的には、最初に初期環境で条件付きトランザクションを設定します。これは、別の環境 (つまり、ターゲット環境) で特定の条件が満たされると有効になります。
一歩ずつ
これより良い解決策はありませんが、ユーザーはいつでも最初の L2 から L1 に、次に L1 からターゲットの L2 に資金を転送できます。この強引なアプローチは時間がかかり、コストがかかります。相互運用性に対するユーザーの要求が高まるにつれて、さらに遅くなり、コストもさらに高くなるでしょう。
“このため、L2 の相互運用性を段階的に達成するために、特別に次の計画を立てました。フェーズ I: StarkEx (L2) → イーサリアム (L1) — 高速出金
「（高速出金は）ユーザーがL2システムStarkExからL1に素早く資金を引き出す必要があるという問題を解決できます。高速出金により、ユーザーは自分のL1アドレスに資金を転送するだけでなく、L1内の任意のターゲットアドレスに資金を転送することもできます」重要なのは、これにより、StarkEx がバッチトランザクションを証明する頻度に関係なく、ユーザーは「ブロック時間」で測定された出金が可能になります。
参加者：
使用例: アリスは、L2 の dYdX アカウントから L1 アドレスに 1 ETH を転送したいと考えています。
参加者：
LP (L1 で資金を保有する流動性プロバイダー)
初期環境の StarkEx オペレーター (上記の例では dYdX)
画像の説明
図 1: クイック出金プロセス
プロセス: (1) アリスは 1 ETH 相当の条件付きトランザクションを LP に送信します (プラス LP の手数料)、条件は LP が 1 ETH をアリスの L1 アドレスに転送する必要があることです; (2) LP は L1 がアリスに転送された後にあります、条件付きトランザクションが有効になり、その後 (3) LP が条件付きトランザクションをオペレーターに送信し、証明されるのを待っているトランザクションの次のバッチにパッケージ化されます; (4) L1 に到着した後、これらの証明が送信されるまで待機します検証され、L2 の LP のアカウントがアリスの送金を受け取りました。
定期的なリバランス: LP は、L1 アカウントで徐々に消費した資金を補うために、L2 アカウントに徐々に蓄積した資金を定期的に取り出す必要があります。
StarkEx の初期展開では、それぞれがアプリケーションをホストします。現段階では、ユーザーがこれらの異なるアプリケーション間で資金を迅速に移動できるようにしたいと考えています。高速出金と同様に、ユーザーのオンチェーンコストを最小限に抑え、証明のために次のトランザクションのバッチがパッケージ化されるのを待つ時間を節約したいと考えています。
参加者：
使用例: アリスは、dYdX アカウント (L2_1) から DeversiFi アカウント (L2_2) に 1 ETH を送金したいと考えています。
参加者：
LP (L2_2 に資金を保持する流動性プロバイダー)
初期環境の StarkEx オペレーター (上記の例では dYdX)
画像の説明
図 2: オフチェーンの条件付きトランザクション プロセス
プロセス: (1) アリスは、L2_1 で LP に 1 ETH 相当の署名付き条件付きトランザクションを送信します (LP の手数料を加えます)。条件は、LP が 1 ETH をアリスの L2_2 アカウントに送金する必要があることです; (2) LP が送金した後、アリスの L2_2 アカウント; (3) 支払いはトランザクションのバッチにパッケージ化され、L2_2 のオペレーターによって認証され、L1 で検証されます。これらのトランザクションが L1 で公開されて受け入れられた後、Alice によって送信された条件付きトランザクションが有効になります; (4) LP は条件付きトランザクションを L2_1 のオペレーターに送信し、証明されるのを待っているトランザクションの次のバッチにパックします; (5) L2_1 上のトランザクションのバッチが認証され、検証のために L1 に送信されると、L2_1 上の LP のアカウントがアリスの転送を受け取ります。
定期的なリバランス: LP は、2 つのシステム間の資金の流れに従って、L2_1 と L2_2 の 2 つのシステム間の資金を定期的にリバランスする必要があります。
フェーズ 2 を拡張して、有効性証明システムや不正証明システム (例: オプティミスティック ロールアップ、プラズマ) など、任意の L2 ソリューション間で資金を転送できるようにします。ここでの注意点は、相互運用性をサポートするために LP を使用する場合、オプティミスティック ロールアップは固有の資本効率の非効率性に直面するということです (「ここ)。
ここ
最初のレベルのタイトル
信頼モデル
ここで、私たちが依存している信頼モデルを要約します。
ユーザーにとって
まったく信頼できない。
LP用
LP は、有効な条件付きトランザクションをパッケージ化する、つまり処理中に検閲しないというオペレーターを (初期環境で) 信頼する必要があります。この信頼はいくつかの方法で削除できます。
オペレーターが LP の条件付きトランザクションを適時に処理できなかった場合、LP は次のことを行うことができます。
反検閲: 検閲された条件付きトランザクションをチェーン上のオペレーターのスマート コントラクトに送信すると、オペレーターはフリーズされ、後で送信された証明は処理できなくなります。
セキュリティ担保: レビューされた条件付きトランザクションをチェーン上のセキュリティ担保スマート コントラクトに送信し、コントラクトから直接資金を受け取ります。
フェーズ 1 は 2020 年 11 月にイーサリアム メインネットでリリースされ (つまり StarkEx 2.0)、フェーズ 2 は 2021 年の第 1 四半期にリリースされる予定です (つまり StarkEx 3.0)。すでに多数の LP がサービスの準備を整えています。
免責事項: ECN の翻訳作業は、中国のイーサリアム コミュニティに高品質の情報と学習リソースを提供することを目的としています。記事の著作権は原著者に属します。転載する場合は、原文と ethereum.cn の出典を示す必要があります。再版の場合は、ethereumcn@gmail.com までご連絡ください。
