フランチェスコ、キャッスルキャピタル。 翻訳:ゴールデンファイナンスシャオゾウ 10月10日、Scrollはメインネットの立ち上げを発表する不可解なメッセージをリリースしました。 空中投下農業は別として、私はそれを完全には認識していませんでした。 だから私はもっと深く掘り下げることにしました!スクロールから始めましょう。 スクロールはイーサリアムのスケーリングソリューションであり、L2の一般的なゼロ知識(zk)ロールアップです。 ファンキーで派手な言葉がたくさんあるように聞こえますが、詳しく見てみましょう。イーサリアム上で実行されているL2ロールアップとして、スクロールはネイティブETHセキュリティをインポートします。 セキュリティに加えて、スクロールは豊富なイーサリアムエコシステムにシームレスに溶け込みます。· 道具·dアプリ· スマートコントラクト· ユーザーベースこれにより、これらのリソースを簡単に転送および交換できるため、比類のないEVM互換性が保証されます。 「ユーザーと開発者にとって、スクロールはイーサリアムとほぼ同等です。」スクロール以前は、主にイーサリアム仮想マシン(EVM)計算用のzkプルーフの生成が複雑だったため、ユニバーサルzkロールアップはありませんでした。 簡単に言えば、ユニバーサルロールアップはEVMと同等のものを持つことを意味します。しかし、EVM環境をzkロールアップで正常に実行することは、常にとらえどころのない目標でした。 これは、EVMトランザクションをzk証明で説明できる論理回路に変換する複雑さによるものです。 この複雑さは、zkロールアッププロジェクトが、トランザクションに焦点を当てたdYdXやNFTに焦点を当てたImmutableXなどの特定のアプリケーションにのみ焦点を当てている理由も説明しています。技術的な問題により、さまざまなdAappsを展開できるユニバーサルネットワークを開発することはできませんでした。 そのため、zkロールアップは、Immutableなどの楽観的なロールアップと比較して、TVLと加入者数の点でうまく機能しません。これらの課題にもかかわらず、汎用ZKロールアップの探求は続いています。 EVMの互換性は、開発者が新しいチェーンに移行するために必要な作業を大幅に簡素化するため、重要です。非EVMチェーンへの移行とは、次のことを意味します。· 既存のコントラクトを移行し、新しいロールアップに書き換える必要があります。· 既存のEVMツール(ライブラリ、ウォレット、マーケットプレイスなど)ではサポートされていません。· イーサリアムエコシステムからのアプリケーションはサポートされません。多くのロールアップは、さまざまなレベルのEVM互換性を備えた汎用zk EVMのタスクを引き受けます。**上位 5 つの zkEVM の比較** (**1)**Starknet** および **zkSync** (言語レベル):これらは、現在、独自のカスタム仮想マシン (Cairo VM) で実行されている専用ソリューションです。 彼らはカスタムVMを実行し、SolidityコードをCairo VMバイトコードにコンパイルするコンパイラ「ワープトランスパイラー」を作成します。 彼らがしていることは、新しいVMを作成し、その上に追加のレイヤーとしてイーサリアムツールのサポートを追加することです。 これにより、堅実な契約をStarkNetにエクスポートし、「EVM互換」にするという目標が達成されます。簡単なEVMの実行ではありませんが、互換性を維持し、Solidity開発者がロールアップ用のコードを記述できるようにします。 これは良い妥協案です。(**2**)**Polygon zk-EVM** (バイトコードレベル):ポリゴンはカスタム VM を実行しますが、すべての EVM オペコードをその VM に対して有効になるようにマッピングしています。 ポリゴンのアプローチは、「オペコードレベルの等価性」を持つzkEVMを構築することです。スクロールとは対照的に、ポリゴンには、EVMオペコードを直接実行する代わりにカスタム「zkASM」オペコードを実行する代替ランタイム(zkutor)があります。 これは、EVMの解釈を最適化するために行われます(EVMの直接証明は制限が厳しすぎるため)。 プロセスの概略図を次に示します。 この構成はスクロールよりもパフォーマンスが高いですが、(zkASMを作成するために)多くのカスタムコードが追加され、互換性のためにコードまたはツールを変更するための可能な要件が導入され、時間の経過とともにイーサリアムとはますます異なる可能性があります。(**3**)**スクロール** (バイトコードレベル):EVMの実行を、ツールのサポートと互換性の点で優れた検証可能な回路に直接変換します。 現在、ScrollはすべてのEVMオペコードをサポートしているわけではありませんが、最終的にはこれを実装する予定です。 スクロールはどのように機能しますか(技術スタック)?スクロールは、ETH L1にスマートコントラクトを持つzkロールアップであり、スクロールプロトコルが安全であることを検証できるzkEVMプルーフバリデーターです。 トランザクションは**スクロール**でどのように行われますか?· スクロールはブロックをバッチ処理し、ブロックデータをイーサリアムに書き込むことができます。· 有効性の証明が新しいブロックで生成されると、それはイーサリアムに書き込まれます。 したがって、スクロール上のブロックには3つの状態があります。· プレコミット: シーケンサーによって提案され、スクロールに含まれます。· コミット済み:イーサリアムで公開されたトランザクションデータ· ファイナライゼーション:イーサリアムで公開されたオンチェーンの有効性の証明によって、適切な実行が確認されています。トランザクションフローは次のとおりです。(1) シーケンサーから流入するトランザクションは、(1)のブロックに束ねられてパッケージ化されます。(2) データとコール データが L1 のロールアップ コントラクトにコミットされ、ブロックがコミットされます (D1)。 (3)証明の生成:情報はコーディネーター(完了した作業の「トレース」)に渡され、次に証明者に渡され、証明者はZK証明を生成します。(4)証明の生成は複数のブロックを占めることができ、異なる「証明者」によって並行して実行できます。 (5)集約プルーフ生成:プルーフはバッチで生成および集約され、検証のためにチェーンに送信されます(検証)。(6) ブロックが確定します。 トランザクションは、Gethフォークを実行しているノードによって>処理>され、実行トレース>入力zkEVM>回路、証明が有効であることを示すセットへの入力>証明を生成する>、L1コントラクトに発行された集約証明>を生成します。 なぜスクロールするのですか?· 開発者中心: EVM と同等のバイトコードを提供します。· 効率性:イーサリアムのためのより安全なブロックスペースを作成し、ガス料金を削減します。· 速度:最適化されたブロック時間(イーサリアムの3秒対12秒)。· イーサリアムのビジョンに沿っています。リリース以来、スクロールはTVLで150万ドル以上を集めています。 1,383人以上のユーザーがスクロールでETHに接続しています。 975ETH以上がスクロールメインネットにブリッジされ、合計150万ドルになりました。 いくつかの考え:ZKロールアップは、特にプライバシーの点で、詐欺の証拠がないために引き出しが遅れることなく、楽観的なロールアップのライバルを凌駕する設計と見なされています。バイトコードと互換性のある汎用zkロールアップとして、ScrollはEVMのネットワーク効果とツールを損なうことなく、L2でのzk証明の利点を約束します。EVMとの完全な互換性はL2の聖杯であり、それがScrollの価値提案であるイーサリアムの興奮です。 スクロールのバイトコード互換性は、最大の互換性を備えたイーサリアムへのzk証明のすべての利点を組み込んでいます。スクロールが分散化に取り組んでいることも注目に値します。 初期段階では中央ソーターがありますが、地方分権化計画が進行中です。 さらに、すべてのZK証明は、最終的には分散型の「証明者」ネットワークによって作成されます。
Scrollのテクノロジースタックとトランザクションフローを1つの記事で読む
フランチェスコ、キャッスルキャピタル。 翻訳:ゴールデンファイナンスシャオゾウ
10月10日、Scrollはメインネットの立ち上げを発表する不可解なメッセージをリリースしました。 空中投下農業は別として、私はそれを完全には認識していませんでした。 だから私はもっと深く掘り下げることにしました!
スクロールから始めましょう。 スクロールはイーサリアムのスケーリングソリューションであり、L2の一般的なゼロ知識(zk)ロールアップです。 ファンキーで派手な言葉がたくさんあるように聞こえますが、詳しく見てみましょう。
イーサリアム上で実行されているL2ロールアップとして、スクロールはネイティブETHセキュリティをインポートします。
セキュリティに加えて、スクロールは豊富なイーサリアムエコシステムにシームレスに溶け込みます。
· 道具
·dアプリ
· スマートコントラクト
· ユーザーベース
これにより、これらのリソースを簡単に転送および交換できるため、比類のないEVM互換性が保証されます。 「ユーザーと開発者にとって、スクロールはイーサリアムとほぼ同等です。」
スクロール以前は、主にイーサリアム仮想マシン(EVM)計算用のzkプルーフの生成が複雑だったため、ユニバーサルzkロールアップはありませんでした。 簡単に言えば、ユニバーサルロールアップはEVMと同等のものを持つことを意味します。
しかし、EVM環境をzkロールアップで正常に実行することは、常にとらえどころのない目標でした。 これは、EVMトランザクションをzk証明で説明できる論理回路に変換する複雑さによるものです。 この複雑さは、zkロールアッププロジェクトが、トランザクションに焦点を当てたdYdXやNFTに焦点を当てたImmutableXなどの特定のアプリケーションにのみ焦点を当てている理由も説明しています。
技術的な問題により、さまざまなdAappsを展開できるユニバーサルネットワークを開発することはできませんでした。 そのため、zkロールアップは、Immutableなどの楽観的なロールアップと比較して、TVLと加入者数の点でうまく機能しません。
これらの課題にもかかわらず、汎用ZKロールアップの探求は続いています。 EVMの互換性は、開発者が新しいチェーンに移行するために必要な作業を大幅に簡素化するため、重要です。
非EVMチェーンへの移行とは、次のことを意味します。
· 既存のコントラクトを移行し、新しいロールアップに書き換える必要があります。
· 既存のEVMツール(ライブラリ、ウォレット、マーケットプレイスなど)ではサポートされていません。
· イーサリアムエコシステムからのアプリケーションはサポートされません。
多くのロールアップは、さまざまなレベルのEVM互換性を備えた汎用zk EVMのタスクを引き受けます。
上位 5 つの zkEVM の比較
(**1)Starknet および zkSync (言語レベル):
これらは、現在、独自のカスタム仮想マシン (Cairo VM) で実行されている専用ソリューションです。 彼らはカスタムVMを実行し、SolidityコードをCairo VMバイトコードにコンパイルするコンパイラ「ワープトランスパイラー」を作成します。
彼らがしていることは、新しいVMを作成し、その上に追加のレイヤーとしてイーサリアムツールのサポートを追加することです。 これにより、堅実な契約をStarkNetにエクスポートし、「EVM互換」にするという目標が達成されます。
簡単なEVMの実行ではありませんが、互換性を維持し、Solidity開発者がロールアップ用のコードを記述できるようにします。 これは良い妥協案です。
(2)Polygon zk-EVM (バイトコードレベル):
ポリゴンはカスタム VM を実行しますが、すべての EVM オペコードをその VM に対して有効になるようにマッピングしています。 ポリゴンのアプローチは、「オペコードレベルの等価性」を持つzkEVMを構築することです。
スクロールとは対照的に、ポリゴンには、EVMオペコードを直接実行する代わりにカスタム「zkASM」オペコードを実行する代替ランタイム(zkutor)があります。 これは、EVMの解釈を最適化するために行われます(EVMの直接証明は制限が厳しすぎるため)。
プロセスの概略図を次に示します。
この構成はスクロールよりもパフォーマンスが高いですが、(zkASMを作成するために)多くのカスタムコードが追加され、互換性のためにコードまたはツールを変更するための可能な要件が導入され、時間の経過とともにイーサリアムとはますます異なる可能性があります。
(3)スクロール (バイトコードレベル):
EVMの実行を、ツールのサポートと互換性の点で優れた検証可能な回路に直接変換します。 現在、ScrollはすべてのEVMオペコードをサポートしているわけではありませんが、最終的にはこれを実装する予定です。
スクロールはどのように機能しますか(技術スタック)?
スクロールは、ETH L1にスマートコントラクトを持つzkロールアップであり、スクロールプロトコルが安全であることを検証できるzkEVMプルーフバリデーターです。
トランザクションはスクロールでどのように行われますか?
· スクロールはブロックをバッチ処理し、ブロックデータをイーサリアムに書き込むことができます。
· 有効性の証明が新しいブロックで生成されると、それはイーサリアムに書き込まれます。
したがって、スクロール上のブロックには3つの状態があります。
· プレコミット: シーケンサーによって提案され、スクロールに含まれます。
· コミット済み:イーサリアムで公開されたトランザクションデータ
· ファイナライゼーション:イーサリアムで公開されたオンチェーンの有効性の証明によって、適切な実行が確認されています。
トランザクションフローは次のとおりです。
(1) シーケンサーから流入するトランザクションは、(1)のブロックに束ねられてパッケージ化されます。
(2) データとコール データが L1 のロールアップ コントラクトにコミットされ、ブロックがコミットされます (D1)。
(3)証明の生成:情報はコーディネーター(完了した作業の「トレース」)に渡され、次に証明者に渡され、証明者はZK証明を生成します。
(4)証明の生成は複数のブロックを占めることができ、異なる「証明者」によって並行して実行できます。
(5)集約プルーフ生成:プルーフはバッチで生成および集約され、検証のためにチェーンに送信されます(検証)。
(6) ブロックが確定します。
トランザクションは、Gethフォークを実行しているノードによって>処理>され、実行トレース>入力zkEVM>回路、証明が有効であることを示すセットへの入力>証明を生成する>、L1コントラクトに発行された集約証明>を生成します。
なぜスクロールするのですか?
· 開発者中心: EVM と同等のバイトコードを提供します。
· 効率性:イーサリアムのためのより安全なブロックスペースを作成し、ガス料金を削減します。
· 速度:最適化されたブロック時間(イーサリアムの3秒対12秒)。
· イーサリアムのビジョンに沿っています。
リリース以来、スクロールはTVLで150万ドル以上を集めています。
1,383人以上のユーザーがスクロールでETHに接続しています。
975ETH以上がスクロールメインネットにブリッジされ、合計150万ドルになりました。
いくつかの考え:
ZKロールアップは、特にプライバシーの点で、詐欺の証拠がないために引き出しが遅れることなく、楽観的なロールアップのライバルを凌駕する設計と見なされています。
バイトコードと互換性のある汎用zkロールアップとして、ScrollはEVMのネットワーク効果とツールを損なうことなく、L2でのzk証明の利点を約束します。
EVMとの完全な互換性はL2の聖杯であり、それがScrollの価値提案であるイーサリアムの興奮です。 スクロールのバイトコード互換性は、最大の互換性を備えたイーサリアムへのzk証明のすべての利点を組み込んでいます。
スクロールが分散化に取り組んでいることも注目に値します。 初期段階では中央ソーターがありますが、地方分権化計画が進行中です。 さらに、すべてのZK証明は、最終的には分散型の「証明者」ネットワークによって作成されます。