Scroll のテクノロジースタックと取引フローをわかりやすく解説

著者: francesco、Castle Capital;

10 月 10 日、Scroll はメインネットの開始を発表する謎のメッセージをリリースしました。単なるエアドロップ ファーミング以上の意味があるとは完全には理解していませんでしたが、それを詳しく調べてみることにしました。

Scroll は、L2 汎用ゼロ知識 (zk) ロールアップであるイーサリアム用のスケーリング ソリューションです。このテクノロジーを詳しく見てみましょう。

イーサリアム上で実行される L2 ロールアップとして、Scroll はネイティブ ETH セキュリティをインポートします。

セキュリティに加えて、Scroll は豊富な Ethereum エコシステムにシームレスに統合します:

·ツール

· dApps

・スマートコントラクト

・ユーザーベース

このアプローチにより、これらのリソースの簡単な転送と交換可能な使用が可能になり、比類のないEVM互換性が保証されます。 「ユーザーと開発者にとって、Scroll はイーサリアムとほぼ同等です。」

Scroll が登場する前は、主にイーサリアム仮想マシン (EVM) プルーフ用の zk を生成する計算が原因で、ユニバーサル zk ロールアップはありませんでした。複雑。簡単に言えば、ユニバーサル ロールアップは EVM と同等の機能を持つことを目的としています。

しかし、zk rollup で EVM 環境を正常に実行することは、常にとらえどころのない目標でした。これは、EVM トランザクションを zk 証明で説明できる論理回路に変換する複雑さによるものです。この複雑さは、zkロールアッププロジェクトが取引に焦点を当てたdYdXやNFTに焦点を当てたImmutableXなど、特定のアプリケーションのみに焦点を当てている理由も説明しています。

技術的な問題により、さまざまな dAapp を展開できるユニバーサル ネットワークを開発することは不可能です。これは、zk-rollup が (Immutable などの) 楽観的ロールアップと比較して TVL とユーザー数の点でパフォーマンスが低い理由でもあります。

これらの課題にもかかわらず、ユニバーサル ZK ロールアップの探索は続けられています。 EVM との互換性は、開発者が新しいチェーンに移行するために必要な作業を大幅に簡素化するため、重要です。

非 EVM チェーンへの移行は次のことを意味します:

·既存の契約を移行し、新しいロールアップに書き直す必要があります。

·既存のEVMツール(ライブラリ、ウォレット、マーケットなど)ではサポートされていません。

·イーサリアム エコシステムのアプリケーションをサポートできません。

多くのロールアップは、さまざまなレベルの EVM 互換性を備えたユニバーサル zk EVM のタスクを引き受けます。

5 つの主要な zkEVM の比較

(1) Starknet と zkSync (言語レベル):

これらは現在、独自のものを使用しています。カスタマイズ 仮想マシン (Cairo VM) を実行するための専用ソリューション。彼らはカスタム VM を実行し、Solidity コードを Cairo VM バイトコードにコンパイルするコンパイラ「Warp Transpiler」を作成しました。

彼らが行ったのは、新しい VM を作成し、その上に追加のレイヤーとして Ethereum ツールのサポートを追加することでした。これでも、Solidity コントラクトを StarkNet にエクスポートするという目標は達成され、それによって「EVM 互換性」が実現されます。

直接の EVM 実装ではありませんが、互換性が維持されており、Solidity 開発者はロールアップ用のコードを作成できます。これは良い妥協案です。

(2) Polygon zk-EVM (バイトコード レベル):

Polygon はカスタム VM を実行しますが、すべての EVM オペコードがその VM で有効なオペコードにマップされています。 Polygon のアプローチは、「オペコードレベルの同等性」を備えた zkEVM を構築することです。

Scroll と比較すると、Polygon には代替ランタイム (ランタイム) である zkExecutor があり、EVM オペコードを直接実行する代わりにカスタム "zkASM" オペコードを実行します。これは、EVM の解釈を最適化するために行われます (EVM を直接証明すると制限が多すぎるため)。

