カカロット zkEVM：Cairo言語でイーサリアム仮想マシンを実装

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

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

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

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

発展ロードマップ

Kakarotプロジェクトは2022年10月に始まり、その野心的な目標は1万行未満のコードでzkEVMを作成することです。わずか6か月以内にこの目標を達成しました。プロジェクトは2023年の夏の終わりにテストネットをリリースする予定です。

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

1. StarknetのKakarot zkEVM:EVMをStarknetエコシステムに導入します。

2. カカロット x マダラ：L3 zkEVMを実現し、チームが独自のzkEVMアプリケーションチェーンを展開できるようにします。

3. Kakarot x Madara：type 1 zkEVMを実現し、イーサリアムL1ブロックを証明することができる。

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

チームの背景

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

コアメンバーには：

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

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

資金調達

Kakarotはプレシードラウンドの資金調達を完了しましたが、具体的な金額は公開されていません。投資者にはStarkwareやLambDaが含まれています。エンジェル投資家には、イーサリアム創設者のVitalik Buterin、Ledgerの共同創設者Nicolas Bacca、ZAMAの共同創設者兼CEOのRand Hindiが含まれています。

プロジェクト展望

KakarotはStarknet上のEVM実装として、Starknetとイーサリアムエコシステムを結ぶ重要な橋梁となる潜在能力があります。これにより、開発者の参入障壁が低下し、同時にイーサリアムの安全性を維持し、コストを削減することができます。

しかし、Kakarotの発展はStarknetの運命と密接に関連しています。Starknetの持続的な発展はKakarotにとって重要です。VitalikやStarkWareのサポートを受けているものの、他のzkEVMプロジェクトと比較してKakarotチームの規模は小さく、予算やブランド知名度も低いため、これが現在Kakarotが汎用zkEVM L2として展開されていない理由の一つとなっています。

Kakarotプロジェクトはまだ初期段階にあり、そのテストネットがまもなくリリースされます。プロジェクトの進展に伴い、それはStarknetエコシステムに重要な価値をもたらす可能性がありますが、その成功は複数の要因の相互作用に依存しています。

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