Kakarot: エキサイティングなZK-EVMプロジェクト

Kakarot zkEVMは、カイロ語で書かれたEthereum Virtual Machineの実装(EVM)。 Cairo は CairoVM に関連するチューリング完全言語であり、多項式と ZK-STARK 証明システムを活用して証明可能な計算を行います。

zkEVMとして、Kakarotは証明可能なトランザクションとブロックを生成できます。CairoVMの上に構築されているため、Kakarot上で実行される各トランザクションは証明可能です。これにより、開発者はKakarot上にEVMアプリケーションを展開でき、ユーザーはこれらのアプリケーションと親しみのあるツールを使用して対話することができます。

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

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

開発ロードマップ

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

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

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

   Kakarot zkEVMは、最初にStarknetのL2に組み込まれたEVMとして存在します。開発者は、Starknet上でSolidity(やその他のEVM互換言語)のスマートコントラクトを直接デプロイし、慣れ親しんだツールを使用できます。ユーザーエクスペリエンスは、Polygon、Scroll、またはEthereum L1上でのものと同じになります。

2. カカロット x マダラ:L3 zkEVMs

KakarotとMadaraは統合され、L3 zkEVMsやそれ以上のレベルをサポートします。チームは独自のzkEVMアプリケーションチェーンを展開し、有効性証明を利用してStarknetで取引を決済できます。このアーキテクチャはセキュリティと非中央集権を分離でき、ユーザーはEthereum L1のセキュリティを享受しつつ、より低いガスコストと高いパフォーマンスを得られます。

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

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

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

チーム

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

核心メンバーには:

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

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

ファイナンス

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

見通し

KakarotはStarknet上のEVM実装として、Starknetとイーサリアムエコシステムを効果的に接続し、開発のハードルを下げることができます。その発展はStarknetと密接に関連しており、Starknetエコシステムの繁栄に貢献することができます。

KakarotはVitalikとStarkWareのサポートを受けており、これは大きな利点です。しかし、他のzkEVMプロジェクトと比較すると、Kakarotチームの規模は小さく、予算とブランド認知度も低いため、これは一般的なzkEVM L2として展開されていない理由の一つでもあります。

Kakarotは現在、初期段階にあり、テストネットが間もなくリリースされます。Starknetエコシステムの重要な部分として、Kakarotの発展は注目に値します。

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