カカロット：革新的なZk-EVMプロジェクト

Kakarot zkEVMは、Cairo言語で書かれたイーサリアム仮想マシンの実装です。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の開発ロードマップは三つの段階に分かれています:

1. Starknet上でEVM機能を実装し、開発者が直接StarknetにSolidityスマートコントラクトを展開できるようにし、ユーザーは一般的なツールやdAppsと相互作用できる。

2. Madaraとの統合により、L3 zkEVMを実現します。チームはzkEVMアプリケーションクhainを展開し、Starknetで取引を決済するために有効性証明を利用します。この段階で、安全性と分散化のデカップリングを実現し、同時にガスコストを削減し、TPSを向上させることができます。

3. Madaraを組み合わせてtype 1 zkEVMを実現します。Cairoを使用してEthereumのコンセンサスルールを記述し、Keccak MPTに切り替えることができれば、Kakarotは証明可能なL1ブロックのtype 1 zkEVMクライアントになります。

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

チームの背景

Kakarotのコアチームはリスボンでのハッカソンで誕生しました。現在、40人以上の貢献者が在籍しており、Starknet財団とOnlydustの支援を受けています。

コアメンバーには:

• エリアス・タザルテス:共同創設者兼CEO、ブロックチェーンエンジニアリングとフルスタック開発に焦点を当てている
• クレモン・ウォルター:共同創設者兼CTO、科学者およびエンジニアのバックグラウンド

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

資金調達

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

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

プロジェクトの利点と課題

KakarotはStarknet上のEVM実装として、StarknetとEthereumエコシステムをうまく接続し、開発のハードルを下げます。それはStarknetエコシステムと密接に結びついており、今後の発展が相互に影響し合います。

プロジェクトはVitalikとStarkWareの支援を受けており、これは大きな利点です。しかし、他のzkEVMと比較すると、Kakarotチームは規模が小さく、資金とブランドの知名度も低いため、現在直面している課題です。

カカロットはまだ初期段階にあり、テストネットのリリースが迫っています。プロジェクトの進展に伴い、Starknetやイーサリアムエコシステムにさらなる可能性をもたらすことが期待されています。