作者: イーナン＃＃＃ 序章Kakarot zkEVM は、カイロで書かれたイーサリアム仮想マシン (EVM) です。 Cairo は、CairoVM に関連付けられたチューリング完全言語です。 CairoVM は、多項式と ZK-STARK 証明システムを利用して、証明可能な計算を実現します。zkEVMは証明可能なトランザクションを生成できるのが特徴で、証明可能なブロックも生成できます。 Kakarot は CairoVM 上に構築されているため、Kakarot 上で実行されるすべてのトランザクションは証明可能です。一般に、Kakarot zkEVM はカイロ言語で書かれており、ZK-STARK 証明システムを利用して証明可能な計算能力を提供します。これにより、開発者は EVM アプリケーションをその上にデプロイでき、エンド ユーザーは通常のツールチェーンを使用してこれらのアプリケーションを操作できるようになります。最後に、Kakarot は Starknet プロトコルとの相互運用性も提供し、DeFi や GameFi などのさまざまな分野のプロトコルに構成可能性を提供します。＃＃＃ 路線図このプロジェクトは 2022 年 10 月に開始され、いくつかの目標を掲げて開始されました。その目標は、初日からオープンソースにすること、そして最も野心的なものとして、10,000 行未満のコードで zkEVM を作成することです。これはわずか 6 か月で達成されました。そしてテストネットは 2023 年の夏の終わりにリリースされる予定です。**Kakarot zkEVM のロードマップは 3 つのフェーズに分かれています:*** **フェーズ 1: Starknet 上の Kakarot zkEVM — EVM を Starknet に導入**Kakarot zkEVM はまず Starknet の L2 に組み込み EVM として存在し、開発者が Solidity (または任意の EVM 互換言語) スマート コントラクトを Starknet に直接展開し、使い慣れたツール (Foundry、Hardhat、Wagmi など) を使用できるようになります。 。エンドユーザーは、メタマスク、ウォレット接続などの使い慣れたツールチェーンを使用して、dApp を操作できるようになります。全体として、Kakarot の開発者とユーザーのエクスペリエンスは、Polygon、Scroll、または Ethereum L1 とまったく同じになります。* **フェーズ 2: カカロット x マダラ — L3 zkEVM**Kakarot と Madara は統合スタックに統合され、L3 zkEVM を有効にし、L4、L5 などを有効にすることが合理的になります。チームは zkEVM アプリケーション チェーンを展開し、有効性の証明を利用して Starknet 上でトランザクションを決済できるようになります。計算はオフチェーンまたは上位層で実行され、オンチェーンで検証されます。これらの有効性証明 L3 (Kakarot など) には、セキュリティと分散化を分離する機能という興味深い、過小評価されている特性があります。ユーザーは、同レベルの分散化（つまり、数千のバリデータ）を必要とせずに、イーサリアム L1 のセキュリティの恩恵を受けることができます。ただし、ロールアップの場合、分散化はライブ性と検閲耐性という 2 つの非常に重要な特性をもたらすため、有益です。これは、シーケンサーを数千単位ではなく数百単位に設定することで実現できます。 L2 は別のレイヤーで計算が行われるため、L2 よりもガス コストがはるかに低く、パフォーマンス (TPS) が高くなります。 L2 はすでに L1 よりもはるかに安価であることに注意してください。ロールアップは、拡張性を高めるために積み重ねられ、乗算されます。ガスコストをさらに削減するために、証明検証とデータ可用性 (DA) を分離できます。 Starknet L2 は証拠検証レイヤーとしてのみ使用できますが、Celestia や EigenDA などの新しいデータ可用性ソリューションはトランザクション データの公開に使用できます。ユーザーには、セキュリティのニーズに応じて、どちらかをオプトインするオプションがあります。 Starknet でプルーフとトランザクション データを公開するのがより安全なオプションですが、DA ソリューションを使用してトランザクション データを公開するのがより経済的なオプションです。* **フェーズ 3: カカロット x マダラ — タイプ 1 zkEVM**Kakarot と Madara を組み合わせてタイプ 1 zkEVM を実装することもできます。できれば：1. L1 コンセンサスを証明できるように、Madara x Kakarot フルノードに Cairo との Ethereum コンセンサス ルールを書き込みます。2. Pedersen Merkle Patricia Trie (MPT) から Keccak MPT に切り替えます。その後、Kakarot は L1 ブロックを証明できるタイプ 1 zkEVM クライアントになります。これは、イーサリアム、特に Verge のロードマップに依存する、より高度なユースケースです。 Verge の後は、イーサリアムで選択されるハッシュ関数として、keccak がポセイドンに置き換えられる可能性があります。これは、zkEVM チームがタイプ 1 になるのに役立ちます。zkEVM の互換性の主なハードルはストレージ レイアウト、つまり、証明可能かつ妥当なコストで Keccak MPT を実装することであるためです。＃＃＃ チーム：リスボンのハッカーの家で、約 10 人が約 1 週間の献身的な作業を行って zkEVM を構築し、これまでに **Kakarot** コア チームが誕生しました。Starknet Foundation と Onlydust の支援により、現在、Kakarot には 40 名を超えるユニークな貢献者がいます。**Elias Tazartes: **Kakarot の共同創設者兼 CEO であり、ブロックチェーン エンジニアリング (Dapp、Ethereum、Algorand) とフルスタック開発 (Svelte/React、NodeJS、Rust、Python) を専門とするフリーランスの開発者です。**クレマン・ウォルター:**科学者、エンジニア、起業家、便利屋、何事にも好奇心旺盛、これはクレマンの自己紹介です。同時に、彼はカカロットの共同創設者兼最高技術責任者でもあります。チェ=v2)### 資金調達:現在、**Kakarot** はプレシードラウンドの資金調達を実施しています。具体的な資金調達額は発表されていません。投資に関与するチームと担当者は次のとおりです: **Starkware、LambDa。 **エンジェル投資家には、**Vitalik**、**Ledger** 共同創設者 **Nicolas Bacca**、**ZAMA** 共同創設者兼 CEO である **Rand Hindi** が含まれます。チェ=v2)### 要約:現時点では、EVM と互換性のないパブリック チェーンのエコロジカルな開発は遅い段階にあり、現在、パブリック チェーンのエコロジーのほとんどはイーサリアムのエコシステムを中心に開発されています。 EVM と互換性のない Starknet 上では、Starknet エコロジーと Ethereum エコロジーの間の良好なリンクにより、Starknet 上に Ethereum エコロジーを適切に構築できるようになり、開発者が開発するための参入障壁が低くなり、イーサリアムのセキュリティとコストの削減。 Kakarot の第 2 段階と第 3 段階では、より多くの構成可能性が実現され、Celestia や EigenDA などのモジュールをモジュール形式で組み合わせることができます。Starknet に書かれている ZK-EVM のように、Starknet の生態系との関係は唇と歯の関係のようなもので、両方とも繁栄しています。現在、Starknet もユーザー エクスペリエンスを向上させるために絶えずアップグレードを繰り返しており、ZK-EVM に依存しています。カカロットが構築した EVM は非常に優れていますが、プロジェクトの生態学的繁栄に貢献するために、逆にスタークネットの開発が満足にいかない場合、カカロットにも影響が及びます。カカロットのもう 1 つの利点は、V God と StarkWare の精神的だけでなく経済的支援があることです。他の ZK-EVM と比較すると、Kakarot はチームが 10 人未満で、予算もブランドもはるかに小さいという不利な状況にあります。これが、Kakarot が汎用 zkEVM L2 として展開されない理由の 1 つです。現在、カカロットはまだ初期段階にあり、近い将来テストネットがリリースされる予定ですので、ご期待ください。
カカロット: Vitalik Buterin がクールだと考えて投資した Zk-EVM
作者: イーナン
＃＃＃ 序章
Kakarot zkEVM は、カイロで書かれたイーサリアム仮想マシン (EVM) です。 Cairo は、CairoVM に関連付けられたチューリング完全言語です。 CairoVM は、多項式と ZK-STARK 証明システムを利用して、証明可能な計算を実現します。
zkEVMは証明可能なトランザクションを生成できるのが特徴で、証明可能なブロックも生成できます。 Kakarot は CairoVM 上に構築されているため、Kakarot 上で実行されるすべてのトランザクションは証明可能です。
一般に、Kakarot zkEVM はカイロ言語で書かれており、ZK-STARK 証明システムを利用して証明可能な計算能力を提供します。これにより、開発者は EVM アプリケーションをその上にデプロイでき、エンド ユーザーは通常のツールチェーンを使用してこれらのアプリケーションを操作できるようになります。
最後に、Kakarot は Starknet プロトコルとの相互運用性も提供し、DeFi や GameFi などのさまざまな分野のプロトコルに構成可能性を提供します。
＃＃＃ 路線図
このプロジェクトは 2022 年 10 月に開始され、いくつかの目標を掲げて開始されました。その目標は、初日からオープンソースにすること、そして最も野心的なものとして、10,000 行未満のコードで zkEVM を作成することです。これはわずか 6 か月で達成されました。そしてテストネットは 2023 年の夏の終わりにリリースされる予定です。
Kakarot zkEVM のロードマップは 3 つのフェーズに分かれています:
Kakarot zkEVM はまず Starknet の L2 に組み込み EVM として存在し、開発者が Solidity (または任意の EVM 互換言語) スマート コントラクトを Starknet に直接展開し、使い慣れたツール (Foundry、Hardhat、Wagmi など) を使用できるようになります。 。エンドユーザーは、メタマスク、ウォレット接続などの使い慣れたツールチェーンを使用して、dApp を操作できるようになります。全体として、Kakarot の開発者とユーザーのエクスペリエンスは、Polygon、Scroll、または Ethereum L1 とまったく同じになります。
Kakarot と Madara は統合スタックに統合され、L3 zkEVM を有効にし、L4、L5 などを有効にすることが合理的になります。チームは zkEVM アプリケーション チェーンを展開し、有効性の証明を利用して Starknet 上でトランザクションを決済できるようになります。計算はオフチェーンまたは上位層で実行され、オンチェーンで検証されます。これらの有効性証明 L3 (Kakarot など) には、セキュリティと分散化を分離する機能という興味深い、過小評価されている特性があります。ユーザーは、同レベルの分散化（つまり、数千のバリデータ）を必要とせずに、イーサリアム L1 のセキュリティの恩恵を受けることができます。ただし、ロールアップの場合、分散化はライブ性と検閲耐性という 2 つの非常に重要な特性をもたらすため、有益です。これは、シーケンサーを数千単位ではなく数百単位に設定することで実現できます。 L2 は別のレイヤーで計算が行われるため、L2 よりもガス コストがはるかに低く、パフォーマンス (TPS) が高くなります。 L2 はすでに L1 よりもはるかに安価であることに注意してください。ロールアップは、拡張性を高めるために積み重ねられ、乗算されます。ガスコストをさらに削減するために、証明検証とデータ可用性 (DA) を分離できます。 Starknet L2 は証拠検証レイヤーとしてのみ使用できますが、Celestia や EigenDA などの新しいデータ可用性ソリューションはトランザクション データの公開に使用できます。ユーザーには、セキュリティのニーズに応じて、どちらかをオプトインするオプションがあります。 Starknet でプルーフとトランザクション データを公開するのがより安全なオプションですが、DA ソリューションを使用してトランザクション データを公開するのがより経済的なオプションです。
Kakarot と Madara を組み合わせてタイプ 1 zkEVM を実装することもできます。できれば：
＃＃＃ チーム：
リスボンのハッカーの家で、約 10 人が約 1 週間の献身的な作業を行って zkEVM を構築し、これまでに Kakarot コア チームが誕生しました。
Starknet Foundation と Onlydust の支援により、現在、Kakarot には 40 名を超えるユニークな貢献者がいます。
**Elias Tazartes: **Kakarot の共同創設者兼 CEO であり、ブロックチェーン エンジニアリング (Dapp、Ethereum、Algorand) とフルスタック開発 (Svelte/React、NodeJS、Rust、Python) を専門とするフリーランスの開発者です。
**クレマン・ウォルター:**科学者、エンジニア、起業家、便利屋、何事にも好奇心旺盛、これはクレマンの自己紹介です。同時に、彼はカカロットの共同創設者兼最高技術責任者でもあります。
資金調達:
現在、Kakarot はプレシードラウンドの資金調達を実施しています。具体的な資金調達額は発表されていません。投資に関与するチームと担当者は次のとおりです: **Starkware、LambDa。 **エンジェル投資家には、Vitalik、Ledger 共同創設者 Nicolas Bacca、ZAMA 共同創設者兼 CEO である Rand Hindi が含まれます。
要約:
現時点では、EVM と互換性のないパブリック チェーンのエコロジカルな開発は遅い段階にあり、現在、パブリック チェーンのエコロジーのほとんどはイーサリアムのエコシステムを中心に開発されています。 EVM と互換性のない Starknet 上では、Starknet エコロジーと Ethereum エコロジーの間の良好なリンクにより、Starknet 上に Ethereum エコロジーを適切に構築できるようになり、開発者が開発するための参入障壁が低くなり、イーサリアムのセキュリティとコストの削減。 Kakarot の第 2 段階と第 3 段階では、より多くの構成可能性が実現され、Celestia や EigenDA などのモジュールをモジュール形式で組み合わせることができます。
Starknet に書かれている ZK-EVM のように、Starknet の生態系との関係は唇と歯の関係のようなもので、両方とも繁栄しています。現在、Starknet もユーザー エクスペリエンスを向上させるために絶えずアップグレードを繰り返しており、ZK-EVM に依存しています。カカロットが構築した EVM は非常に優れていますが、プロジェクトの生態学的繁栄に貢献するために、逆にスタークネットの開発が満足にいかない場合、カカロットにも影響が及びます。
カカロットのもう 1 つの利点は、V God と StarkWare の精神的だけでなく経済的支援があることです。
他の ZK-EVM と比較すると、Kakarot はチームが 10 人未満で、予算もブランドもはるかに小さいという不利な状況にあります。これが、Kakarot が汎用 zkEVM L2 として展開されない理由の 1 つです。
現在、カカロットはまだ初期段階にあり、近い将来テストネットがリリースされる予定ですので、ご期待ください。