カカロット 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年の夏の終わりにテストネットをリリースする予定です。

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

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

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

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

KakarotとMadaraを統合し、L3 zkEVMを実現し、さらなる高レベルを目指します。チームは、Starknet上で取引を決済するために有効性証明を利用してzkEVMアプリケーションチェーンを展開できます。この方法は、安全性と分散化を切り離し、コストを削減し、パフォーマンスを向上させることができます。

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

   Madara x Kakarotの全ノードでCairoを用いてイーサリアムのコンセンサスルールを書き、Pedersen MPTからKeccak MPTに切り替えることで、Kakarotはtype 1 zkEVMクライアントとなり、L1ブロックを証明できる可能性があります。

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

チームの背景

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

コアメンバーには：

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

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

資金調達

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

プロジェクトの利点と課題

KakarotはStarknet上のCairoで書かれたEVMとして、Starknetとイーサリアムエコシステムをうまく接続します。これにより、開発のハードルが下がり、イーサリアムエコシステムのプロジェクトがStarknet上で構築できるようになり、同時にイーサリアムの安全性を維持し、コストを削減します。

しかし、Kakarotの発展はStarknetエコシステムと密接に関連しています。Starknetの発展がうまくいかない場合、Kakarotも影響を受けるでしょう。他のzkEVMプロジェクトと比較して、Kakarotチームの規模は小さく、予算やブランドの知名度も低いため、これが現在一般的なzkEVM L2として展開されていない理由の一つです。

それにもかかわらず、KakarotはVitalik ButerinとStarkWareの支持を受けており、これは資金面でも精神面でも重要な後押しです。プロジェクトはまだ初期段階にあり、テストネットがまもなく発表されるため、その進展に引き続き注目する価値があります。

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