Vitalikが出資し、テストネットワークを立ち上げようとしているKakarot zkEVMとは何ですか？

オリジナル編集: Karen、Foresight News

オリジナル編集: 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 zkEVM はさまざまな形式で存在できます。まず、Starknet L2 上にスマート コントラクトとして展開でき、Starknet 上で EVM (イーサリアム RPC、イーサリアム トランザクションなど) として表示されます (公開)。

あるいは、Kakarot をスタックに統合して L3 zkEVM を展開することもできます。ここでマダラソーターの出番です。

Madara (Starknet フルノード) と Kakarot (EVM ランタイム) を組み合わせることで、L3 zkEVM を作成できます。スタックは次のとおりです。実行エンジンとして CairoVM を使用し、スマート コントラクト ランタイムとして Kakarot を使用する Substrate フル ノードです。

副題

路線図

フェーズ 1: Starknet 上の Kakarot zkEVM - EVM を Starknet に導入する

Kakarot はまず、オンボード EVM として Starknet L2 に存在します。これにより、開発者は使い慣れたツールキット (Foundry、Hardhat、Wagmi など) コントラクトを使用して、Solidity (または任意の EVM 互換言語) インテリジェンスを Starknet に直接展開できるようになります。

エンドユーザーは、通常のツールチェーン (メタマスク、ウォレット コネクトなど) を使用して DApp と対話できるようになります。

副題

フェーズ 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 などの新しいデータ可用性ソリューションを使用してトランザクション データを公開することもできます。

副題

フェーズ3: カカロット×マダラ - タイプ1 zkEVM

Kakarot と Madara を組み合わせてタイプ 1 zkEVM を有効にすることもできます。

• Cairo は、L1 コンセンサスを証明できるように、Madara x Kakarot フル ノードでイーサリアム コンセンサス ルールを記述するために使用されます。

• ペデルセン・マークル・パトリシア・トリー（MPT）からケチャックMPTに移籍。

最初のレベルのタイトル

その他の研究テーマ

• Madara は、Kakarot チェーンが相互ロールアップ通信に Substrate メッセージング プロトコルを利用できるようにします。

• Substrate のモジュール性により、Kakarot チェーンはコンセンサス プロトコルを使用して革新することができます。

• Substrate のフォークレス ランタイム アップグレードにより、Kakarot チェーンはハード フォークなしで EVM バージョンをアップグレードできます。