Partnered With:

Matter Labsチームへのインタビュー：zkSync 2.0がL2レースでどのように脚光を浴びるようになったのか？

この記事を読むのに必要な時間は 31 分

Matter Labsチームは、zkSyncとStarkwareの違い、スケーリング機能、およびプロジェクトの分散化計画について話しました。

原文タイトル：「zkSync 2.0 AMA: イーサリアム Layer 2 トラックでの差別化方法は？」

原著者：Bin Lynn、DeFi 之道

最近、イーサリアム Layer 2 プロジェクトである Matter Labs は、zkSync 2.0 テストネット上で最初の Solidity dApp を移行しました。その下にある zkEVM により、この ZK Rollup レイヤー2ネットワークが完全に EVM と互換性があります。

この新興の Layer 2 について、Matter Labs 公式は r/ethereum で AMA を行いました。以下は DeFi 之道がまとめたイベントのハイライトです：

質問1：Alex G は以前 Twitter で、Starkware と zkSync は異なるターゲットユーザーグループ向けに構築されていると述べていました。これについて詳しく説明できますか？

Alex：もちろん、私は Matter Labs を代表するだけであり、しかし、これは私の強い見解です。

zkSync のビジョンは、初期の暗号化運動の精神と哲学に根ざしています。それはサイバーパンク、主権個人、サトシ・ナカモト、そして Vitalik などの考えに基づいています。要するに、私たちは自由と、暗号学によってもたらされる強力な新しい形式の回復力を尊重しています。暗号学は今日、最も強力な敵（例：強力な独裁政権）にも耐えることができる個人がどんな人でも利用できる唯一の技術です。暗号学と分散化が組み合わさることで、ブロックチェーンコミュニティには現状に挑戦する（そして最終的に変える）力が与えられます。分散化と防御不能性がない場合、あなたが今日持っているものは銀行でしょう。これらの属性がブロックチェーンにとって必要ではないと考えるなら、「e-gold」と「liberty reserve」をGoogleで検索する時間を取ってください。

これにより、2つの企業の主な違いが生まれました。zkSync は、「分散化」と「柔軟な最適化」を対象としたオープンプロトコルを構築しています。私たちは、置き換え可能であることを願っています：Matter Labs が消滅したり損傷を受けたりしても、ネットワークは繁栄すべきです。当社の主な目標グループは、1）ブロックチェーンを使用して金融の主権を実現する人々、および2）それらの人々のために構築された分散型プロトコルです。

そして、StarkWare が構築しているものは、多かれ少なかれプロプライエタリなスケーリングソリューションであり、このソリューションは同社の IP に最適化されたパフォーマンスと防御力を持ちつつ、エンタープライズサポートと SLA を備えています。テクノロジーやサービスプロバイダーとして、彼らは不可欠な地位を維持するよう努めています。彼らの主要なターゲットオーディエンスは、ブロックチェーン上に構築された中心化企業（dydx、Immutable、Sorre、TikTok）のようです。

この違いは、設計上の重要な違いに直結しています：

1、ソフトウェアライセンス：

zkSync は寛容なライセンス（Apache/MIT）を採用しており、そのため、Matter Labs が適切なことを行わない場合、誰でもネットワークを自由にフォークすることができます。

StarkWare は Polaris を提案しており、これにより、StarkWare の傘下企業以外の人が STARK プルーフを実行するのを防ぎます。

2、デベロッパースタック：

zkSync は完全な EVM 互換性に焦点を当てています — コミュニティがすべての側面でネットワークを所有し、プロトコルを新しい言語で書き直したり再審査したりするサービス機関としての役割を果たすことを望んでいません。

StarkWare は Cairo を推進しており（スマートコントラクトの記述に使用される新しい DSL）、これは後方互換性ではなくパフォーマンスを重視しています。

3、スケーラビリティ：

zkSync 1.0 には、リリース当初から強制的なタイムロック付きのアップグレードメカニズムがありました（後にセキュリティ委員会のメカニズムも拡張されました）。私たちはバグ修正できないリスクを認識し、それよりも訴訟による混乱のリスクを好みます。そして、zkSync 2.0 もこのアプローチに従います。

StarkEx には、アップグレード前に操作を凍結するメカニズムがあり、これはタイムロックのないアップグレードメカニズムとして機能し、少なくとも初期段階ではそうです。彼らの焦点は明らかに外部攻撃者に対するセキュリティに置かれており、StarkWare 自体への依存を減らすことではありません。

