Kakarot zkEVM:カイロで構築されたイーサリアム仮想マシン

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に持ち込む

   Kakarot zkEVMは、最初にStarknetのL2に内蔵EVMとして存在します。開発者はStarknet上で直接Solidityスマートコントラクトをデプロイでき、馴染みのあるツールを使用できます。ユーザーエクスペリエンスはPolygon、Scroll、またはイーサリアムL1でのものと同じです。

2. カカロット×マダラ:L3 zkEVM

KakarotとMadaraは統合され、L3 zkEVMやL4、L5などを有効にします。チームはzkEVMアプリケーションチェーンを展開し、Starknet上でトランザクションを決済するために有効性証明を利用できます。この方法は安全性と分散化を分離し、コストを削減し、パフォーマンスを向上させることができます。

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

   もしCairoを使用してイーサリアムのコンセンサスルールを作成し、Pedersen MPTからKeccak MPTに切り替えれば、Kakarotはタイプ1のzkEVMクライアントになり、L1ブロックを証明できるようになります。これはイーサリアムの開発路線、特にVergeアップグレードに依存します。

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

チーム

カカロットのコアチームはリスボンでのハッカソンで誕生しました。現在、40人以上の貢献者がいます。

主要メンバーには次のものが含まれます:

• エリアス・タザルテス:共同創設者兼CEO,ブロックチェーンエンジニアリングとフルスタック開発に注力
• クレモン・ウォルター: 共同創設者兼CTO、科学者、エンジニア、起業家

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

ファイナンス

Kakarotは、非公開の金額でプレシードラウンドの資金調達を完了しました。 投資家には、Starkware、LambDa、エンジェル投資家のVitalik Buterin氏、Ledgerの共同創設者であるNicolas Bacca氏、ZAMAの共同創設者であるRand Hindi氏が含まれます。

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

まとめ

KakarotはStarknet上のEVM実装として、Starknetとイーサリアムエコシステムをうまく接続できます。これにより開発の敷居が下がり、イーサリアムエコシステムのプロジェクトがStarknet上で構築できるようになり、同時にイーサリアムの安全性と低コストを維持します。

Kakarotの発展はStarknetエコシステムと密接に関連しています。これはVitalik ButerinとStarkWareの支持を受けており、優位性があります。しかし、他のzkEVMプロジェクトと比較してKakarotチームの規模は小さく、予算とブランドの知名度も低いため、現在一般的なzkEVM L2として展開されていない理由の一つでもあります。

Kakarotはまだ初期段階にあり、テストネットのリリースが間近です。今後の展開に注目が集まります。