Kakarot zkEVM: カイロ言語で構築された革新的なイーサリアム仮想マシンがStarknetにログインします

2025-07-12 17:14:19

概要作成中

カカロット 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つの段階に分かれています:

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

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

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