カカロット: Cairo言語で開発された革新的なzkEVMプロジェクト

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

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

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

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

開発ロードマップ

このプロジェクトは2022年10月に始まり、主な目標にはオープンソース開発と1万行未満のコードでzkEVMを作成することが含まれています。6ヶ月以内にこの目標を達成し、2023年の夏の終わりにテストネットを公開する予定です。

カカロットzkEVMの発展の道筋は3つの段階に分かれています:

###フェーズ1:StarknetでEVM環境を構築する

Kakarot zkEVMは、最初にStarknet L2に組み込まれたEVMとして存在し、開発者がStarknet上でSolidity(や他のEVM互換言語)のスマートコントラクトを直接展開できるようにします。ユーザーは一般的なウォレットを使用してdAppと相互作用し、Polygon、Scroll、またはEthereum L1での体験と似たものを楽しむことができます。

###フェーズ2:Madaraとの統合によるL3 zkEVMの達成

KakarotとMadaraは、L3 zkEVMを有効にするために統合された技術スタックに統合され、必要に応じてL4、L5などのレイヤーに拡張できます。チームは独自のzkEVMアプリケーションチェーンを展開し、有効性証明を利用してStarknet上で取引を決済できます。このL3構造は安全性と分散化を分離でき、ユーザーはEthereum L1の安全性を享受しながら、大量の検証ノードへの依存を減らすことができます。

このアーキテクチャは、ガスコストを大幅に削減し、パフォーマンスを向上させることができます。さらなる最適化のために、証明の検証とデータの可用性(DA)を分離することができます。Starknet L2は証明検証レイヤーとして機能し、CelestiaやEigenDAなどの新しいDAソリューションは取引データの公開に使用できます。

###フェーズ 3: タイプ 1 zkEVM の実装

Madara x Kakarotの全ノードでCairoを使用してEthereumのコンセンサスルールを記述し、Pedersen Merkle Patricia Trie(MPT)からKeccak MPTに切り替えることにより、Kakarotはtype 1 zkEVMクライアントになることが期待されており、L1ブロックを検証できるようになります。この目標の達成はEthereumの開発ロードマップ、特にVergeアップグレードに依存しています。Vergeアップグレード後、keccakはposeidonに置き換えられ、Ethereumの推奨ハッシュ関数となる可能性があり、これがzkEVMチームがtype 1の互換性を実現するのに役立ちます。

! カカロット:ヴィタリック・ブテリンがクールを見つけて投資する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の発展はStarknetエコシステムと密接に関連しています。Starknetがユーザー体験を向上させるために継続的にアップグレードを行うにつれて、Kakarotが構築したzkEVMもエコシステムの繁栄に貢献するでしょう。しかし、Starknetの発展状況はKakarotの将来にも直接影響を与えるでしょう。

Vitalik ButerinとStarkWareの支持を得ることはKakarotの大きな利点であり、これは精神的な面だけでなく、資金的な支援も含まれています。

他のzkEVMプロジェクトと比較して、Kakarotはチームの規模が小さく、予算や知名度が低いなどの課題に直面しており、これが現在汎用zkEVM L2として展開されていない理由の一つでもあります。

Kakarotプロジェクトはまだ初期段階にあり、テストネットがまもなくリリースされるため、その進展に引き続き注目する価値があります。

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