カカロット: Cairoに基づくイーサリアム仮想マシン

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

zkEVMの実装の一つとして、Kakarotは証明可能な取引とブロックを生成することができます。CairoVMの上に構築されているため、Kakarot上で実行される各取引は証明可能です。全体として、Kakarot zkEVMはCairo言語とZK-STARK証明システムを利用して証明可能な計算能力を提供し、開発者がその上にEVMアプリケーションを展開できるようにし、ユーザーが一般的なツールを使用してこれらのアプリケーションと対話できるようにします。

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

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

開発ロードマップ

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

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

1. StarknetのKakarot zkEVM:EVMをStarknetに持ち込む

この段階では、Kakarot zkEVMはStarknetのL2に内蔵EVMとして存在します。開発者はStarknet上でSolidity(または任意のEVM互換言語)のスマートコントラクトを直接デプロイし、慣れ親しんだツールを使用できます。ユーザーエクスペリエンスはPolygon、Scroll、またはイーサリアムL1でのものと同じになります。

2. カカロット x マダラ:L3 zkEVMs

   KakarotとMadaraは統一スタックに統合され、必要に応じてL3 zkEVMを有効にし、L4、L5などにも拡張できます。チームはzkEVMアプリケーションクhainを展開し、有効性証明を利用してStarknet上でトランザクションを決済できます。この方法はガスコストを削減し、パフォーマンスを向上させながら、安全性を維持します。

3. カカロット x マダラ:タイプ 1 zkEVM

   もし以下の2点を実現できれば、Kakarotはtype 1 zkEVMクライアントとなり、L1ブロックを証明できる。

   • エーテルのコンセンサスルールをCairoで記述する
   • Pedersen MPTからKeccak MPTへの切り替え

これは、特にVergeアップグレードに依存するイーサリアムの開発ロードマップに基づく、より高度なユースケースです。

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

チーム

カカロットのコアチームはリスボンでのハッカソンで誕生し、約10人が1週間でzkEVMを構築しました。現在、Starknet財団とOnlydustの支援を受けて、カカロットには40人以上の独自の貢献者がいます。

核心メンバーは次のとおりです:

• エリアス・タザルテス:共同創設者兼CEO、ブロックチェーンエンジニアリングとフルスタック開発に注力
• クレマン・ウォルター：共同創設者兼CTO、複数の分野に精通した科学者およびエンジニア

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

ファイナンスの状況

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

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

まとめ

Kakarotは、Cairoで書かれたEVM実装としてStarknet上で、Starknetとイーサリアムエコシステムを効果的に接続します。これにより、開発の敷居が下がり、イーサリアムエコシステムのプロジェクトがStarknet上で構築できるようになり、同時に安全性を維持し、コストを削減します。将来的な段階では、CelestiaやEigenDAなどのモジュラーコンビネーションとのさらなるコンポーザビリティが実現される予定です。

Kakarotの発展はStarknetエコシステムと密接に関連しています。Vitalik ButerinやStarkWareの支持を受けており、これは大きな利点です。しかし、他のzkEVMプロジェクトと比較して、Kakarotチームは規模が小さく、予算やブランド知名度も低いため、これが現在一般的なzkEVM L2として展開されていない理由の一つでもあります。

Kakarotは現在初期段階にあり、テストネットが近日中に発表されます。課題に直面しているものの、そのユニークなポジショニングと強力なサポートにより、zkEVM分野での潜在能力を持っています。プロジェクトの進展に伴い、その進捗を引き続き注視する価値があります。