カカロット：Cairoで書かれたStarknet上のEVM

Kakarot zkEVMは、カイロ言語で書かれたイーサリアム仮想マシンで、Starknet上で動作します。 Cairo は、CairoVM に関連付けられたチューリング完全言語です。 CairoVMは、多項式とZK-STARK証明システムを使用して証明可能な計算を可能にします。

Kakarot zkEVMの主な特徴は、証明可能な取引とブロックを生成できることです。CairoVMの上に構築されているため、Kakarotで実行されるすべての取引は証明可能です。これにより、開発者はKakarot上にEVMアプリケーションを展開し、ユーザーがこれらのアプリケーションと親しみのあるツールを使って対話できるようになります。

さらに、KakarotはStarknetプロトコルとの相互運用性を提供し、DeFiやGameFiなどの分野におけるプロトコルにコンポーザビリティをもたらします。

! カカロット:ヴィタリック・ブテリンがクールを見つけて投資するZk-EVM

発展のロードマップ

Kakarotプロジェクトは2022年10月に始まり、オープンソースで1万行未満のコードでzkEVMを作成することを目指しています。この目標はわずか6ヶ月で達成されました。テストネットは2023年の夏の終わりにリリースされる予定です。

Kakarot zkEVMの開発ロードマップは3つの段階に分かれています:

###フェーズ1:StarknetにEVM機能を実装する

Kakarot zkEVMは、最初にStarknet L2内の組み込みEVMとして存在します。これにより、開発者はStarknet上で直接Solidity（または他のEVM互換言語）スマートコントラクトをデプロイでき、親しみのあるツールを使用して開発できます。ユーザーは一般的なツールチェーンを使用してこれらのdAppsと対話できます。Kakarotでの体験は、Polygon、Scroll、またはEthereum L1での体験と似ています。

###フェーズ 2: L3 zkEVM の実装

KakarotはMadaraと統合し、L3 zkEVMを有効にし、必要に応じてL4、L5などのより高いレイヤーをサポートします。チームはzkEVMアプリケーションクhainを展開し、有効性証明を利用してStarknet上で取引を決済することができます。このアーキテクチャは、Ethereum L1のセキュリティを維持しながら、分散化コストを削減することができます。

計算をより高いレイヤーに移すことで、ガスコストを大幅に削減し、パフォーマンスを向上させることができます。ユーザーは、より高いセキュリティを得るためにStarknet上で証明や取引データを公開することを選択するか、コスト削減のために他のデータ可用性ソリューションを利用することができます。

###フェーズ 3: タイプ 1 zkEVM の実装

KakarotとMadaraをさらに統合することで、type 1 zkEVMを実現できます。これには、Cairoを使用してEthereumのコンセンサスルールを記述し、Pedersen Merkle Patricia TrieからKeccak MPTに切り替える必要があります。この目標の達成は、Ethereumの開発ロードマップ、特にVergeアップグレード後に採用される可能性のあるハッシュ関数の変更に依存しています。

! カカロット:ヴィタリック・ブテリンがクールを見つけて投資するZk-EVM

チーム構成

Kakarotの核心チームはリスボンでのハッカソンで誕生しました。Starknet財団とOnlydustの支援を受けて、Kakarotには現在40人以上の貢献者がいます。

コアメンバーには:

• エリアス・タザルテス: 共同創設者兼CEO、ブロックチェーンエンジニアリングとフルスタック開発に注力。
• クレモン・ウォルター: 共同創設者兼CTOで、科学者、エンジニア、起業家のバックグラウンドを持つ。

ファイナンス状況

Kakarotは、非公開の金額でプレシードラウンドの資金調達を完了しました。 投資家にはStarkwareとLambDaが含まれます。 エンジェル投資家には、ヴィタリック・ブテリン氏、レジャーの共同創業者ニコラス・バッカ氏、ZAMAの共同創業者兼CEOのランド・ヒンディ氏が名を連ねています。

! カカロット:ヴィタリック・ブテリンがクールだと思って投資するZk-EVM

プロジェクトの展望

KakarotはStarknet上のEVM実装として、StarknetとEthereumエコシステムを結ぶ重要な橋梁になることが期待されています。それは開発の敷居を低くし、EthereumエコシステムのプロジェクトがStarknet上でより簡単に構築できるようにし、高いセキュリティと低コストを維持します。

Kakarotの発展はStarknetエコシステムと密接に関連しています。Starknetがユーザーエクスペリエンスを継続的にアップグレードしていく中で、KakarotはStarknetエコシステムの繁栄に重要な貢献をすることが期待されています。しかし、Kakarotの成功はStarknetの発展にある程度依存しています。

他のzkEVMプロジェクトと比べて、Kakarotのチーム規模は小さく、予算やブランドの知名度も低いです。これもKakarotが現在汎用zkEVM L2として展開されていない理由の一つです。

全体的に見て、Kakarotはまだ初期段階にあり、そのテストネットがまもなくリリースされる予定です。このプロジェクトの今後の発展は注視する価値があります。

! カカロット:ヴィタリック・ブテリンがクールを見つけて投資するZk-EVM