StarkWare の詳細な分析: ZK の「ユニバース」を構築したいですか?

ChinaDeFi

特邀专栏作者

2022-07-05 13:00

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

StarkNet は、ZK ロールアップを使用してイーサリアムをスケーリングする可能性を示しています。

AI要約

展開

StarkNet は、ZK ロールアップを使用してイーサリアムをスケーリングする可能性を示しています。

オリジナル編集: ChinaDeFi

StarkWare は、イーサリアム向けの大規模な ZK ベースのロールアップソリューションの構築に注力している ZK 企業です。最初の製品である StarkEx は 2020 年に発売され、2021 年 11 月にはさらに多くの機能を備えた StarkNet がリリースされました。

テクノロジー

StarkWare は、数千のトランザクションを STARK と呼ばれる単一の有効性証明に圧縮し、イーサリアム L1 に送信する新しいテクノロジーを構築しました。 SNARK と比較すると、STARK には 2 つの主な利点があります。

初期の信頼設定は必要ありません。
SNARKよりも計算時間が速い。必要な計算量が少なくなるため、イーサリアムのスケーラビリティが桁違いに向上する可能性があります。

建築

StarkWare スタックは主に、共有証明者 (SHARP) と検証者 (L1 上に存在) で構成されます。 SHARP は、異なる dapp からの複数のトランザクションをバンドルし、プルーフを生成します。次に、L1 上のバリデーターと証明を共有します。これにより、異なるアプリケーション間で計算が共有されるため、コストが節約されます。検証者は、SHARP 証明が有効であることを確認します。有効な場合、それらはファクトレジストリで共有されます。アプリケーションは StarkEx と接続することも、SHARP (StarkNet アプリケーション) と直接接続することもできます。

StarkNet の L2 ノード (シーケンサー) はすべてのトランザクションを実行し、定期的に状態をイーサリアムメインネットに更新します。 StarkNet のトランザクションのファイナリティは L1 に関連付けられていることに注意してください。これは、L2 ノードが StarkNet とイーサリアムの両方を検証する必要があることを意味します。 StarkNet は、イーサリアムメインネットのチェックポイント処理を含むソリューションを導入し、ロールアップ側で効率的なファイナリティを非常に迅速に達成できるようにしました。したがって、すべての L2 ノードには L1 フルノードが含まれます。

データの可用性

StarkNet は、Validium メカニズムを使用してデータの可用性を実現します。 ZK ロールアップとほぼ同じですが、ZK ロールアップとオプティミスティックロールアップ (OR) はデータをオンチェーンに保持するのに対し、ZK ロールアップはデータをオフチェーンに保持する点が異なります。 Validium は、データをオフチェーンに保ちながら、L1 でのみ有効性の証明を発行します。これにより、Validium は適度に高いスループットを達成し、トランザクションあたりのコストを削減できます。

データをオフチェーンに保存すると、サードパーティへの信頼が必要となり、ユーザーが残高にアクセスできなくなる可能性があります。 StarkWare は、トランザクションのコピーを所有する 8 人の独立したメンバーで構成されるデータ可用性委員会 (DAC) を通じてこの問題を解決することを目指しています。また、このデータを常に利用できるようにして維持する必要もあります。オペレーターがユーザーの資金へのアクセスをブロックした場合、委員会メンバーはそのリクエストが有効かどうかを確認します。

StarkWareはまた、ユーザーがオンチェーンでデータを送信するかどうかを選択できるVolitionメカニズムの実装も計画している。これにより、個々のトランザクションであっても、データの可用性の決定がアプリケーションレベルからユーザーレベルに移行します。ユーザーがオンチェーン上のすべてのデータを含む高価値の NFT を送信したい場合は、追加コストを支払ってオンチェーンに転送できます。これは ImmutableX と Sorare で実現されます。

カイロプログラミング言語

新しいテクノロジーは新しい要件をもたらします。 Cairo は、STARK 専用に構築されたチューリング完全なプログラミング言語です。パフォーマンスと拡張性の点では優れていますが、非常に新しいものです。多くの開発者はそれに慣れていないため、既存のアプリケーションを StarkNet に移行することが困難になっています。 Nethermind によって開発された Warp は、Cairo トランスパイラ用の EVM です。 Warp を使用すると、Solidity コントラクトを Cairo にシームレスに変換できます。

Cairo 言語の画期的な点は、1 つの検証者だけが 1 つの証明を使用して、さまざまなプログラム実行の整合性を確認できることです。

StarkNet Vs OR

StarkNet は、OR の 7 日間の待機時間と比較して引き出し期間が短いだけでなく、基礎となるアーキテクチャも異なります。 StarkNet は「ステートレス」を使用しており、L1 に状態全体の状態ルートを保存するだけでよく、ユーザーは特定の状態項目にアクセスするためにマークル証明を提供する必要があります。 OR は、各状態項目がオンチェーンで記録される「ステートフル」ソリューションに従います。これは州の肥大化につながり、将来採用された場合にうまく拡張できないことが判明する可能性があります。

生態系

StarkWare エコシステムは成長しています。 StarkNet でのパーミッションレス展開には、多くの開発者が関心を示しています。 StarkEx のオープンエコシステムと豊富なドキュメントにより、開発者は StarkEx を簡単に実装できます。 StarkNetではDeFiプーリングが可能です。これにより、ユーザーは L2 に存在できるようになりますが、DeFI は依然として誕生した L1 に存在し、多くのエキサイティングなものが構築されています。 StarkNetには多くのゲームやNFTゲームアイテムが登場しています。