This page may contain third-party content, which is provided for information purposes only (not representations/warranties) and should not be considered as an endorsement of its views by Gate, nor as financial or professional advice. See Disclaimer for details.
Kakarot zkEVM:カイロ言語で構築された証明可能なEVMがStarknetに登場
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つの段階に分かれています:
StarknetのKakarot zkEVM:EVMをStarknetに持ち込む
Kakarot zkEVMは、最初にStarknetのL2に内蔵EVMとして存在します。開発者はStarknet上で直接Solidityスマートコントラクトをデプロイでき、馴染みのあるツールを使用できます。ユーザーエクスペリエンスはPolygon、Scroll、またはイーサリアムL1でのものと同じです。
カカロット×マダラ:L3 zkEVM
KakarotとMadaraは統合され、L3 zkEVMやL4、L5などを有効にします。チームはzkEVMアプリケーションチェーンを展開し、Starknet上でトランザクションを決済するために有効性証明を利用できます。この方法は安全性と分散化を分離し、コストを削減し、パフォーマンスを向上させることができます。
カカロット x マダラ:タイプ1 zkEVM
もしCairoを使用してイーサリアムのコンセンサスルールを作成し、Pedersen MPTからKeccak MPTに切り替えれば、Kakarotはタイプ1のzkEVMクライアントになり、L1ブロックを証明できるようになります。これはイーサリアムの開発路線、特にVergeアップグレードに依存します。
! カカロット:ヴィタリック・ブテリンがクールを見つけて投資するZk-EVM
チーム
カカロットのコアチームはリスボンでのハッカソンで誕生しました。現在、40人以上の貢献者がいます。
主要メンバーには次のものが含まれます:
! カカロット:ヴィタリック・ブテリンがクールだと思って投資する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はまだ初期段階にあり、テストネットのリリースが間近です。今後の展開に注目が集まります。