4、オフチェーンデータの可用性：

ZKSync 2.0 には、zkPorter が付属しています：分散型最適化されたオフチェーンデータの可用性ソリューションです。その設計により、完全ノードは任意の既存の Ethereum キラーの数倍になり、アクティビティには暗号経済学的インセンティブが提供されます。

一方、StarkWare はデータの利用可能性委員会（Data Availability Committee）に賭けており、これは一部のデータ保持者から構成され、彼らは分散型のインセンティブではなく独自の声望に依存しています。

これらの違いは、私たちの価値観と理念の違いから生じていることがわかります。監督の圧力がますます高まる中、私たちは KYC、AML、プライバシー、および暗号コミュニティと国家との他の緊張した分野でより多くの問題が発生すると考えています。

Q2: もし zkPorter が凍結された場合、スマートコントラクト内の資金はどうなりますか？それらは自動的に引き出されますか？そうでない場合、それはロールアップユーザーにどのような影響を与えるでしょうか？例えば、Uniswap に ETH/DAI があり、そのうちロールアップアカウントが 700 万ドルを、zkPorter アカウントが 300 万ドルを提供しているとします。zkPorter が凍結された場合、特にロールアップユーザーの視点から、何が起こるのでしょうか？

Stan：一般的に、これはロールアップユーザーにとっては何も変わらず、流動性は契約内に保持され、通常通り機能します。

Follow-up：zkPorter が凍結された場合、zkPorter アカウントが提供する流動性はどのようにして引き続き正常に機能しますか？これは安全ではないように思えますが。

Stan：zkPorter の凍結は、最悪の場合、zkPorter アカウントがスマートコントラクトからその流動性を引き出せなくなることを意味します。なぜそれが安全でないと考えるのか説明してください。なお、契約のグローバルストレージ、例えば ERC-20 残高は引き続きロールアップ内に格納されます。

Follow-up: これは凍結された資金よりもさらに悪いと言えます。私は常に zkPorter ステータスの凍結がそのままの意味だと考えていましたが、実際にはここで zkPorter を凍結していません。ただ、資金がスマートコントラクトにないだけです。これはスマートコントラクトプラットフォームの趣旨に反しています。

私が何かを誤解していない限り、ユーザーが zkPorter で凍結された際に清算され、それに完全に無力である場合、それは非常に悪いユーザーエクスペリエンスになります。より大きな問題は、ソータラと zkPorter の検証者が共謀して清算や他の MEV シナリオを強制する攻撃ベクトルを開くことです。これにより、それはサイドチェーンと同じくらい安全ではなく、一部の MEV ケースではさらに悪化する可能性があります。zkSync 2.0 には、ロールアップが凍結されている場合でも、ユーザーがスマートコントラクトから資金を引き出すことができる仕組みがあり、StarkWare も同様の保護引き出しソリューションを持っています。では、なぜ zkPorter 用の同様の保護機能がユーザーを保護するように実装されていないのでしょうか？

Stan: この包括的な回答をありがとうございます。私たちのチームはこれらの潜在的な問題に気付いており、残念ながら、すべての詳細を提供することはできませんが、我々は確かにシステムへの凍結の影響を最小限に抑えることに専念しています。

資金の凍結に関しては、それは合約に依存します。現在の Uniswap イーサリアムコントラクトは単一のシャードをサポートしているため、そのコードが変更されずに zkSync に移植される場合、それは単にロールアップ時に残高を保持します。したがって、Porter からのユーザーが流動性を提供するたびに、彼らはその資金をロールアップの残高に送ります。これらの資金は、他のすべてのロールアップ資金と同様に、L1 上と同様に安全であるはずです。先ほど述べたように、我々はこのような状況に優雅に対処することを目指しています。テストネットバージョンでは、さらに詳細を提供します :)

Q3: Ethereum メインネットで実行されているスマートコントラクトを zkSync に展開するプロセスはどれほど複雑ですか？展開されたコードは完全に同じですか？

Angela: はい、Solidity スマートコントラクトにとっては、ほとんどの DeFi および NFT プロジェクトはコードを変更せずに動作します。ただし、最初のバージョンでは、コンパイラが SHA256 および Keccak256 への呼び出しを回路に適したハッシュ関数へ自動的に置換します。他のいくつかの暗号学的原語、例えば ecrecover および暗号学的プリコンパイルは現在サポートされていません。

