Polygonの全栈zk拡張ソリューションの詳細：Hermez、Nightfall、Miden、Zero

著者：Pedro、Polygon DAO著者

整理：海尔斯マン、チェーンキャッチャー

長い間、イーサリアムL2の争いの焦点はZK RollupとOptimistic Rollupの2つに占められてきました。OPのEVM互換性や技術の成熟度などの特性から、プロジェクト開発者にとって採用しやすく、現在OPはより一般的で主流となっています。L2BAETのデータによれば、Arbitrum、Optimism、Metisの3つのOPソリューションを採用したプロジェクトだけで、L2市場のシェアの70.8%を占めています。一方、ZK Rollupは開発の難易度が高く、技術の進展が遅いため、現在の採用率と市場シェアは比較的低いです。

現在、総ロック量が最も高いイーサリアムのスケーリングソリューションであるPolygonは、拡張の未来をzk技術に賭けています。昨年、PolygonはHermez、Mirを大規模に買収し、zk拡張に10億ドルの巨額の約束をしました。

現在、Polygonは「一整套」のzk拡張ソリューションを持っており、Hermez、Nightfall、Miden、Zeroの4つです。4つの拡張ソリューションはすべてzk技術に基づいていますが、それぞれに特徴があり、戦略も異なります。では、これら4つのソリューションの具体的な技術的特性と開発進捗はどうなっているのでしょうか？どれが最初に成功する可能性が高いのでしょうか？

この記事では、これら4つのzkソリューションについて、開発の歴史、運用メカニズム、開発進捗などを詳しく議論します。以下の内容は、Polygon DAOのコラム著者PedroによるPolygon研究に関するMediumシリーズの記事を基に、チェーンキャッチャーが原文を適切に要約し、理解しやすく補足したものです。

1、 Polygon Zero

Polygon Zeroは、最も迅速かつ効率的な再帰証明システムPlonky2によってサポートされるZK L2ソリューションです。前身はMirプロトコルで、Brendan FarmerとDaniel Lubarovが設立したPredicate Labsによって2019年に構築されました。Mirプロトコルの特徴は、プログラムの実行中に再帰的なZKP（zk-proof）検証が生成されることです。簡単に言えば、再帰証明は証明の証明のようなものです。一組の取引の証明が有効であるかどうかを検証するために使用されます。

再帰証明は非常に若い技術で、2014年に理論的に初めて導入されました。2019年、Mirは2分以内に再帰証明を生成できるようになりましたが、明らかにこの時間は短くなく、スケーラビリティに欠けていました。

2020年、Aztecチームの探求により、Mirは60秒以内に再帰証明を生成するという大きなブレークスルーを達成しました。この基盤の上に、MirチームはPlonkyを開発し、Mirプロトコルが15秒以内に再帰証明を生成できるようにしました。

2021年12月、Polygonは4億ドルでMirを買収し、プロトコルはPolygon Zeroに改名されました。最初にMirが構築しようとしていたzk技術を使用した独立したL1チェーンの構想は、Polygonの上に分散型のzk-rollupを構築することに変わりました。

今年1月、Polygon ZeroはPlonky2を発表しました。この技術は、Mac-Book Pro上で170ミリ秒未満の速度で再帰証明を生成できます。これは史上最速の再帰証明です。そして、再帰証明技術のブレークスルーはPolygon Zeroにサービスを提供します------Plonky2は最もスケーラブルなzkEVMをサポートします。

1、Plonky2

Plonky2はPlonky1のイテレーションで、前述のように2020年にAztecが構築した検証システムに基づいています。

これら3つの間の共通点はPlonkであるため、まずPlonkが何であるかを理解する必要があります。

ZKPは、関連情報を開示することなく、ある計算の有効性証明を生成することを指します。したがって、情報は漏洩せず、証拠が生成されるだけです。

2つの主要なZKPはそれぞれSNARKとSTARKです（以下でこれら2つの証明システムについて繰り返し言及するため、チェーンキャッチャーはここで両者の詳細な比較を追加しました）。両者の主な違いは、SNARKが安全性を保証するために楕円曲線に依存し、STARKが安全性を保証するためにハッシュ関数に依存していることです。ハッシュ関数を使用することは量子耐性を意味します。

SNARKとSTARKの比較、出典：Consensys 公式サイト

