カカロット zkEVM：カイロ言語で構築された革新的なイーサリアム仮想マシン

Kakarot zkEVMは、Cairo言語で書かれたイーサリアム仮想マシン（EVM）の実装です。CairoはCairoVMに関連付けられたチューリング完全なプログラミング言語であり、CairoVMは多項式とZK-STARK証明システムを利用して証明可能な計算を実現します。

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

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

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

開発ロードマップ

Kakarotプロジェクトは2022年10月に始まり、オープンソースの理念を持ち、10,000行未満のコードでzkEVMを作成することを目標としています。わずか6ヶ月でこの野心的な目標を達成し、2023年の夏の終わりにテストネットをリリースする予定です。

カカロット zkEVMの発展ロードマップは3つの段階に分かれています：

1. Kakarot zkEVM on Starknet：StarknetエコシステムにEVMを導入し、開発者がStarknet上で直接Solidity（または他のEVM互換言語）で書かれたスマートコントラクトをデプロイできるようにします。ユーザーは、これらのdAppと相互作用するために、なじみのあるツール（例えば、Metamask）を使用し、PolygonやイーサリアムL1での体験と同じものを享受できます。

2. Kakarot x Madara - L3 zkEVMs：KakarotとMadaraを統合し、L3 zkEVMsを実現し、さらにL4、L5などの高レベルへの拡張も可能です。これにより、チームは独自のzkEVMアプリケーションチェーンを展開し、Starknet上での取引を有効性証明を利用して決済することができます。この方法では、安全性と分散化を分離でき、イーサリアムL1の安全性を維持しつつ、バリデーターの数を減らすことで効率を向上させることができます。

3. Kakarot x Madara - Type 1 zkEVM：Madara x Kakarotのフルノード内でCairoを使用してイーサリアムのコンセンサスルールを記述し、Pedersen Merkle Patricia Trie (MPT)からKeccak MPTに切り替えることで、KakarotはL1ブロックを証明できるType 1 zkEVMクライアントになることが期待されています。この段階の実装は、イーサリアムの将来の開発ロードマップに密接に関連しており、特にVergeアップグレード後に採用される可能性のあるハッシュ関数の変更に関係しています。

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

チームの背景

Kakarotのコアチームはリスボンでの短期集中開発活動に由来し、約10人が1週間でzkEVMプロトタイプを構築しました。現在、Starknet財団とOnlydustの支援を受けて、Kakarotには40人以上の独立した貢献者がいます。

コアメンバーには：

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

ファイナンス状況

Kakarotは、非公開の金額でプレシードラウンドの資金調達を完了しました。 投資家には、StarkwareやLambDaなどの機関投資家のほか、Vitalik Buterin氏、Ledgerの共同創設者であるNicolas Bacca氏、ZAMAの共同創設者兼CEOであるRand Hindi氏などの著名な個人投資家が含まれます。

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

プロジェクトの展望

KakarotはStarknet上のCairoで書かれたEVM実装として、Starknetとイーサリアムエコシステムをつなぐ重要な橋梁となることが期待されています。これにより、開発者がStarknetに入るためのハードルが下がり、同時にイーサリアムエコシステムとの互換性が維持されます。プロジェクトが次の段階に進むにつれて、Kakarotはより高いレベルの相互運用性を実現し、CelestiaやEigenDAなどのモジュラーコンポーネントと組み合わせて使用できるようになります。

Kakarotの発展はStarknetエコシステムと密接に関連しています。Starknetの継続的なアップグレードとユーザー体験の改善は、Kakarotに直接benefitします。同時に、KakarotもStarknetエコシステムの繁栄に貢献します。

Vitalik ButerinとStarkWareのサポートを得ることはKakarotの大きな利点であり、精神的な承認を得るだけでなく、資金的な支援も受けています。

しかし、他のZK-EVMプロジェクトと比べて、Kakarotはチームの規模が小さく、予算が限られており、ブランドの知名度が低いという課題にも直面しています。これが、Kakarotが現在Starknetエコシステムに焦点を当てている理由の一つであり、汎用のzkEVM L2として展開していない理由でもあります。

初期段階にあるプロジェクトとして、Kakarotのテストネットがまもなく公開され、その今後の展開に注目する価値があります。

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