カカロット: 注目を集める新しいzkEVMプロジェクト

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

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

さらに、KakarotはStarknetプロトコルとの相互運用性を提供し、異なる分野のプロトコルに対してコンポーザビリティを提供します。

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

発展ロードマップ

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

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

1. StarknetにEVM機能を実装する

まず、Kakarot zkEVMをStarknet L2内のEVM実装として提供し、開発者が直接Starknet上でSolidityスマートコントラクトをデプロイできるようにし、慣れ親しんだ開発ツールを使用できるようにします。ユーザーエクスペリエンスは、Polygon、Scroll、またはEthereum L1上でのものと同じになります。

2. Madara と統合して L3 zkEVM を実装する

KakarotとMadaraは統一スタックに統合され、L3 zkEVMおよびそれ以上のレベルが有効になります。チームは独自のzkEVMアプリケーションチェーンを展開し、有効性証明を利用してStarknet上で取引を決済できます。このL3構造は、ガスコストを削減し、パフォーマンスを向上させ、同時にセキュリティを維持します。

3. タイプ 1 zkEVM の実装

   もしCairoを使用してEthereumのコンセンサスルールを記述し、Pedersen MPTからKeccak MPTに切り替えることができれば、Kakarotはtype 1 zkEVMクライアントとなり、L1ブロックを証明できるようになります。これはEthereumの開発ロードマップ、特にVergeフェーズの進展に依存しています。

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

チームの背景

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

核心メンバーには:

• エリアス・タザルテス：共同創設者兼CEO、ブロックチェーンエンジニアリングとフルスタック開発に精通
• クレモン・ウォルター: 共同創業者兼CTO、背景は研究、エンジニアリング、起業を含む

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

ファイナンスの状況

Kakarotはプレシードラウンドの資金調達を完了し、具体的な金額は公開されていません。投資家には:

• 機関投資家:Starkware、LambDa
• エンジェル投資家: ヴィタリック・ブテリン、Ledger共同創業者ニコラス・バッカ、ZAMA共同創業者兼CEOランド・ヒンディ

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

プロジェクト評価

KakarotはStarknet上のEVM実装として、StarknetとEthereumエコシステムを結ぶ重要な橋梁になることが期待されています。これにより、開発のハードルが下がり、EthereumエコシステムがStarknet上でアプリケーションを構築しやすくなります。

Kakarotの利点はStarknetエコシステムと密接に結びついていることですが、それはまたその発展がStarknetの影響を大きく受けることを意味します。VitalikとStarkWareのサポートを得ることは、精神的にも資金的にも重要な支援です。

他のzkEVMプロジェクトと比較して、Kakarotチームは規模が小さく、予算や知名度も低いため、これが彼らの直面する課題です。現在、Kakarotはまだ初期段階にあり、テストネットがまもなくリリースされる予定であり、その発展を引き続きフォローする価値があります。