SNARKの証明規模は小さく、これはチェーン上のデータストレージが少なく、最終ユーザーが支払うガスが少ないことを意味します。SNARKは開発者にとってよりフレンドリーですが、STARKは透明性が高く、信頼できる設定を必要とせず、「量子安全」であり、将来的にはより大きな潜在能力を持っています。これらの利点から、VitalikはSTARKを「新しく、より輝かしい」技術と称賛しました。

しかし、SNARKは2012年に提案されて使用され始めたのに対し、STARKは2018年に提案されました。したがって、SNARKは採用において大きな先発優位性を持ち、現在Z-Cash、ループリングプロトコル、モルガン・スタンレーなどがSNARK技術を採用しています。広く採用されているため、SNARKはより多くの公開コード、開発者ライブラリ、プロジェクト、開発者を持っています。しかし、STARKは新星として、その独自の利点から、より多くのプロジェクトに採用されています。

Plonkは証明システムの名称で、SNARK証明システムの一種に属します。

次に、Plonkと組み合わせたさまざまなタイプのソリューションを分析します：

AztecはPlonk + KZGの再帰証明時間が60秒です；

Plonky1はPlonk + Haloを使用し、再帰証明時間は15秒です。Haloは2019年にZcashによって初めて導入され、信頼できる設定を必要としない最初の再帰証明ソリューションです。しかし、Haloの欠点はイーサリアムと互換性がないことです。これがMirが最初に独立したL1チェーンを構築しようとした理由です；

Plonky2はPlonk + FRIを使用し、再帰証明時間は170ミリ秒です。2021年、Polygon Zeroの責任者であるDaniel LubarovはFRIとPlonkを組み合わせることを提案しました。

FRIはSTARK用のソリューションであり、FRIを使用することでPlonkはSTARKに変わります（Plonkは元々SNARKの一種であり）、システムの透明性が向上します。当時、再帰FRI証明を実現したプロジェクトは1つ（Fractal）だけで、そのプロトコルの証明時間は約10分であり、スケーラビリティがありませんでした。

迅速性を保証するために、Polygon ZeroはPlonkyの最初のバージョンを採用し、FRIでHaloを置き換えました。上記の図表からわかるように、FRIの証明速度は「可変的」であり、提出されるデータが少ないほど、得られる証明は速くなります。しかし、データが少ないほど、安全性は低くなります。

2、 Plonky2は何を構築しているのか？

前述のように、Polygon Zeroは最もスケーラブルなzkEVMをPlonky2によってサポートすることを最終的に目指しています。

つまり、各zk-rollupは計算を実際に処理するためにzkEVMを必要とします。Polygon Zeroのzk-rollupのzkEVMはPlonky2によってサポートされており、これは現在最も効率的で迅速なzk証明システムです。

開発者はPolygon Zeroの上にスマートコントラクトを展開でき、Polygonの高性能を利用できるだけでなく、イーサリアムの安全性も利用できます。創業者の一人によれば、このL2はより多くの操作と機能を持つアプリケーションの構築を可能にします。

3、 Polygon Zero と Starkware の 違い

ほとんどのrollup、Starkwareを含む、は取引をパッケージ化し、その取引パッケージ内の各トランザクションが有効であることを証明します。

Polygon Zeroは再帰証明を使用しているため、各取引は非常に迅速な証明のセットを同時に生成します。次に、これらの個別の取引証明を束ねて、他の証明が有効であることを検証するためのより大きな証明を作成します。

これは、Polygon Zeroが水平スケーリングを行うことを意味します。したがって、一連のマシンがこれらの取引証明を並行して生成する場合、より多くのマシン（例えばMacbook）を追加することで、より多くの取引を証明できます。再帰証明を使用することで、時間の遅延を犠牲にすることなく、より多くのトランザクションにスケールアップできます。

Polygon Zero 関連データ

二、Polygon Hermez

5年前、3人のMBAを共に学んだ同僚Jordi Baylina、David Schwartz、Antoni Martinは、Iden3という会社を設立しました。彼らが取り組んだ最初のプロジェクトは自主的なアイデンティティソリューションで、当時のプロジェクトは「自己主権アイデンティティ」（Self Sovereign ID、略称SSI）と呼ばれ、現在流行している分散型アイデンティティDIDと実質的に同じ概念です。

