カカロット: Starknetとイーサリアムエコシステムを接続する革新的なzkEVM

プロジェクト概要

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の発展路線は三つの段階に分かれています:

1. Starknet上でEVM機能を実現し、開発者が直接StarknetにSolidityスマートコントラクトをデプロイできるようにし、ユーザーが馴染みのあるツールを使ってdAppsと対話できるようにします。

2. Madaraとの統合、L3 zkEVMの有効化。チームはzkEVMアプリケーションチェーンを展開し、Starknetでの決済に有効性証明を利用できます。このL3構造は、ガスコストを削減し、TPSを向上させ、安全性と分散化のデカップリングを実現します。

3. Madaraと組み合わせてタイプ1 zkEVMを実現します。これにはCairoを使用してイーサリアムのコンセンサスルールを記述し、Pedersen MPTからKeccak MPTに切り替える必要があります。この高度なユースケースは、イーサリアムの今後の発展に依存しています。

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

チーム紹介

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

核心メンバーには:

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

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

資金調達

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

プロジェクト評価

KakarotはStarknet上のEVM実装として、Starknetとイーサリアムエコシステムを効果的に接続し、開発のハードルを下げると同時に、イーサリアムの安全性を保持し、コストを削減します。将来的には、CelestiaやEigenDAなどのモジュール化コンビネーションとのさらなる組み合わせも実現される予定です。

Kakarotの開発はStarknetエコシステムと密接に結びついています。それはVitalik ButerinとStarkWareの支持を受けており、これは大きな利点です。しかし、他のzkEVMと比較して、Kakarotチームの規模は小さく、予算と知名度も限られているため、これが現在一般的なzkEVM L2として展開されていない理由の一つでもあります。

Kakarotプロジェクトはまだ初期段階にあり、テストネットがまもなく公開されます。課題に直面しているものの、その革新性とエコシステムの位置付けは依然として注目に値します。

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