このプロセスの概略図は次のとおりです:

この構成はスクロールよりもパフォーマンスが高くなりますが、(zkASM を作成するための) 多くのカスタム コードが追加されます。 ）、互換性を実現するためにコードやツールを変更する必要が生じる可能性があり、時間の経過とともにイーサリアムからますます乖離する可能性があります。

(3)スクロール (バイトコード レベル):

EVM の実行を検証可能な回路に直接変換し、ツールのサポートと互換性において利点をもたらします。現在、Scroll はすべての EVM オペコードをサポートしているわけではありませんが、最終的にはこれを実装する予定です。

#Scroll のテクノロジー スタックはどのように機能しますか?

Scroll は zk ロールアップです。ETH L1 にスマート コントラクトがあり、Scroll プロトコルが安全かどうかを検証できる zkEVM 証明バリデータです。

スクロールではトランザクションはどのように進行しますか?

·Scrollはブロックをバッチ処理してイーサリアムにブロックデータを書き込むことができます。

·新しいブロックで有効性の証明が生成されると、その証明はイーサリアムに書き込まれます。

したがって、スクロール上のブロックには 3 つの状態があります。

· コミット前: シーケンサーによって提案され、スクロールに含まれます。

·コミット済み: イーサリアム上で公開されたトランザクション データ

·確定済み: イーサリアム上で公開されたオンチェーンの有効性証明書によって、正しい実行が確認されました。

トランザクションの処理は次のとおりです。

(1) シーケンサから流入したトランザクションを束ねてブロックにパッケージ化します(1)。

(2) データとコール データは L1 のロールアップ コントラクトに送信され、ブロックが送信されます (D1)。

(3) 証明の生成: 情報 (完了した作業の「トレース」) をコーディネーターに渡し、次に証明者に渡します。証明者は、 zkの証明。

(4) 証明の生成は複数のブロックを占有することができ、異なる「証明者」によって並行して実行できます。

# (5) 集約プルーフの生成: プルーフはバッチで生成および集約され、検証 (Verify) のためにチェーンに送信されます。

(6) ブロックがファイナライズされます。

## トランザクション > Geth フォークを実行しているノードによって処理 > 実行トレース > zkEVM 回路への入力 > プルーフの生成 > プルーフが実行されていることを示すセットへの入力は有効です>Generate Aggregation Proof>が L1 コントラクトに送信されます。

スクロールを選択する理由

·開発者中心: EVM と同等のバイトコードを提供します。

·効率性: イーサリアム用のより安全なブロックスペースを作成し、ガス料金を削減します。

·速度: ブロック時間を最適化します (イーサリアムの 12 秒に対して 3 秒)。

·イーサリアムのビジョンと一致しています。

Scroll のリリース以来、150 万ドルを超える TVL が蓄積されました。

1,383 人を超えるユーザーがスクロールで ETH をブリッジしました。

975 ETH 以上が Scroll メインネットにブリッジされており、総額は 150 万ドルになります。

いくつかの考え:

ZK ロールアップは、引き出しの遅延がないため、特にプライバシーの点で、楽観的なロールアップの競合他社よりも優れた設計とみなされています。詐欺の証拠が不足しているため。

バイトコード互換のユニバーサル ZK ロールアップとして、Scroll は EVM のネットワーク効果とツールを損なうことなく、L2 での ZK 耐性の利点を提供することを約束します。

EVM との完全な互換性は L2 の聖杯であり、それが Scroll の価値提案であるエキサイティングなイーサリアムです。 Scroll のバイトコード互換性により、zk-proof のすべての利点が最大限の互換性でイーサリアムにもたらされます。

Scroll が分散化の実現に取り組んでいることも注目に値します。初期段階では中央の発注者が存在しますが、分散化の計画が進行中です。さらに、すべての ZK 証明は、最終的には分散型の「証明者」ネットワークによって作成されます。

以上がScroll のテクノロジースタックと取引フローをわかりやすく解説の詳細内容です。詳細については、PHP 中国語 Web サイトの他の関連記事を参照してください。