UI について：当社の Web3 API と Ethers SDK を使用して、スマートコントラクトと zkSync ネットワークと完全にやり取りすることができます。読み取りリクエストの場合、Web3 に準拠したフレームワークのいずれでも、追加のオプションの zkSync L2 固有の機能を備えたまま使うことができます。書き込みリクエスト（トランザクションの送信）の場合：L1 と L2 の根本的な違いから、いくつかの追加のコードを書く必要があります（たとえば、zkSync は任意のトークンで手数料を支払うことをサポートしているため、トランザクションの送信には手数料を支払うトークンの選択が含まれます）。

したがって、はい、現在のフロントエンドを再利用するには、（トランザクションの送信以外は）最小限の変更しか必要ありません。

Q4: zkEVM のアーキテクチャにおける最も緊急の中心化ポイントは何ですか（たとえば、オーダラーまたは類似物）、およびこれらの領域での分散化の計画は何ですか？

Angela：zkSync 2.0 における分散化の実現には、次の 3 つの点に注意する必要があります：

1、プロトコルの段階的な分散化

ほとんどの Rollup プロジェクトと同様に、私たちは革新、迅速な反復、およびバグの迅速な修正のために段階的な分散化を選択しました。zkSync は機能範囲が安定するまでアップグレード可能のままであり、その後はイミュータブルになります。ただし、理想的なバランスを見つけるための 2 つのメカニズムがあります。

A) 信頼最小限のアップグレード性：

zkSync スマートコントラクトのアップグレードは、zkSync ガバナンスによって始められ、4 週間のタイムロック期間があります。もしガバナンスが崩壊した場合、タイムロックはユーザーが優先キュー / 緊急脱出メカニズムを介して退出する時間を与えます。

B) セキュリティ委員会：

バグ / ハッキングイベントに対処するために、私たちは、15 名の尊敬されるイーサリアムコミュニティメンバーから成るセキュリティ委員会を設立しました。その権限は 4 週間のタイムロック通知期間を短縮することに限定されています。（注：この 15 名の委員会メンバーには、Aave の創設チーム、Itamar Lesuisse（Argent）、Mike McDonald（Balancer）、James Prestwich（cLabs）、Michael Egorov（Curve）、Jack Baumruk（Dekrypt）、Haseeb Qureshi（Dragonfly）、Justin Drake（Ethereum Foundation）、Stefan George（Gnosis）、Baek Kim（Hashed）、Chris Burniske（Placeholder）、Nick Grossman（USV）、Will Harborne（ZK Validator）、Sergej Kunz（1inch）および Lasse Clausen（1kx）が含まれます）

この理事会はスマートコントラクトによって実行され、以下のルールに従います：

8/15の署名により、タイムロックを2週間まで短縮できます；

10/15の署名により、タイムロックを1週間まで短縮できます；

12/15の署名により、タイムロックを3日まで短縮できます；

最低3日のタイムロック時間は、最悪の状況を防ぐために設定されています。

2、ソーター（Sequencer）

最初は、認証済みのソーターが送信したブロックのみがzkSync L1スマートコントラクトに状態遷移を提出できます。私たちはソーターの選択/交代メカニズムをいくつか持っているかもしれません。しかし最終的に、PoSコンセンサスで保護された多様な検証者によるグループソーターに移行します。ユーザーはセキュリティをソーターに依存しません。当社のzkRollupには、ユーザーをソーターの検閲から保護する優先順位付きキュー/緊急脱出メカニズムがあります：ソーターが悪意的であっても、故障していても、zkSyncから常に脱退できます。

3、zkPorter

zkPorterユーザーは、1-3セントの固定手数料で取引することができます。これは、データの可用性（基本取引データを再構築するのに必要なもの）をイーサリアムのチェーン上ではなく、オフチェーンに置くことで実現されます。データの可用性は、zkSyncトークンのステーキングプルーフ（PoS）によって保護されています。zkPorterのセキュリティは、他のすべてのL1やサイドチェーンよりも厳格ですが、最悪の場合、悪意のある行為者がステーキングされたソーターと合計賭け金の2/3以上を制御していると、有効な状態遷移に署名できますが、データを保持し、これにより状態が凍結され、ステーキングされたzkPorterユーザーと攻撃者が凍結されます。

