元の編集者: Biteye のコアコントリビューター Crush
元の編集者: Biteye のコアコントリビューター Crush
Arbitrum エアドロップの富効果は L2 に対する市場の信頼に火を付け、まだ発行されていない L2 を導入しました。そして評価額80億ドルという高額なStarkWareも当然注目を集めている。
副題
01 STARKs, StarkEx, StarkNet
1.1 STARKs
STARKs（Scalable,Transparent ARgument of Knowledge)は、計算を証明・検証できる証明システムであり、イーサリアムのスケーラビリティの向上を目的としています。
これにより、大規模な計算をオンチェーンからオフチェーンに移動してコストを削減し、計算の正しさの証明を生成し、その後、小規模な計算をオンチェーンで実行して証明を検証することができます。つまり、検証者は、チェーン上でごくわずかな操作を実行するだけで、チェーン外で完了した計算の整合性を判断できます。
L2 は STARK テクノロジーを使用して、数千の計算用に複数のトランザクションをパッケージ化し、単一の STARK 証明を使用してチェーン上での有効性を検証します。
このバッチ内のすべてのトランザクションはオンチェーン処理のコストを共有するため、イーサリアムのセキュリティを継承しながらガスコストが削減され、ユーザーエクスペリエンスが向上します。このモデルは、乗り合いタクシーの利用者間で料金をシェアするのに似ています。
SNARK (簡潔、非インタラクティブ、議論、知識) は、簡潔な非インタラクティブな証明です。 STARK と SNARK はどちらも ZK ロールアップに対するソリューションです。
画像の説明
(出典:SUSS NiFT、ChatGPT)
SNARKと比較して、STARKには以下の3つの利点があります。
1.不信感
STARK は公的に検証可能でランダムであり、SNARK の信頼できる設定を置き換えるため、参加者への依存が軽減され、プロトコルのセキュリティが向上します。
2. より強力な拡張性
STARK には検証の対数圧縮特性があり、基礎となる計算の複雑さが指数関数的に増加した場合でも、SNARK のような線形成長ではなく、低い証明時間と検証時間を維持します。
3. より高いセキュリティ保証
STARK は、量子コンピューティング攻撃に対して耐性のある衝突耐性のあるハッシュ値を使用して暗号化されます。
ただし、STARKsはSNARKsに比べて証明サイズが大きいため、L2トランザクション量が少ない場合には証明コストの分担が難しく、確認遅延が大きくなります。ただし、規模が拡大すると、STARKT を使用する限界コストが減少するため、大規模なアプリケーションに適しています。また、SNARKs と比較して、現状の STARKs の導入率は不十分であり、基本ツールの改善が必要である。
画像の説明
(出典:SUSS NiFT、ChatGPT)
副題
1.2 StarkEx
StarkEx は、許可されたアプリケーション固有のカスタム スケーリング ソリューション フレームワークです。プロジェクトは StarkEx を使用して、低コストのオフチェーン計算を実行し、実行の正しさを証明する STARK 証明を生成できます。
このような証明には 12,000 ～ 500,000 のトランザクションが含まれます。最後に、証明はチェーン上の STARK バリデーターに送信され、検証が正しいとステータスの更新が受け入れられます。
StarkEx は 3 つのデータ保存方法を提供します。 ZK-Rollup モードでは、データがチェーン上に保存されるため、データが分散化され、ユーザーによる追跡と監視が容易になります。
ただし、チェーン上でデータを公開するコストは高くなります。 Validium モードでは、データはオフチェーンに保存され、低コストでデータが公開されません。
ただし、データが適切に処理されているかどうかを監視するには、データ可用性委員会が必要です。 Volition は、ユーザーがデータをオンチェーンに置くかオフチェーンに置くかを選択できるハイブリッド データ可用性モデルです。
StarkEx にデプロイされたアプリケーションには、永久オプション dYdX、NFT L2 Immutable、スポーツ デジタル カード取引マーケットプレイス Sorare、マルチチェーン DeFi アグリゲーター rhino.fi が含まれます。
副題
1.3 StarkNet
StarkNet は、カイロ言語で開発されたスマート コントラクトを誰でも展開できるパーミッションレス L2 です。 StarkNet にデプロイされたコントラクトは相互に対話して、新しい構成可能なプロトコルを構築できます。
アプリケーションがトランザクションの送信を担当する StarkEx とは異なり、StarkNet の注文者はトランザクションをバッチ化し、処理と証明のために送信します。
副題
1.4 Cairo
Cairo は、一般的なコンピューティングのカスタマイズを証明するために STARK で使用されるプログラミング言語であり、EVM による制限を受けることなく、コードの開発、レビュー、保守をより簡単かつ迅速に行うことができ、イーサリアムの歴史的な負担を放棄して、アカウントの抽象化などのより複雑な計算を行うことができます。また、ゲーム開発においても、より柔軟であり、チェーン全体でゲームをサポートします。
副題
1.5 SHARP (共有証明者) 共有証明者
最初のレベルのタイトル
02 StarkNet 経済モデル
StarkWare は、100 億個の StarkNet トークンをオフチェーンで鋳造しました。ただし、これらのトークンは StarkWare の株式を表すものではなく、StarkWare に参加する権利を提供したり、StarkWare に対して請求する権利を付与したりするものでもありません。
StarkNet トークンは、Gas 料金の支払いにネイティブ トークンとして使用でき、Gas 料金の支払いに ETH を使用する他の L2 と比較して、StarkNet トークンは生態学的価値をより適切に捕捉し、外来トークンである ETH の影響を軽減できます。
画像の説明
(出典: StarkWare.https://medium.com/starkware/part-3-starknet-token-design-5cc17af066c6)
StarkNet が開発者と過去の StarkEx ユーザーに報酬を与えていることは明らかですが、StarkNet ユーザーがエアドロップを持っているかどうかは不明です。初期トークン配布のトークンの 8.1% は、コミュニティによって決定された方法で未使用です。
最初のレベルのタイトル
03 スターウェアの融資
画像の説明
(出典: Crunchbase、SUSS NiFT)
2022 年 7 月に、アラメダ リサーチはさらに 950 万ドルを投資します。ただし、アラメダ・リサーチは2022年11月に破産しており、この出資が受けられたかどうかは疑わしい。
画像の説明
最初のレベルのタイトル
副題
Eli Ben-Sasson
Eli は StarkWare の共同創設者兼社長であり、取締役会の会長でもあります。
2001 年にヘブライ大学で理論コンピュータ サイエンスの博士号を取得して以来、暗号化と計算整合性のゼロ知識証明に取り組んできました。
Eli は、STARK、FRI、および Zerocash プロトコルの共同発明者であり、Zcash Company の創設科学者です。長年にわたり、プリンストン高等研究所、ハーバード大学、マサチューセッツ工科大学で研究職を歴任しました。
副題
Uri Kolodny
ウリは StarkWare の共同創設者兼 CEO であり、取締役会のメンバーでもあります。
彼はヘブライ大学でコンピューター サイエンスの学士号 (優等) を取得し、MIT スローン経営大学院で MBA を取得しています。ウリは連続起業家であり、ビッグデータ視覚化ツールを開発するモンドリアなど、いくつかのテクノロジー企業を共同設立しました。
最初のレベルのタイトル
05 競技者
画像の説明
(出典:SUSS NiFT)
データソース：（2023.4.21）
1. https://dune.com/gm 365/L2
2. https://www.coingecko.com/
3. https://defillama.com/
Optimism と Arbitrum は開発の難易度が低く、すでに比較的完成度の高いエコシステムを備えており、GMX や Gains Protocol などの優れた L2 ネイティブ プロトコルからも多くの資金とユーザーを集めているオプティミスティック ロールアップを採用しています。
Vitalik 氏は ETHSeoul で、Optimistic Rollups はさらに開発されているものの、ZK Rollups テクノロジの基盤により、最終的には Optimistic Rollups を置き換えることが可能になるだろうと述べました。 ZK ロールアップは高速ですが、イーサリアム仮想マシン (EVM) がないため、dApp の実行が困難になります。 EVM は dApps の主要な処理単位であるためです。そこで、ZK ベースのロールアップは EVM 互換のソリューションを開発しています。開発プロセスが遅い場合、ZK Rollups は先行者利益を失い、Optimistic Rollups が王座に確固たる地位を築く可能性があります。これはイーサリアムと他の L1 との競争に似ており、イーサリアムのパフォーマンスは最高ではありませんが、先行者利益により最も多くの資金と優秀な開発者を確実に吸収します。
画像の説明
(出典: メッサリ、SUSS NiFT)
タイプ 1 は ETH に相当し、EVM インフラストラクチャを 100% シームレスに使用しますが、証明プロセスが遅くなります。 Taiko は、ゼロ知識証明が生成される前にファイナリティを迅速に確認することで、この欠点を軽減します。
具体的な方法は、過去の状態 X が有効であり、X 以降はアカウント A からのトランザクションがないことを証明するだけで、ユーザーは状態 X でトークンを引き出すことができます。現在、分散型証明とプロトコルの経済性は alpha-2 でテストされており、126 の独立した証明者が存在し、93,146 のブロックが証明され、証明時間は 130 ～ 160 秒です。
Taiko は現時点では alpha-2 を非推奨にしており、第 2 四半期に alpha-3 をリリースする予定です。 Type-1 zkEVM は同等性を達成する際の妥協のない複雑さのため、今年はメインネットが存在しない可能性があります。
Type-2 EVM と同等で、Type-1 よりも速度が向上していますが、依然として遅いです。タイプ 2 は Scroll で、Linea、Polygon zkEVM の目標は達成されています。
Polygon zkEVM メインネットのベータ版は、予定通り 3 月 27 日に開始されました。メインネット ベータの最初の段階では、専任のセキュリティ委員会が Polygon zkEVM を迅速にアップグレードできるようになります。第 2 フェーズでは、何か問題が発生した場合にユーザーを確実に保護するための一連の対策が講じられますが、より高度な分散化が図られ、特権アクセスを備えたセキュリティ委員会は設置されません。
ガス料金は ETH で支払われます。将来、Polygon zkEVM のプレッジとガバナンスには MATIC トークンが使用されることが予想されます。さらに、Polygon zkEVM は ERC-4337 を介したアカウント抽象化をサポートしており、ユーザーは任意のトークンを使用して料金を支払うことができます。
Scroll と Ethereum Foundation は、zkEVM をオープンソースとして共同開発しました。これは、並列コンピューティングと証明をマイナーにアウトソーシングすることで証明時間を短縮します。 Scroll はアルファテストネットの段階にあり、クロスチェーンと転送が可能で、2 か月間障害なく稼働しており、第 2 四半期にはメインネットがローンチされる予定です。
3 月 28 日、ConsenSys は、ConsenSys zkEVM のブランド名を Linea に変更することを発表しました。これは現在、あらゆる開発者、ユーザー、プロトコルに対してテスト可能です。 Linea は、MetaMask や Truffle などのネイティブ統合を通じてゼロ知識証明と EVM 等価性を組み合わせ、ZK テクノロジーの専門知識を必要とせずに開発者に柔軟性と拡張性を提供します。
Linea は、コードに脆弱性がある場合に複数の署名によって特定の結果を強制できるマルチ認証者システムを採用しています。このシステムでは、ロールアップは異なるセキュリティ レベルを持つ複数の認証メカニズムを利用して、単一の認証者ロールアップに存在する単一障害点のリスクを排除します。
Type-3 は EVM とほぼ同等であり、証明がより速くなりますが、一部のアプリは再開発する必要があります。タイプ 3 は、Scroll が現在移行中のフェーズです。 Kakarot はカイロで書かれた zkEVM で、EVM バイトコードのインタプリタとして、最終的に StarkNet の L3 になる可能性があり、現在は Type-3 として分類されています。
Type-4,Solidity などの高級言語で書かれたスマート コントラクトのソース コードを ZK-SNARK に適した言語にコンパイルします。高速であることが判明しましたが、互換性はあまり高くありません。
zkSync Era は公開されており、一般ユーザーに公開されています。現時点では、zkSync のガス料金を共有するユーザーは多くないため、相互作用コストは比較的高く、一部のプロジェクト関係者はガス料金を補助しています。 Arbitrum エアドロップの富効果により、コミュニティ ユーザーの交流は活発ですが、現在 zkSync には Tugou プロジェクトがほとんどで、ラグ プル事件が多数発生しています。
StarkNet は、Solidity to Cairo コンパイラーとして Warp を使用します。 StarkNet は現在、注文者と証明者を分散化する唯一の zkEVM です。ただし、StarkNet は実稼働レベルのバージョンをまだリリースしていないため、ユーザーが少量の対話を体験するのにのみ適しており、タスクの実行に失敗することがよくあります。
Vitalik 氏は、Optimistic と ZK のハイブリッド モードも提案しました。 zkEVM が成熟する前に、ブロックチェーンを解放し、24 時間待機します。不正チャレンジがない場合は、ゼロ知識証明を発行してブロックを確認します。異議が申し立てられた場合は、2/3 モデルで裁定され、ガバナンスを導入します。
最初のレベルのタイトル
06 まとめ
StarkNet は STARK ベースのロールアップ ルートを採用しています。このソリューションは、分散化、トラストレス性、検閲防止の点で他のソリューションに比べて明らかな利点がありますが、このソリューションの開発ツールが未熟であるため、開発が非常に困難でもあります。パフォーマンスは依然として必要です。改善されるべきです。
また、StarkNet は機関投資家からの支援を受けていますが、まだ試行段階にあり、完全に成熟していません。 StarkNet の次の段階の焦点は、ブロックチェーンのパフォーマンスを向上させるために、現在 Python によって開発されているシーケンサーを Rust によって開発されるようにアップグレードすることです。
さらに、エコロジーにおけるプロジェクトの豊かさと成熟度を向上させることです。暗号化ネイティブのユーザーはエコシステム内のプロジェクトを体験できますが、プロジェクトのリスクに注意を払う必要があり、参加を選択する前に十分なリスク評価を行う必要があります。
StarkNet は量子耐性がありますが、それがスケーリングの最終段階となるかどうかはまだわかりません。したがって、StarkNet の今後の展開に引き続き注目し、評価する必要があります。
ブロックチェーンのセキュリティはエコシステム全体の最優先事項であり、基礎となるベースレイヤーのセキュリティを無視したり、侵害したり、侵害したり、侵害したりしてはなりません。そうでないと、エコシステム全体と台帳がユーザーの信頼を失うことになります。
したがって、ベースレイヤーの設計では、たとえエネルギー消費が高くても、最も安全なコンセンサスアルゴリズムを選択する必要があります。この問題は、ナスダック上場のアイリッシュ・エナジー・リミテッドが開拓したような再生可能エネルギー採掘を採用することで解決できます。
対照的に、2 番目の層をより集中化して、効率と柔軟性を高めることができます。最下層であっても、上層であっても、エコシステム全体の安全性と信頼性を確保するには、合理的な設計原則に従う必要があります。
イーサリアムベースレイヤーのセキュリティに依存する第 2 レイヤーまたはアプリケーションは、そのセキュリティが侵害されないことを保証するために、ベースレイヤーのコンセンサスアルゴリズムを完全に信頼する必要があります。これはコミュニティが直面する最大のシステミックリスクかもしれません。
免責事項:
この記事では、コンテンツの強化に ChatGPT を使用します。 ChatGPT は、高度な技術に基づいてトレーニングされ、人間が理解できる言語を生成できる人工知能言語モデルです。上記の StarkNet 分析コンテンツは、読者の理解と学術研究のみを目的としており、投資アドバイスを構成するものではありません。
これを投資判断の唯一の参考として使用したり、これに基づいて取引操作を行ったりすることはできません。この記事に含まれる情報は、正確性、完全性、適時性、または適用可能性が保証されていないため、読者はご自身で評価を行い、そこから生じるリスクを負う必要があります。
著者、発行者、および関連当事者はいずれも、この記事に基づいて読者が下した結論または決定から生じる損失または損害に対して責任を負いません。読者は投資を行う前に専門アドバイザーに相談するか、ご自身の独立した判断に基づいて決定を下してください。