しかし、彼らはSSIプロジェクトの開発を進める中で、SSIを主流にするためには、まず既存のブロックチェーンが十分なスケーラビリティを持つ必要があることに気づきました。その後、3人は新しいプロジェクトHermezに転向することを決定しました。

Hermezはzk技術に基づく分散型L2 rollupソリューションです。Hermez 1.0は現在稼働中の決済プラットフォームで、ユーザーはシンプルなウェブまたはモバイルインターフェースを通じて、任意の登録されたERC-20トークンを1つのHermezアカウントから別のアカウントに転送できます。昨年7月、チームはzkEVM、Hermez 2.0の開発を発表し、開発が完了すればイーサリアムに完全互換のzkEVMをもたらす予定です。

昨年8月、Polygonは2.5億ドルでHermezを買収すると発表しました。新しいプロジェクトはPolygon Hermezと名付けられ、2つのプロジェクトのトークンMATICとHEZが統合され、Hermezの26名の従業員もPolygonの80人のチームに加わります。

1、 Hermez 1.0

Hermezは最初、zk-rollupとして始まり、イーサリアム上での決済とトークン移転の拡張に焦点を当てていました。

rollupは、数千の取引をパッケージ化し、チェーン外で一度実行することを指します。数千の取引がチェーン外で実行されると、Hermezの場合、zk-SNARKが生成されます。SNARKはバッチ内の各取引の有効性を証明し、その後イーサリアムがその証明（SNARK）を検証します。個々の取引ではなく、バッチ全体が検証されます。

Optimistic rollupと比較して、zk rollupは即座に効果を発揮し、即時引き出しを実現しますが、Optimistic rollupは7日間待つ必要があります。この一定の時間内に証明を効率的に検証できる能力は、すべてのzk rollupの核心です。

Hermezの処理速度は2000 TPSです。Hermezチームによれば、将来的には処理速度が大幅に向上する予定です。

Hermezでは3種類の異なる取引が可能です：

入金：任意の登録されたERC-20トークンをL1イーサリアムからL2 Hermezに送信します。入金にはイーサリアムのガス代が必要です。

送金：任意の登録されたERC-20トークンを1つのHermezアカウントから別のHermezアカウントに送信します。この種の送金取引は非常に安価で即時です。

出金：ERC-20トークンをL2 HermezからL1イーサリアムに送信します。出金にはイーサリアムのガス代が必要です。

出金時に注意すべき点は、Hermezが「強制出金」という保護メカニズムを提供していることです。これにより、ユーザーはL2 HermezからL1イーサリアムにいつでも資金を戻すことができます。たとえコーディネーターが悪意を持って行動しようとした場合でもです。

コーディネーターと寄付証明

コーディネーターはHermezのバージョンのブロック生産者です。これらの人々は、zk-proofを生成することでチェーン外取引の有効性を証明します。

コーディネーターは取引をパッケージ化する人々であり、すべての取引リクエストを1つのユニットにまとめます。各rollupでは数千の取引が実行され、その後zk-proofが生成され、イーサリアム上のスマートコントラクトによってこのzk証明が検証されます。

Hermezが分散型である理由は、誰でもコーディネーターになり、サービスを提供して報酬を得ることができるからです。ネットワーク上には任意の数のコーディネーターが同時に存在できますが、実際に取引を処理し、任意の特定の時間枠（10分間）内に報酬を得ることができるのは1人だけです。

Hermezネットワークは、オークションプロセスを通じて次のコーディネーターを選択します。基本的に誰でもMATICトークンを使用して入札でき、最高入札者が10分間にできるだけ多くの取引を処理する権利を獲得します。次のコーディネーターが選ばれるまでです。これは非常に効率的なプロセスであり、コーディネーターはこの10分間にできるだけ多くの取引を行う必要があり、得られる報酬が入札額を超えるようにします。

もしコーディネーターが入札に失敗した場合、MATICトークンは元のウォレットに返却され、成功した入札の資金は以下の3つの用途に使用されます：

• 30% 永久に焼却
• 40% イーサリアム財団が管理する寄付口座に使用
• 30% ネットワークのインセンティブに使用し、Hermezネットワークのさらなる採用を促進します。