zkPorterをさらに中心化するために、zkSyncトークン供給の3分の2はコミュニティに予約されています。

Q5: マーケットには多くのスケーリングソリューションがありますが、「より速く、より安く、より安全」といった通常の主張以外に、他に何かで他社と異なる点はありますか？

Lyova：zkSync 2.0にはzkPorterが搭載され、シームレスで相互運用可能な、オフチェーンデータの可用性を持つ超安価なシャーディングがあります。すべての詳細については、こちら情報をご覧ください。

また、zkSync 上では、任意の流動性トークンを使用して手数料を支払うことができます — ETH を購入する必要はなく、MATIC のようなカスタムトークンも必要ありません。

P.S. 「より速く、より安く、そしてより安全である」という点に関しては、l2beat と l2fees を参照してください）

Q6: zkSync の次のステップは何ですか？さまざまな L2 間および他のブロックチェーン環境との相互運用性の向上を計画していますか？

Angela: zkSync の次のステップについては、まだ多くの構築が必要です。

開発者ツール: 長期的なアプローチを取り、コンパイラに LLVM を使用することを選択しているため、デバッガ、リンカ、アセンブラ、ディスアセンブラ、およびバイナリユーティリティを考慮する必要がありました。

また、x86 や ARM アセンブリを書いたことのある人は、簡単に当社の VM 用のコードを書くことができます。

より多くのスマートコントラクト言語: LLVM により、Rust など他のチームと容易に言語フロントエンドを構築できます。

より機能が充実し、より効率が良い zkEVM: 最初のバージョンでは、SHA256 と Keccak256 の呼び出しはコンパイラによって自動的に回路フレンドリーなハッシュ関数に置換され、ecrecover や暗号学のプリコンパイルはサポートされていません。もちろん、これらを効果的にサポートすることが次のステップです。さらに、コピー時に書き込み (copy-on-write) 拡張を実装する予定です。

UX/DevX の向上: ETH 以外のトークンの手数料方法を実装済みであり、アカウントの抽象化を実装中です。今後さらなるサポートが提供されます。

最後に、暗号技術はブロックチェーン世界で信じられないほどのツールであることが証明されました。ゼロ知識証明はスケーラビリティとプライバシーを推進しており、これは公共の許可なしブロックチェーンにおける最も重要な2つの問題です。Matter Labs は、問題を暗号技術と数学を使用して解決することに情熱を持つエンジニアリングチームであり、継続して取り組んでいます。興味深いアプリケーションの1つは、MEV を排除するためにタイムロック暗号を実装することです。

異なる L2 間および他のネットワークとの間で移動する問題に関しては、当社は主に zkSync の構築に注力しており、zkSync と他のネットワーク間の移動に関する問題は、Optics、Connext、Hop などのブリッジソリューションによって解決されています。

Q7: なぜ SNARKs を選択し、STARKs を選択しなかったのですか？将来的に STARKs に移行することは困難ではないでしょうか？契約の規模に制限はありますか？

Lyova：SNARKs を選択した理由の1つは、データがより小さいため、証明がより安価であり、O（1）のスペースしか占有しないことです。SNARKs は再帰的にも簡単に行うことができ、これにより検証者の計算量が節約されます。さらに、zkSync が使用しているのは PLONK スキームであり、他の SNARKs とは異なり、汎用の信頼設定のみを必要とするため、私たちは回路を更新するたびに「有毒なゴミ」を生成する必要がありません。興味がある場合は、こちらをご覧ください。将来的に STARKs に移行する予定はありません。

L2 に展開された契約は、ある方法で L1 に公開される必要があります（少なくとも現時点ではそうです）、これは「プライマリモード」期間中に正しく実行および資金引き出しが行われることを保証し、それがあまり発生しない監査の場合。このため、L1 ブロックのガス制限にはある種のサイズ制限が課されます。

Q8: メインネットのローンチ後、Matter Labs はどのように収益を上げる予定ですか？

Angela：イーサリアムと同様に、最初のトークン供給の1/3はチームと投資家に割り当てられ、2/3はコミュニティに属しています。zkSync トークンは zkSync ネットワークの手数料トークンです（他のトークンで手数料を支払うこともサポートしていますが、それらはバックグラウンドで zkSync トークンに変換されます）。