Kakarot zkEVM：Cairoを使用して構築されたイーサリアム仮想マシン

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

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

全体として、Kakarot zkEVMはCairo言語とZK-STARK証明システムを利用して証明可能な計算能力を提供します。これにより、開発者はEVMアプリを展開でき、ユーザーはこれらのアプリと親しみのあるツールを使って対話できます。

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

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

開発ロードマップ

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

カカロットzkEVMの発展は三つの段階に分かれています:

フェーズ1:StarknetでのKakarot zkEVMの実装

Kakarot zkEVMは、最初にStarknet L2に組み込まれたEVMとして存在し、開発者がStarknet上でSolidity（または他のEVM互換言語）スマートコントラクトを直接デプロイできるようにします。また、馴染みのあるツールを使用できます。ユーザーは一般的なツールを使用してdAppsと相互作用できます。全体的に見て、Kakarotでの開発と使用体験はPolygon、Scroll、またはイーサリアムL1と完全に一致します。

フェーズ 2: Kakarot と Madara --- L3 zkEVM の組み合わせ

KakarotとMadaraは統合されて統一スタックになり、L3 zkEVMを有効化し、必要に応じてL4、L5などをサポートします。チームはzkEVMアプリケーションチェーンをデプロイし、有効性証明を利用してStarknet上で取引を決済できます。計算はオフチェーンまたはより高いレイヤーで行われ、オンチェーンで検証されます。これらのL3には興味深い特性があります：セキュリティと分散化をデカップリングできることです。ユーザーは、同じレベルの分散化を必要とせずに、イーサリアムL1のセキュリティを享受できます。ただし、ロールアップにとって、分散化は依然として重要です。なぜなら、それはアクティビティと検閲耐性をもたらすからです。これは、ソートチェイナーを数百に設定することで実現できます。計算が別のレイヤーで行われるため、L3のガスコストはL2よりも低く、性能が高くなります。コストをさらに削減するために、証明検証とデータの可用性（DA）を分けることができます。ユーザーはセキュリティのニーズに応じて異なるオプションを選択できます。

• フェーズ3:カカロットとマダラ---タイプ1 zkEVMの組み合わせ

KakarotとMadaraはタイプ1のzkEVMを組み合わせて実現することができます。もし可能ならば：

1. Cairoを使用してMadara x Kakarotの全ノードでイーサリアムのコンセンサスルールを記述し、L1コンセンサスを証明します。
2. Pedersen Merkle Patricia Trie (MPT)からKeccak MPTに乗り換えます。

それではKakarotはtype 1 zkEVMクライアントとなり、L1ブロックを証明できるようになります。これは、イーサリアムの開発ロードマップ、特にVerge段階に依存するより高度なユースケースです。Vergeの後、keccakはposeidonに取って代わられる可能性があり、イーサリアムの優先ハッシュ関数となるでしょう。これはzkEVMチームがtype 1を実現するのに役立つでしょう。なぜなら、zkEVMの主な互換性の障壁はストレージレイアウトであり、すなわち証明可能かつ合理的なコストでKeccak MPTを実現することだからです。

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

チームの背景

Kakarotコアチームはリスボンでのハッカソンで誕生し、約10人が1週間でzkEVMを構築しました。

Starknet FoundationとOnlydustの支援により、Kakarotは現在40人以上の独立した貢献者を抱えています。

**エリアス・タザルテス：**カカロットの共同創設者兼CEOで、ブロックチェーンエンジニアリングとフルスタック開発に専念しています。

**クレマン・ウォルター：**カカロットの共同創設者兼CTOであり、自称科学者、エンジニア、起業家、そして多才な人物。

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

資金調達

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

プロジェクトの展望

現在、非EVM互換公チェーンのエコシステムの発展は遅れており、大多数の公チェーンエコシステムはイーサリアムを中心に展開しています。KakarotはStarknet上でCairoを用いて書かれたEVMであり、Starknetとイーサリアムエコシステムをうまく接続し、イーサリアムプロジェクトがStarknet上で構築できるようにし、開発のハードルを下げ、イーサリアムの安全性と低コストを享受できます。今後の段階では、CelestiaやEigenDAなどのモジュール化とのさらなるコンビネーションも実現する予定です。

Starknet上のZK-EVMとして、KakarotはStarknetエコシステムと密接に関連しています。Starknetはユーザー体験を向上させるために継続的に反復的なアップグレードを行っており、Kakarotが構築したZK-EVMはエコシステムの繁栄に貢献します。しかし、Starknetの発展が良好でない場合、Kakarotも影響を受けるでしょう。

カカロットはヴィタリック・ブテリンとスタークウェアの支援を受け、精神的にも資金的にも強化されており、これは大きな利点です。

しかし、他のZK-EVMと比較して、Kakarotも課題に直面しています：チームの規模が小さく、予算とブランド認知度が低いということです。これもKakarotが一般的なzkEVM L2として展開されていない理由の一つです。

カカロットは現在、初期段階にあり、テストネットがまもなく公開される予定で、その発展に引き続き注目する価値があります。

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