注目すべきは、Hermezが原子取引をサポートしていることです。原子取引は、一連の不可分な取引であり、すべての取引が発生するか、すべてが発生しないかのいずれかです。たとえば、アリスがボブに1000 DAIを送信して1 ETHを受け取る場合、原子取引の条件では、両者がトークンを相手に送信した後でなければ取引は成功しません。1つのステップが欠けていると、取引はすべて失敗します。したがって、この取引方法は詐欺を効果的に防ぐことができます。

2、 Hermez 2 .0

昨年7月、EthCC 4大会の期間中、HermezチームはzkEVM、すなわちHermez 2.0の開発を発表しました。

私たちは、現在L2がOptimismを多く採用しており、ZKがまだ本格的に立ち上がっていない重要なポイントは、zkがEVM互換性を持っていないことです。したがって、zkEVMはこの問題を解決するために、zk-rollup上でスマートコントラクトを実行することを目指しています。

現在、多くのプロジェクトがzkEVMを開発していますが、Polygonエコシステム内だけでもPolygon ZeroとPolygon Hermezの2つのソリューションがあります。しかし、各プロジェクトは異なる方法でこの問題を解決しており、それぞれに独自のトレードオフがあります。

Hermezの特徴は、ツール、エコシステム、セキュリティのすべてがイーサリアムと互換性があることです。これは、理想的な状態では、イーサリアム上で実行されるスマートコントラクトがL2 Hermez上で実行できることを意味します。開発者に摩擦のない体験を提供します。OptimismとArbitrumが登場するとすぐに、多くのプロジェクトやユーザーが移行してきました。zk-rollupが成熟すれば、さらに強力なネットワーク効果が生まれることは容易に想像できます。

Hermezの創業者Antoni MartinはzkEVMを次のように表現しています。「各ソリューションの最良の部分を最大限に活用すれば、最高の車を作ることができる……」。したがって、 Hermez は zkEVM の開発において SNARKSとSTARKS の2つのZKPソリューションを同時に採用し、両方の利点を追求しています。

具体的には、Hermezが取引を処理し、チェーン外で新しいブロックを生成する際に、これらの取引がすべて有効であることを証明するSTARK証明が生成されます。STARK証明の問題は、チェーン上（イーサリアム）での検証コストが非常に高いことですが、SNARKはこの時に役立ちます。SNARKが必要なのは、イーサリアム上でSTARK証明の有効性を検証することです。

このzkEVMのアーキテクチャについてさらに詳しく知りたい場合は、こちらをクリックしてHermez 2.0の開発文書をご覧ください。

Hermez 2.0（zkEVM）の機能

上の図は、Hermez zkEVMが提供するさまざまな機能を示しています。もちろん、2.0はまだ開発中であり、メインネットのリリース2.0のロードマップによれば、Hermez 2.0は今年の第一四半期にパブリックテストネットを立ち上げ、メインネットは第二四半期に立ち上げる予定です。もう一つの重要な点は、Hermez 2.0が許可なしでのクロスチェーンブリッジを開発中であり、ユーザーがHermez L2から他のL2に資産を移転できるようにすることです。

三、Polygon Nightfall

昨年9月、Polygonは世界的なプロフェッショナルサービスおよびテクノロジー企業であるアーンスト・アンド・ヤング（EY）と提携し、その後Polygon Nightfallを発表しました。

EYは2019年にNightfallの初期バージョンを発表しましたが、他のzkソリューションと最も異なる点は、Nightfall がプライバシーに重点を置いたr ollupであることです。EYはこれを「イーサリアム上で最も目立つプライバシーソリューションの1つ」と位置付けています。具体的には、Nightfall上の各取引にはプライバシーが含まれており、アリスがボブに資産を送信する場合、他の人はその資産が何であるか、どれだけの価値が含まれているか、どこに行ったのかを見ることができません。

取引のプライバシーにより重点を置く理由は、EYがターゲットにしている顧客が企業であるためです。最初、Nightfallはイーサリアム上に最初の企業向けブロックチェーンを直接構築しようとしましたが、最終的にはイーサリアムメインネット上でのプライバシーが非常に高価であることが判明し、L2に移行し、最終的にPolygonとの提携を選びました。

両者の協力によって発表されたPolygon Nightfallは、何度も改良されたNightfall 3.0バージョンであり、その最も顕著な特徴は、Optimistic Rollupのコア概念をZK-Rollupsで一般的に使用されるゼロ知識（ZK）暗号と効果的に組み合わせ、スケーラビリティとプライバシーの融合を実現したことです。

