Vitalik Buterin氏が出資しテストネットを立ち上げようとしているKakarot zkEVMとは何ですか？それはイーサリアムとスターウェアのエコロジーにどのような価値の強化をもたらすでしょうか?
出典: カカロット
编译：Karen，Foresight News
Kakarot zkEVM は、Cairo で書かれた Ethereum Virtual Machine (EVM) の実装です。 Cairo は、CairoVM に関連付けられたチューリング完全言語です。
CairoVM は、多項式と ZK-STARK 証明システムを利用することで証明可能な計算を実現します。 zkEVM は、証明可能なブロックにつながる証明可能なトランザクションを生成する機能を特徴としています。 Kakarot は CairoVM 上に構築されており、Kakarot 上で実行されるすべてのトランザクションは証明可能です。
Kakarot zkEVM を使用すると、チームは EVM アプリケーションを構築して展開できます。開発者は、Ethereum や Polygon と同様に、Kakarot に任意の Solidity (または任意の EVM 互換言語) をデプロイできます。その後、エンドユーザーは通常のツールチェーン (小さなキツネのウォレット、ウォレット接続など) を使用して DApp と対話できるようになります。
最終的に、Kakarot は、ネイティブ Starknet プロトコルとの相互運用性とプロトコル間の構成可能性 (たとえば、DeFi の TVL と GameFi のユーザー ベースを組み合わせるなど) を提供します。
Kakarot zkEVM はさまざまな形式で存在できます。まず、Starknet L2 上にスマート コントラクトとして展開でき、Starknet 上で EVM (イーサリアム RPC、イーサリアム トランザクションなど) として表示されます (公開)。
あるいは、Kakarot をスタックに統合して L3 zkEVM を展開することもできます。ここでMadaraシーケンサーが登場します。
Madara (Starknet フルノード) と Kakarot (EVM ランタイム) を組み合わせることで、L3 zkEVM を作成できます。スタックは次のとおりです。実行エンジンとして CairoVM を使用し、スマート コントラクト ランタイムとして Kakarot を使用する Substrate フル ノードです。
Kakarot 上のトランザクションは決済層で証明および検証できるため、EVM 互換のフラクタル スケーリングが可能になります。
＃＃＃ 路線図
フェーズ 1: Starknet 上の Kakarot zkEVM - EVM を Starknet に導入
Kakarot はまず、オンボード EVM として Starknet L2 に存在します。これにより、開発者は使い慣れたツールキット (Foundry、Hardhat、Wagmi など) コントラクトを使用して、Solidity (または任意の EVM 互換言語) インテリジェンスを Starknet に直接展開できるようになります。
エンドユーザーは、通常のツールチェーン (メタマスク、ウォレット コネクトなど) を使用して DApp と対話できるようになります。
Kakarot での開発者とユーザーのエクスペリエンスは、Polygon、Scroll、または Ethereum L1 とまったく同じになります。
フェーズ 2: カカロット x マダラ - L3 zkEVM
Kakarot と Madara は、L3 zkEVM だけでなく、L4、L5 などをサポートするために統合スタックに統合されます。チームは zkEVM アプリケーション チェーンを展開し、有効性の証明を利用して Starknet 上でトランザクションを決済できるようになります。
なぜL3なのか？なぜ証明可能性があるのでしょうか？
Provability は、チェーンの下での計算、またはレイヤー上での計算、チェーン上での検証の機能を実現できます。
Proof-of-Validity (Kakarot など) を利用する L3 には、セキュリティと分散化を分離する機能という、興味深いものの過小評価されている特性があります。ユーザーは、同レベルの分散化を行わなくても、イーサリアム L1 のセキュリティの恩恵を受けることができます。
別レイヤで計算するため、L2 よりもガスコストが大幅に低くなり、パフォーマンス (TPS) が高くなります。 L2 はすでに L1 よりもはるかに安価です。ロールアップ スケーラビリティは積み重ねられ、乗算されます。
ガスコストをさらに削減するために、証明検証とデータ可用性 (DA) を分離できます。 Starknet L2 は証明検証レイヤーとしてのみ使用できますが、Celestia や EigenDA などの新しいデータ可用性ソリューションを使用してトランザクション データを公開することもできます。
ユーザーは、セキュリティ要件に応じて、いずれかのオプションを選択できます。 Starknet でプルーフとトランザクション データを公開することはより安全なオプションですが、DA ソリューションを使用してトランザクション データを公開することはよりコスト効率の高いオプションです。
フェーズ 3: カカロット x マダラ - タイプ 1 zkEVM
Kakarot と Madara を組み合わせてタイプ 1 zkEVM を有効にすることもできます。
その後、Kakarot は L1 ブロックを証明できるタイプ 1 zkEVM になります。これは、イーサリアムのロードマップ (特に Verge) に依存する、より高度な使用例です。 Verge の後は、イーサリアムで選択されるハッシュ関数として、keccak がポセイドンに置き換えられる可能性があります。これは、zkEVM チームがタイプ 1 になるのに役立ちます。zkEVM の主な互換性のハードルはストレージ レイアウト、つまり、実証的かつ合理的に安価な方法で Keccak MPT を実装することであるためです。
Madara は、Kakarot チェーンが相互ロールアップ通信に Substrate メッセージング プロトコルを利用できるようにします。
Substrate のモジュール性により、Kakarot チェーンはコンセンサス プロトコルを使用して革新することができます。
Substrate のフォークレス ランタイム アップグレードにより、Kakarot チェーンはハード フォークなしで EVM バージョンをアップグレードできます。
49.4K 人気度
95.5K 人気度
7.4K 人気度
165K 人気度
302 人気度
Kakarot の 3 段階ロードマップ: Starknet と Ethereum エコシステムを強化する方法
出典: カカロット
编译：Karen，Foresight News
Kakarot zkEVM は、Cairo で書かれた Ethereum Virtual Machine (EVM) の実装です。 Cairo は、CairoVM に関連付けられたチューリング完全言語です。
CairoVM は、多項式と ZK-STARK 証明システムを利用することで証明可能な計算を実現します。 zkEVM は、証明可能なブロックにつながる証明可能なトランザクションを生成する機能を特徴としています。 Kakarot は CairoVM 上に構築されており、Kakarot 上で実行されるすべてのトランザクションは証明可能です。
Kakarot zkEVM を使用すると、チームは EVM アプリケーションを構築して展開できます。開発者は、Ethereum や Polygon と同様に、Kakarot に任意の Solidity (または任意の EVM 互換言語) をデプロイできます。その後、エンドユーザーは通常のツールチェーン (小さなキツネのウォレット、ウォレット接続など) を使用して DApp と対話できるようになります。
最終的に、Kakarot は、ネイティブ Starknet プロトコルとの相互運用性とプロトコル間の構成可能性 (たとえば、DeFi の TVL と GameFi のユーザー ベースを組み合わせるなど) を提供します。
フラクタル スケーリング
Kakarot zkEVM はさまざまな形式で存在できます。まず、Starknet L2 上にスマート コントラクトとして展開でき、Starknet 上で EVM (イーサリアム RPC、イーサリアム トランザクションなど) として表示されます (公開)。
あるいは、Kakarot をスタックに統合して L3 zkEVM を展開することもできます。ここでMadaraシーケンサーが登場します。
Madara (Starknet フルノード) と Kakarot (EVM ランタイム) を組み合わせることで、L3 zkEVM を作成できます。スタックは次のとおりです。実行エンジンとして CairoVM を使用し、スマート コントラクト ランタイムとして Kakarot を使用する Substrate フル ノードです。
Kakarot 上のトランザクションは決済層で証明および検証できるため、EVM 互換のフラクタル スケーリングが可能になります。
＃＃＃ 路線図
フェーズ 1: Starknet 上の Kakarot zkEVM - EVM を Starknet に導入
Kakarot はまず、オンボード EVM として Starknet L2 に存在します。これにより、開発者は使い慣れたツールキット (Foundry、Hardhat、Wagmi など) コントラクトを使用して、Solidity (または任意の EVM 互換言語) インテリジェンスを Starknet に直接展開できるようになります。
エンドユーザーは、通常のツールチェーン (メタマスク、ウォレット コネクトなど) を使用して DApp と対話できるようになります。
Kakarot での開発者とユーザーのエクスペリエンスは、Polygon、Scroll、または Ethereum L1 とまったく同じになります。
フェーズ 2: カカロット x マダラ - L3 zkEVM
Kakarot と Madara は、L3 zkEVM だけでなく、L4、L5 などをサポートするために統合スタックに統合されます。チームは zkEVM アプリケーション チェーンを展開し、有効性の証明を利用して Starknet 上でトランザクションを決済できるようになります。
なぜL3なのか？なぜ証明可能性があるのでしょうか？
Provability は、チェーンの下での計算、またはレイヤー上での計算、チェーン上での検証の機能を実現できます。
Proof-of-Validity (Kakarot など) を利用する L3 には、セキュリティと分散化を分離する機能という、興味深いものの過小評価されている特性があります。ユーザーは、同レベルの分散化を行わなくても、イーサリアム L1 のセキュリティの恩恵を受けることができます。
別レイヤで計算するため、L2 よりもガスコストが大幅に低くなり、パフォーマンス (TPS) が高くなります。 L2 はすでに L1 よりもはるかに安価です。ロールアップ スケーラビリティは積み重ねられ、乗算されます。
ガスコストをさらに削減するために、証明検証とデータ可用性 (DA) を分離できます。 Starknet L2 は証明検証レイヤーとしてのみ使用できますが、Celestia や EigenDA などの新しいデータ可用性ソリューションを使用してトランザクション データを公開することもできます。
ユーザーは、セキュリティ要件に応じて、いずれかのオプションを選択できます。 Starknet でプルーフとトランザクション データを公開することはより安全なオプションですが、DA ソリューションを使用してトランザクション データを公開することはよりコスト効率の高いオプションです。
フェーズ 3: カカロット x マダラ - タイプ 1 zkEVM
Kakarot と Madara を組み合わせてタイプ 1 zkEVM を有効にすることもできます。
その後、Kakarot は L1 ブロックを証明できるタイプ 1 zkEVM になります。これは、イーサリアムのロードマップ (特に Verge) に依存する、より高度な使用例です。 Verge の後は、イーサリアムで選択されるハッシュ関数として、keccak がポセイドンに置き換えられる可能性があります。これは、zkEVM チームがタイプ 1 になるのに役立ちます。zkEVM の主な互換性のハードルはストレージ レイアウト、つまり、実証的かつ合理的に安価な方法で Keccak MPT を実装することであるためです。
その他の研究テーマ
Madara は、Kakarot チェーンが相互ロールアップ通信に Substrate メッセージング プロトコルを利用できるようにします。
Substrate のモジュール性により、Kakarot チェーンはコンセンサス プロトコルを使用して革新することができます。
Substrate のフォークレス ランタイム アップグレードにより、Kakarot チェーンはハード フォークなしで EVM バージョンをアップグレードできます。