Kakarot zkEVM：Cairoで書かれたイーサリアム仮想マシン

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

zkEVMの特徴は、証明可能な取引とブロックを生成できることです。KakarotはCairoVMの上に構築されているため、その上で実行される各取引は証明可能です。全体として、Kakarot zkEVMはZK-STARK証明システムを利用して証明可能な計算能力を提供します。それは開発者がEVMアプリケーションをデプロイし、ユーザーがこれらのアプリケーションと親しみのあるツールを使って対話できるようにします。

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

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

発展ロードマップ

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

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

1. Kakarot zkEVM on Starknet - EVMをStarknetに導入

この段階では、Kakarot zkEVMはStarknetのL2に組み込まれたEVMとして存在します。開発者はStarknet上でSolidity（または任意のEVM互換言語）スマートコントラクトを直接デプロイでき、馴染みのあるツールを使用できます。ユーザーエクスペリエンスはPolygon、Scroll、またはイーサリアムL1上でのものと同じになります。

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

KakarotとMadaraは統合され、必要に応じてL3 zkEVMを実現し、L4、L5などに拡張することも可能です。チームはzkEVMアプリケーションチェーンを展開し、有効性証明を利用してStarknet上でトランザクションを決済できます。このL3アーキテクチャはセキュリティと分散化を切り離すことができ、ユーザーはイーサリアムL1のセキュリティを享受しながら、コストを削減し、パフォーマンスを向上させます。

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

   Madara x Kakarotの全ノードにCairoでイーサリアムのコンセンサスルールを記述し、Pedersen Merkle Patricia Trie (MPT)からKeccak MPTに切り替えることで、Kakarotはtype 1 zkEVMクライアントとしてL1ブロックを証明できることが期待されています。この目標の実現は、イーサリアムの開発ロードマップ、特にVergeフェーズに依存しています。

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

チームの背景

Kakarotのコアチームはリスボンのハッカソンに由来し、約10人が1週間でzkEVMのプロトタイプを構築しました。現在、Starknet財団とOnlydustの支援を受けて、Kakarotには40人以上の貢献者がいます。

核心メンバーには:

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

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

ファイナンス状況

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

プロジェクトの展望

KakarotはStarknet上のEVM実装として、Starknetとイーサリアムエコシステムをつなぐ重要な橋梁となることが期待されています。これにより、開発者のハードルが下がり、イーサリアムエコシステムのプロジェクトがStarknet上でより簡単に構築できるようになり、同時にイーサリアムの安全性を保持し、コストを削減できます。

Kakarotの発展はStarknetエコシステムと密接に関連しています。Starknetがユーザー体験を不断にアップグレードし改善する中で、Kakarotはエコシステムの繁栄に貢献することが期待されています。しかし、Kakarotの成功は一定程度Starknetの発展にも依存しています。

Vitalik ButerinとStarkWareの支持を得ることはKakarotの大きな利点です。しかし、他のzkEVMプロジェクトと比べてKakarotチームの規模は小さく、予算やブランドの知名度も低いため、これが現在一般的なzkEVM L2として展開されていない理由の一つでもあります。

初期段階にあるプロジェクトとして、Kakarotの発展は引き続き注目に値します。間もなくリリースされるテストネットは、その技術力とエコシステムの潜在能力を観察する重要なポイントとなるでしょう。

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