RaaS の ZK/OP ルートに関する議論: なぜ ZK-RaaS が優れているのでしょうか?

星球君的朋友们

Odaily资深作者

2023-08-28 08:15

この記事は約1896文字で、全文を読むには約3分かかります

Opside に代表される ZK-RaaS プラットフォームは、ZK-PoW および NCRC プロトコルを開始し、ZK-Rollups の利点をより明確にしました。

AI要約

展開

Opside に代表される ZK-RaaS プラットフォームは、ZK-PoW および NCRC プロトコルを開始し、ZK-Rollups の利点をより明確にしました。

TL; DR

オプティミスティックロールアップと比較して、ZK ロールアップには次の利点があります。

圧縮されたトランザクションデータにより L1 ガスコストを節約
より安全、信頼は不要
取引確認の迅速化と出金時間の短縮

これらの利点に加えて、ZK-RaaS にはネットワーク効果を通じて次の側面でも利点があります。

ZK-RaaS によるZK-PoW大規模な ZK ロールアップに大規模なコンピューティング能力を提供し、ZKP 計算のコストを削減します。
ZK-Rollup のより速いトランザクション確認速度 (分レベル) のおかげで、ZK-Rollup は次のことを達成できます。ネイティブクロスロールアップコミュニケーション (NCRC)これにより、流動性の断片化の問題が解決されます。

RaaSとは何ですか?

Rollups-as-a-Service (RaaS)ロールアップフレームワークと SDK 上に抽象化レイヤーを提供し、展開、メンテナンス、カスタムの実稼働グレード固有のアプリケーションロールアップ (AppRollups) 上での構築を容易にします。 Software-as-a-Service 製品と同様に、RaaS を使用すると、開発者はアプリケーション層の構築に集中できるようになり、複数のエンジニアが協力して数十時間かかっていたプロセスが、10 分間のノーコード導入プロセスに変わります。

ロールアップの主なタイプは次の 2 つです。Optimistic rollupsそしてZK-Rollups。それらは取引の検証と紛争処理が異なり、それぞれに異なる利点と欠点があります。提供されるロールアップの種類に応じて、このペーパーでは RaaS を Op-RaaS と ZK-RaaS に分類します。

1. コスト

ZK ロールアップの L1 ガスのコストはオプティミスティックロールアップのコストよりも低い

Rollup ソリューションの主な目標の 1 つは、イーサリアムでのトランザクションのスループットを向上させ、ユーザーのガスコストを削減することです。オプティミスティックロールアップと ZK ロールアップは、トランザクションをバッチ化し、定期的にメインネットに送信することでこれを実現します。したがって、L1 に送信されるデータのガス料金はすべて負担する必要があります。

不正行為の証明のため、オプティミスティックロールアップはすべてのトランザクションデータをオンチェーンで公開する必要があります。したがって、データのバッチをメインチェーンに送信するには、より多くのGasが必要になります。
ZK-Rollups には効率的なデータ圧縮技術があるため (アドレスの代わりにインデックスを使用してユーザーアカウントを表すなど、これにより 28 バイトのデータが節約されます)。これは、基礎となるチェーン上でトランザクションデータを公開するコストを削減するのに役立ちます。

したがって、ZK ロールアップはオプティミスティックロールアップよりも多くの L1 ガスを節約できます。

ZK-RaaS は、大規模なマイナーの参加により ZKP コンピューティングコストを削減します

ただし、ZK ロールアップではゼロ知識証明を生成するために追加の計算コストが必要です。これはまさに ZK-RaaS が解決を目指していることです。

