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

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

zkEVMの主な特徴は、証明可能な取引とブロックを生成できることです。KakarotはCairoVMの上に構築されているため、その上で実行される各取引は証明可能です。

Kakarot zkEVMは、開発者がEVMアプリケーションを展開できるようにし、ユーザーが一般的なツールを使用してこれらのアプリケーションと対話できるようにします。さらに、KakarotはStarknetプロトコルとの相互運用性を提供し、異なる分野のプロトコルにコンポーザビリティを提供します。

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

開発ロードマップ

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

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

1. StarknetのKakarot zkEVM:EVMをStarknetに持ち込む
2. カカロット x マダラ：L3 zkEVMの実現
3. カカロット x マダラ：type 1 zkEVMを実現する

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

チームの背景

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

コアメンバーには:

• エリアス・タザルテス：共同創設者兼CEO、ブロックチェーンエンジニアリングとフルスタック開発に注力
• クレモン・ウォルター：共同創設者兼CTO、多分野の専門家

資金調達

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

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

プロジェクトの展望

KakarotはStarknet上のEVM実装として、Starknetとイーサリアムエコシステムを接続することが期待されています。これにより、開発のハードルが下がり、イーサリアムプロジェクトがStarknet上でより容易に構築できるようになります。将来的には、CelestiaやEigenDAなどのモジュラーコンビネーションとのさらなるコンボ可性の実現も計画されています。

Kakarotの発展はStarknetエコシステムと密接に結びついています。これはStarknetエコシステムの繁栄に寄与することが期待されていますが、同時にStarknetの発展にも依存しています。VitalikやStarkWareの支援を受けることは大きな利点です。

他のzkEVMプロジェクトと比較して、Kakarotチームの規模は小さく、予算とブランド認知度も低いため、現在一般的なzkEVM L2として展開されていない理由の一つでもあります。

Kakarotはまだ初期段階にあり、テストネットがまもなくリリースされる予定で、その進展を引き続き注視する価値があります。

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