カカロット 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月に始まり、10,000行未満のコードでzkEVMを作成することを目指しています。わずか6ヶ月でこの目標を達成し、2023年の夏の終わりにテストネットをリリースする予定です。

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

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

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

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

   KakarotはMadaraと統合し、L3 zkEVMを実現します。チームは独自のzkEVMアプリケーションチェーンを展開でき、Starknet上で取引を清算するために有効性証明を利用します。このL3ソリューションは、イーサリアムL1の安全性を維持しながら、分散化の要件を低減し、ガスコストを大幅に削減し、パフォーマンスを向上させることができます。

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

   Madara x Kakarotの全ノードでCairoを使用してイーサリアムのコンセンサスルールを記述し、Pedersen MPTからKeccak MPTに切り替えることで、Kakarotはタイプ1のzkEVMクライアントになることが期待され、L1ブロックを証明することができる。この高度なユースケースの実現は、イーサリアムの開発ロードマップに依存している。

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

チーム構成

Kakarotコアチームは、あるハッカソン活動から生まれ、約10人が1週間以内にzkEVMプロトタイプを構築しました。現在、Starknet財団とOnlydustの支援のもと、40人以上の貢献者がプロジェクト開発に参加しています。

コアメンバーには:

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

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

資金調達

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

プロジェクトの展望分析

KakarotはStarknet上のEVM実装として、Starknetとイーサリアムエコシステムをつなぐ重要な橋梁になることが期待されています。これにより、開発者がStarknetに入る際のハードルが下がり、ユーザーには馴染みのあるイーサリアム体験を提供します。

プロジェクトの利点には:

1. Starknetエコシステムと緊密に結びつき、相互に利益を生む
2. V GodやStarkWareなど、業界の重要人物の支援を受ける
3. モジュール設計、他のLayer 2ソリューションと組み合わせ可能

課題:

1. チーム規模が小さく、リソースが限られています
2. プロジェクトはまだ初期段階にあり、検証には時間が必要です。
3. Starknetの発展に依存しており、一定のリスクが存在します。

全体として、KakarotはzkEVM技術の革新的な方向性を示しており、Starknetエコシステムにさらなる可能性をもたらすことが期待されています。テストネットのリリースが間近に迫っているため、プロジェクトの実際のパフォーマンスには注目が集まります。

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