ZK-Rollup の大規模な実装では、ZKP の生成には、コンピューティング能力を提供するために大量の CPU、GPU、FPGA、その他のハードウェアとマイニングマシンが必要になります。 Opside(https://opsi.de)も提案ZK-PoWマイナーの概念は、zkEVM ノードのメンテナンスと ZKP の計算に参加するために導入されています。 Opside ZK-PoW プロトコルは、イーサリアム、BNB チェーン、ポリゴン PoS、およびオプサイドチェーン自体を含むがこれらに限定されない複数のチェーンに展開されます。

より多くのマイナーが同時に ZKP コンピューティングタスクに参加することを奨励するために、Opside は次のことを提案しています。ZKP's Two-Step Submission Algorithm。 ZKP に対応する PoW 報酬シェアは、有効な ZKP の提出者、つまり特定のルールに従ってマイナーに分配されます。

プルーフハッシュの送信: 時間枠内で、特定のシーケンスについて、複数のマイナーがゼロ知識証明の計算に参加することが許可されます。各マイナーはプルーフを計算した後、元のプルーフを直接送信するのではなく、(プルーフ/アドレス) プルーフハッシュを計算し、プルーフハッシュをコントラクトに送信します。
ZKP の送信: 時間枠の後、マイナーは元のプルーフを送信し、以前に送信されたプルーフハッシュと照合して検証します。検証に合格したマイナーは PoW 報酬を受け取ることができ、報酬額はマイナーの誓約金額に比例して分配されます。

Opside では、ZKP の 2 段階の送信アルゴリズムにより、ZKP の並列計算とシリアル送信が実現され、マイニングマシンが複数の ZKP 生成タスクを同時に実行できるようになり、ZKP の生成効率が大幅に向上します。

2. 取引のファイナリティと資本効率

オプティミスティックロールアップ: 最大 7 日間のチャレンジ期間があり、トランザクションはチャレンジ期間が終了するまでメインチェーン上で完了しません。したがって、オプティミスティックロールアップでは、トランザクションのファイナリティまでの待ち時間が長くなります。
ZK-Rollups: ZK-Rollups の利点は、トランザクションのファイナリティの遅延が短く、通常は数十分、場合によっては数分であることです。ノードオペレーターが有効性証明を検証すると、ステータスが更新されます。

オプティミスティックロールアップにはチャレンジ期間があるため、有効期限までに資金を引き出すことができず、ご不便をおかけしております。ただし、ZK-Rollups にはチャレンジ期間がなく、ユーザーは資本/流動性の効率が良く、いつでも資金を引き出すことができます。

3. 共有モビリティ

言及する価値があるのは、ZK-Rollupsの取引が迅速に確認できるため、ZK-Rollups間のトラストレス通信が実現でき、すべてのRollupsで資産流動性を共有することができます。また、不正行為の証明と 7 日間のチャレンジ期間のため、オプティミスティックロールアップ間のネイティブなトラストレス通信は非現実的です。

ZK-RaaS プラットフォーム Opside のNCRC (ネイティブクロスロールアップコミュニケーション) プロトコルトラストレスなロールアップ相互運用性ソリューションを提供します。 NCRC プロトコルは、各ロールアップに追加のサードパーティブリッジを追加するのではなく、ZK ロールアップに付属するブリッジ (ネイティブブリッジ) をシステムレベルで変換し、各 ZK ロールアップのネイティブブリッジを直接使用して次のことを実現します。クロスロールアップコミュニケーション。このアプローチはより簡潔かつ徹底的で、ネイティブブリッジの絶対的なセキュリティを継承するだけでなく、サードパーティブリッジによってもたらされるシステムの複雑さと信頼コストを回避します。

NCRCはテストネットワーク上で開始され、ユーザーは直接それを体験できます https://pre-alpha-assetshub.opside.network/.

4. セキュリティ

楽観的なロールアップ: 不正行為の証明は、誠実なバリデーターがブロックチェーンネットワークを保護することで、トランザクションの正当性を保証します。無効なトランザクションに異議を唱える誠実なノードがなければ、悪意のある攻撃者が資金を盗む可能性があり、こうした楽観的なロールアップは安全ではありません。
ZK-Rollups: 正直なバリデータに依存する代わりに、ZK-Rollups はゼロ知識証明を使用してトランザクションを検証します。 ZKP の利点は、人間の行為ではなく数学的証明を通じてセキュリティ保証を提供することです。したがって、ZK ロールアップはトラストレスです。

ただし、楽観的ロールアップの不正行為を証明することは理論的には可能であり、すでにいくつかのロールアップが運用されています。ただし、時間が経ち、オプティミスティックロールアップの数が増加するにつれて、このセキュリティモデルのリスクが徐々に明らかになり、灰色のサイ、あるいは黒い白鳥になることもあります。なぜなら、正直なバリデータの実行にはコストがかかり、ほとんどの場合、利益が得られないからです。 Op-RaaS が大量のオプティミスティックロールアップを作成すると、いくつかのヘッドロールアップを除いて、すべてのロールアップ、特に関係のないロールアップに正直なノードがあることを保証するのは困難です。

ZK-Rollups のセキュリティはトラストレスです。これは、ZK ロールアップが不正なトランザクションに異議を唱えるためにユーザーや検証者に依存せず、数学的証明を通じてセキュリティを保証するためです。