Polygon Nightfallは現在テストネット段階にあり、メインネットは今年中に立ち上げる予定です。

1、 Nightfall はどのように機能するのか？

Polygon Nightfallは本質的に、zk暗号を利用してプライバシーを保護するOptimistic Rollupです。PolygonとEYの提携の焦点は、Nightfall技術を使用して産業チェーンを構築し、企業が予測可能な低コストで、規制の指導の下でL1に接続できるようにすることです。

以下の図は、Nightfallの具体的な運用メカニズムを示しています：

現在、私たちはスケーラビリティのボトルネックを「状態」に帰結できます。なぜなら、チェーン上にデータを保存するコストが非常に高いためです。したがって、拡張ソリューションの目標は、チェーン上に保存されるデータ量を継続的に減少させることです。Nightfallは、保存コストが低いOptimistic Rollupを使用して、保存を削減しています。

通常、Optimistic Rollupソリューションを使用すると、7日間のチャレンジ期間が存在します。つまり、L2からイーサリアムメインネットに引き出すには7日間待つ必要があります。しかし、Nightfallはこれを改善し、ユーザーに「即時退出」のオプションを提供します。その運用方法は、流動性提供者がユーザーの取引の位置を交換し、ユーザーの即時引き出しに必要な資金を先に立て替え、7日間の待機期間中にその位置を占有するというものです。

Nightfallは取引が同時にプライバシーを持つことを望んでいます。したがって、Optimistic Rollup上で、Nightfall は追加のzkプライバシー レイヤー を追加し、取引のプライバシーを保証します。

Nightfall VS Aztec

上の図は、プライバシーを有効にする2つの異なる方法を示しています。左側のPolygon Nightfallはzk暗号のOptimistic Rollupを使用し、右側のAztecはzk rollupとzk暗号を使用しています。私は、最も理想的なソリューションはAztecのzk/zkアプローチに似たものであると信じていますが、現時点ではこの解決策は非常に高価です。したがって、ある程度、Nightfall は即座に使用できる妥協案のようなものです。zkのコストが解決されれば、Nightfallチームは最終的にzk/zkアプローチに切り替えるでしょう。

以下の図はNightfallのアーキテクチャです：

2、具体的な ユースケース

• 金融企業と機関投資家：Nightfallの独特のプライバシー性は、取引とスワップを秘密に保ちたいポートフォリオ管理会社に巨大な機会を提供します。
• 企業に供給チェーンのトレーサビリティを提供：企業はNightfallを通じて供給、販売注文の実行、プライベートな支払いなどを処理できます。現在、あるビール醸造所がEYのNightfall供給チェーンを使用してトレーサビリティ取引を行っており、企業はどれだけのビールがあり、どこにあるのか、輸送数量などを簡単に追跡できます。さらに、ある製薬会社はNightfallを通じて生産ライン上の各製品をNFTとして鋳造しており、毎日約60000個のNFTを生成しています。
• ESG：ESG評価は、企業の環境（Environmental）、社会（Social）、およびガバナンス（Governance）の3つの側面に対してスコアを付け、企業が持続可能な価値を持つかどうかを長期的に判断します。現在、すでにいくつかのプラットフォームがNightfall技術を使用しており、ユーザーは特定の慈善団体を明らかにすることなく寄付を行うことができます。これにより、資金の使用に関するプライバシーが確保されます。また、チェーン上に慈善団体の供給チェーンを追加することで、一般の人々は慈善団体の進捗と資金の流れを監視できます。

四、Polygon Miden

昨年11月、Polygonはzk-STARKsに基づく拡張ソリューションMidenを発表しました。このプロジェクトは、かつてWinterfell技術の開発を主導したFacebookの元コアゼロ知識証明技術研究者によって指導されています。

Polygon MidenはSTARKに基づくzk rollupです。Polygon Miden の特徴は、r ollup が任意のロジックと取引をサポートするのが難しいという課題を解決することを目指していることです。rollupは取引をパッケージ化することでチェーン上のデータストレージを削減し、混雑を減らし取引コストを低下させることができますが、パッケージ内の任意の取引の検証をサポートするのが難しく、すべてのチェーン外取引を検証する能力に影響を与えます。Polygon MidenはMiden VM（仮想マシン）を使用することで、今日のzk rollupの最大の課題の1つを解決します。

