# Kakarot zkEVM:StarknetエコシステムにEVM互換性をもたらしますKakarot zkEVMは、Cairo言語で書かれたイーサリアム仮想マシン(EVM)の実装です。CairoはCairoVMに関連するチューリング完全な言語であり、CairoVMは多項式とZK-STARK証明システムを利用して証明可能な計算を実現します。zkEVMとして、Kakarotは証明可能な取引とブロックを生成することができます。CairoVMの上に構築されているため、Kakarot上で実行される各取引は証明可能です。これにより、開発者はKakarot上にEVMアプリケーションを展開し、ユーザーは馴染みのあるツールを使用してこれらのアプリケーションと対話することができます。さらに、KakarotはStarknetプロトコルとの相互運用性を提供し、DeFiやGameFiなどの分野のプロトコルに対してコンポーザビリティをもたらします。! [カカロット:ヴィタリック・ブテリンがクールを見つけて投資するZk-EVM](https://img-cdn.gateio.im/social/moments-ac8d3d28df5c10b5c51f9d9b6b35927820&userId=983cb29f-1c52-4091-a69a-810373d1b0d1&cache=v2)## 開発ロードマップKakarotプロジェクトは2022年10月に始まり、オープンソースで1万行未満のコードでzkEVMを作成することを目指しています。この目標はわずか6ヶ月で達成されました。テストネットは2023年の夏の終わりにリリースされる予定です。Kakarot zkEVMのロードマップは3つの段階に分かれています:###フェーズ1:StarknetのKakarot zkEVMKakarot zkEVMは、まずStarknetのL2に内蔵EVMとして存在します。これにより、開発者はStarknet上で直接Solidityスマートコントラクトを展開し、馴染みのあるツールで開発することができます。ユーザーエクスペリエンスは、Polygon、Scroll、またはEthereum L1でのそれと同じになります。###フェーズ 2: Kakarot x Madara - L3 zkEVMs KakarotとMadaraは統合され、L3 zkEVMおよびそれ以上のレベルを有効化します。チームはzkEVMアプリケーションチェーンを展開し、Starknet上でトランザクションを決済するために有効性証明を利用できます。この方法は、安全性と分散化を切り離しつつ、ガスコストを大幅に削減し、TPSを向上させることができます。###フェーズ3:カカロット×マダラ - タイプ1 zkEVMもしCairoを使ってEthereumのコンセンサスルールを記述し、Pedersen MPTからKeccak MPTに切り替えることができれば、KakarotはL1ブロックを証明できるType 1 zkEVMクライアントとなります。これはEthereumのロードマップ、特にVerge段階の発展に依存します。! [カカロット:ヴィタリック・ブテリンがクールを見つけて投資するZk-EVM](https://img-cdn.gateio.im/social/moments-724062d712719c4dc8457c3730eab10220&userId=983cb29f-1c52-4091-a69a-810373d1b0d1&cache=v2)## チームの背景Kakarotのコアチームはリスボンでのハッカソンに由来し、約10人が1週間でzkEVMプロトタイプを構築しました。現在、Starknet財団とOnlydustの支援を受けて、すでに40人以上の貢献者がいます。主なメンバーには:- エリアス・タザルテス: 共同創設者兼CEO、ブロックチェーンエンジニアリングとフルスタック開発に注力- クレモン・ウォルター: 共同創設者兼CTO、科学者およびエンジニアのバックグラウンド! [カカロット:ヴィタリック・ブテリンがクールだと思って投資するZk-EVM](https://img-cdn.gateio.im/social/moments-4ba89f049ea10a27c8ce8eb5239eae9b20&userId=983cb29f-1c52-4091-a69a-810373d1b0d1&cache=v2)## 資金調達Kakarotはプレシードラウンドの資金調達を完了しましたが、具体的な金額は公開されていません。投資者にはStarkwareやLambDaなどが含まれています。エンジェル投資家にはVitalik Buterin、Ledgerの共同創設者Nicolas Bacca、ZAMAのCEO Rand Hindiが含まれています。## まとめと展望Starknet上のEVM実装として、KakarotはStarknetとEthereumエコシステムをつなぐ独自の利点を持っています。これにより、開発の敷居が下がり、EthereumエコシステムのプロジェクトがStarknet上での構築が容易になり、同時に安全性を維持し、コストを削減します。将来的にKakarotは、Celestiaなどのモジュール化コンポーネントと組み合わせることができる、より多くのコンポーザビリティを提供します。その発展はStarknetエコシステムと密接に結びついており、相互に促進し合っています。VitalikとStarkWareの支持を得ることも大きな利点です。しかし、他のzkEVMプロジェクトと比較すると、Kakarotチームの規模とリソースは相対的に限られています。現時点でプロジェクトはまだ初期段階にあり、テストネットの公開が間近です。その発展に引き続き注目する価値があります。! [カカロット:ヴィタリック・ブテリンがクールを見つけて投資するZk-EVM](https://img-cdn.gateio.im/social/moments-a6a5c52a2c64506706e63b437dc25c6f20&userId=983cb29f-1c52-4091-a69a-810373d1b0d1&cache=v2)
Kakarot zkEVM:EVMの互換性とエコシステムの相互運用性をStarknetにもたらします
Kakarot zkEVM:StarknetエコシステムにEVM互換性をもたらします
Kakarot zkEVMは、Cairo言語で書かれたイーサリアム仮想マシン(EVM)の実装です。CairoはCairoVMに関連するチューリング完全な言語であり、CairoVMは多項式とZK-STARK証明システムを利用して証明可能な計算を実現します。
zkEVMとして、Kakarotは証明可能な取引とブロックを生成することができます。CairoVMの上に構築されているため、Kakarot上で実行される各取引は証明可能です。これにより、開発者はKakarot上にEVMアプリケーションを展開し、ユーザーは馴染みのあるツールを使用してこれらのアプリケーションと対話することができます。
さらに、KakarotはStarknetプロトコルとの相互運用性を提供し、DeFiやGameFiなどの分野のプロトコルに対してコンポーザビリティをもたらします。
! カカロット:ヴィタリック・ブテリンがクールを見つけて投資するZk-EVM
開発ロードマップ
Kakarotプロジェクトは2022年10月に始まり、オープンソースで1万行未満のコードでzkEVMを作成することを目指しています。この目標はわずか6ヶ月で達成されました。テストネットは2023年の夏の終わりにリリースされる予定です。
Kakarot zkEVMのロードマップは3つの段階に分かれています:
###フェーズ1:StarknetのKakarot zkEVM
Kakarot zkEVMは、まずStarknetのL2に内蔵EVMとして存在します。これにより、開発者はStarknet上で直接Solidityスマートコントラクトを展開し、馴染みのあるツールで開発することができます。ユーザーエクスペリエンスは、Polygon、Scroll、またはEthereum L1でのそれと同じになります。
###フェーズ 2: Kakarot x Madara - L3 zkEVMs
KakarotとMadaraは統合され、L3 zkEVMおよびそれ以上のレベルを有効化します。チームはzkEVMアプリケーションチェーンを展開し、Starknet上でトランザクションを決済するために有効性証明を利用できます。この方法は、安全性と分散化を切り離しつつ、ガスコストを大幅に削減し、TPSを向上させることができます。
###フェーズ3:カカロット×マダラ - タイプ1 zkEVM
もしCairoを使ってEthereumのコンセンサスルールを記述し、Pedersen MPTからKeccak MPTに切り替えることができれば、KakarotはL1ブロックを証明できるType 1 zkEVMクライアントとなります。これはEthereumのロードマップ、特にVerge段階の発展に依存します。
! カカロット:ヴィタリック・ブテリンがクールを見つけて投資するZk-EVM
チームの背景
Kakarotのコアチームはリスボンでのハッカソンに由来し、約10人が1週間でzkEVMプロトタイプを構築しました。現在、Starknet財団とOnlydustの支援を受けて、すでに40人以上の貢献者がいます。
主なメンバーには:
! カカロット:ヴィタリック・ブテリンがクールだと思って投資するZk-EVM
資金調達
Kakarotはプレシードラウンドの資金調達を完了しましたが、具体的な金額は公開されていません。投資者にはStarkwareやLambDaなどが含まれています。エンジェル投資家にはVitalik Buterin、Ledgerの共同創設者Nicolas Bacca、ZAMAのCEO Rand Hindiが含まれています。
まとめと展望
Starknet上のEVM実装として、KakarotはStarknetとEthereumエコシステムをつなぐ独自の利点を持っています。これにより、開発の敷居が下がり、EthereumエコシステムのプロジェクトがStarknet上での構築が容易になり、同時に安全性を維持し、コストを削減します。
将来的にKakarotは、Celestiaなどのモジュール化コンポーネントと組み合わせることができる、より多くのコンポーザビリティを提供します。その発展はStarknetエコシステムと密接に結びついており、相互に促進し合っています。VitalikとStarkWareの支持を得ることも大きな利点です。
しかし、他のzkEVMプロジェクトと比較すると、Kakarotチームの規模とリソースは相対的に限られています。現時点でプロジェクトはまだ初期段階にあり、テストネットの公開が間近です。その発展に引き続き注目する価値があります。
! カカロット:ヴィタリック・ブテリンがクールを見つけて投資するZk-EVM