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

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

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

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

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

   KakarotとMadaraを統合し、L3 zkEVMsおよびそれ以上のレベルを有効にします。チームはzkEVMアプリケーションチェーンを展開し、Starknet上でトランザクションを決済するために有効性証明を利用できます。この方法により、安全性を維持しながら性能を向上させ、コストを削減することができます。

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

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

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

チームの背景

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

核心メンバーには次のものが含まれます：

• エリアス・タザルテス：共同創設者兼CEO、ブロックチェーンエンジニアリングとフルスタック開発に専念。
• クレモン・ワルテル：共同創設者兼CTO、科学、エンジニアリング、企業管理に精通。

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

投資

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

プロジェクトの展望

KakarotはStarknet上でCairoで書かれたEVMとして、Starknetとイーサリアムエコシステムをつなぐ重要な橋梁となる可能性があります。それは開発のハードルを下げ、イーサリアムエコシステムプロジェクトがStarknet上でより簡単に構築できるようにしながら、安全性を維持し、コストを削減します。

プロジェクトが後の段階に進むにつれて、KakarotはCelestiaやEigenDAなどのモジュール化コンポーネントと組み合わせることができる、より多くのコンポーザビリティを実現します。その成功は大きくStarknetエコシステムの発展に依存しており、両者は相互に補完し合っています。

KakarotはVitalik ButerinとStarkWareの支持を受けており、これは精神的および資金的に重要な後押しです。しかし、他のzkEVMプロジェクトと比べて、Kakarotチームの規模は小さく、予算とブランド知名度も低いため、現時点で一般的なzkEVM L2として展開されていない理由の一つです。

Kakarotプロジェクトはまだ初期段階にあり、テストネットがまもなくリリースされます。挑戦に直面していますが、その独自のポジショニングと強力なサポートにより、注目に値します。将来の発展は、技術的な実現、エコシステムの構築、そしてStarknetとの相乗効果に依存します。

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