Polygon Midenフレームワークのコアコンポーネントは2つあります：Distaff VMとWinterfellです。

Distaff VMはzk-EVMです。zk-VM内でプログラムを実行するたびに、プログラムが正しく実行されたかどうかを検証するためのzk実行証明（zk-proof of execution）が生成され、実際にプログラムを実行する必要はありません。DistaffはSTARKに基づく仮想マシンです。

Distaff VM上で実行されるプログラムは、STARKに基づく実行証明を自動的に生成します。次に、誰でもこの証明を使用してプログラムが正しく実行されたかどうかを検証できます。プログラムを再実行する必要はなく、プログラムが何であるかを知る必要もありません。

Miden VMはDistaff VMを採用し、より効率的な証明システムであるWinterfellを追加しました。Winterfellは、任意の計算に使用される機能豊富なマルチスレッドSTARK証明器および検証器です。本質的には、より高性能な最新のSTARK証明のバージョンです。

開発が完了すれば、任意のプロジェクトがこのzk-rollupの上にスマートコントラクトを展開できます。

他のプロジェクトとの違いは、MidenがSTARK証明を生成することです。STARK証明を使用することは高価ですが、相対的に安全性が高いです。Midenの創業者は、価格を下げるために再帰STARK証明のさらなる研究を計画しています。

1、 Miden のアーキテクチャ

• 取引は最初にMidenの実行ノードに送信されます；
• これらの実行ノードは、一度に5000件の取引をブロックにまとめ、STARK証明を生成します；
• 200件の取引をまとめたブロックごとにSTARK証明が生成され、取引の有効性を証明します；
• 最後に、最終的なSTARK証明結果がL1イーサリアムにアップロードされ、合意と確定性が達成されます。

2、 Miden VM の ハイライト：

• 開発者に優しい：Midenの目標は、開発者が暗号学やzk証明に関する知識を学ぶことなく、このzkVM上でスマートコントラクトを実行できるようにすることです。
• 多様なプログラミング言語をサポート：チームは多様なプログラミング言語のサポートを増やすために努力していますが、同時にSolidityを優先しています。
• 安全性重視：zk技術を通じて、Miden VMはEVM自体よりも安全です。
• プライバシー重視：これは現在の重点ではありませんが、Midenチームは関連する開発計画をロードマップに展開しています。

公式サイトによると、Midenは2023年第一四半期にリリースされる予定です。

まとめ：

最後に、Polygonの4つのzk拡張ソリューションを簡単に比較してみましょう：

Polygon ZeroはSNARKに基づく再帰証明システムPlonky2を開発しました。この技術は、Mac-Book Pro上で170ミリ秒未満の速度で再帰証明を生成できます。このように効率的で迅速なPlonky2証明システムの上で、Polygon Zeroは最もスケーラブルなzkEVMを最終的に開発します。

Hermezが開発したzk rollupの特徴は、取引プロセスでオークションを通じてコーディネーターを選択することです。入札に成功したコーディネーターは利益を得るために、単位時間内にできるだけ多くの取引を行うため、この競争メカニズムが取引の効率をもたらします。さらに、HermezはzkEVMも開発中で、SNARKとSTARKの2つのZKPソリューションを同時に採用し、両方の利点を追求しています。

Nightfallはより特異であり、他のzkソリューションと最も異なる点は、Nightfallがプライバシーに重点を置いたrollupであり、ターゲット顧客が企業であることです。さらに、NightfallはOptimistic Rollupのコア概念とZK-Rollupsで一般的に使用されるゼロ知識（ZK）暗号を効果的に組み合わせ、スケーラビリティとプライバシーの融合を実現しています。

Midenの最も重要な製品はMiden VMであり、他のrollupとは異なり、STARK証明システムを使用して仮想マシンを構築し、rollupが任意のロジックと取引をサポートするのが難しいという課題を解決し、すべてのチェーン外取引を検証する能力を向上させることを目指しています。

現在、4つのソリューションは多くが開発とテスト段階にあり、今年または来年に正式に立ち上げられる予定です。前述の新しいzkソリューションが導入されることで、Layer2は以前の技術的な遅れに対する疑問を大きく解決し、主流のLayer2ソリューションの中で一席を占め、暗号ユーザーにより多くの選択肢を提供することが期待されます。