カカロット：カイロで書かれたイーサリアム仮想マシン

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

zkEVMとして、Kakarotは証明可能な取引とブロックを生成できます。CairoVMの上に構築されているため、Kakarot上で実行される各取引は証明可能です。これにより、開発者はその上にEVMアプリケーションを展開でき、エンドユーザーは一般的なツールチェーンを使用してアプリケーションと対話できます。

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

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

発展ロードマップ

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

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

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

   Starknet L2に組み込まれたEVMとして、開発者はSolidityスマートコントラクトを直接デプロイでき、FoundryやHardhatなどの馴染みのあるツールを使用できます。ユーザー体験はPolygonやイーサリアムL1などと同じになります。

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

   KakarotとMadaraを統合し、L3 zkEVMを実現し、必要に応じてL4、L5などに拡張可能です。チームはzkEVMアプリケーションチェーンを展開し、有効性証明を利用してStarknetでトランザクションを決済します。このL3アーキテクチャは、安全性と分散化を分離でき、ユーザーはイーサリアムL1の安全性を享受しつつ、同等の分散化を必要としません。

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

Cairoを用いてイーサリアムのコンセンサスルールを作成し、Pedersen Merkle Patricia TrieからKeccak MPTに切り替えることができれば、KakarotはL1ブロックを証明できるタイプ1 zkEVMクライアントとなります。これはイーサリアムのロードマップ、特にVerge段階の発展に依存しています。

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

チーム概要

Kakarotのコアチームはリスボンでのハッカソンで誕生しました。現在、40人以上の貢献者がプロジェクトの開発に参加しています。

主要メンバーには：

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

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

資金調達

Kakarotは、非公開の金額でプレシードラウンドの資金調達を完了しました。 投資家には、Starkware、LambDaなどが含まれます。 エンジェル投資家には、Vitalik Buterin氏、Ledgerの共同創業者であるNicolas Bacca氏、ZAMAの共同創業者であるRand Hindi氏が名を連ねています。

プロジェクト評価

KakarotはStarknet上のEVM実装として、Starknetとイーサリアムエコシステムを効果的に接続し、開発のハードルを下げます。今後の段階では、CelestiaやEigenDAなどのモジュール型の組み合わせとのさらなるコンビナビリティを実現する予定です。

プロジェクトはStarknetエコシステムと密接に結びついており、相互に促進しています。V神とStarkWareのサポートを得ることは大きな利点です。しかし、他のzkEVMプロジェクトと比較して、Kakarotチームの規模は小さく、予算と知名度も低いため、現在一般的なzkEVM L2として展開されていない理由の一つでもあります。

Kakarotはまだ初期段階にあり、テストネットが間もなくリリースされるため、その発展に引き続き注目する価値があります。

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