バイタリク・ブテリンも支持するzkEVM Kakarotについて

Cairo言語で構築されたEthereum仮想マシン（EVM）であるKakarot zkEVMは、最近バイタリク・ブテリンとStarkWareの共同創業者からのシード前投資を獲得しました。これにより、Kakarotはブロックチェーンテクノロジーの世界で注目を浴びています。Kakarotが何であり、なぜそれが重要なのかを探ります。

Kakarot zkEVM：概要

Kakarot zkEVMは、Cairoで書かれたEthereum仮想マシン（EVM）であり、CairoVMと関連付けられたチューリング完全な言語です。CairoVMは、多項式とZK-STARK証明システムを活用して、検証可能な計算を実現します。

KakarotはCairoVMの上に構築されているため、Kakarot上で実行されるすべてのトランザクションは検証可能です。これは、開発者がEVMアプリケーションをデプロイできるようにするとともに、エンドユーザーが既存のツールチェーンを使用してこれらのアプリケーションと対話できるようにするためです。

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

Kakarot zkEVM：開発のロードマップ

Kakarotのプロジェクトは2022年10月に開始され、その目標は、10,000行未満のコードでzkEVMを作成することでした。6ヶ月間でこの目標を達成し、2023年の夏の終わりにはテストネットをリリースする予定です。

Kakarot zkEVMの開発は3つの段階に分けられます。

第1段階：Kakarot zkEVM on Starknet – EVMをStarknetに導入

最初の段階では、Kakarot zkEVMはStarknetのL2内に組み込まれたEVMとして存在します。これにより、開発者はSolidity（または他のEVM互換言語）を使用してアプリケーションをデプロイし、エンドユーザーは既存のツールチェーンを使用してこれらのアプリケーションと対話できます。この段階では、トランザクションの検証は、全体的なEVM実行の一部として行われます。

第2段階：Kakarot zkEVM – プロジェクトの独立

第2段階では、Kakarot zkEVMはStarknetから分離し、自立したプロジェクトとして存在します。この段階では、Kakarot zkEVMは完全なEVM互換性を保持しますが、同時に独自のスマートコントラクトとその結果生じるトランザクションを独自に検証します。これにより、Kakarot zkEVMは、プライバシーを守りつつも効率的な検証可能な計算を提供する能力が向上します。

第3段階：Kakarot zkEVM – 完全な検証可能な計算のプラットフォーム

第3段階では、Kakarot zkEVMは、プライベートなトランザクションの検証を可能にする完全な検証可能な計算のプラットフォームに進化します。これは、非公開の状態でトランザクションを検証し、プライバシーを維持しながらブロックチェーン上で完全にセキュアな方法でトランザクションを実行する能力を提供します。

Kakarot zkEVM：予想される影響

Ethereumのスケーラビリティ問題はよく知られており、これによりEthereumは他の新興ブロックチェーンに対して競争力を失う可能性があります。しかし、Kakarot zkEVMは、Ethereumのスケーラビリティ問題を解決する新たな方法を提供します。

Kakarot zkEVMは、効率的な計算と安全な検証を組み合わせることで、ブロックチェーンベースのアプリケーションの構築を容易にします。また、Kakarot zkEVMは既存のEthereumユーザーと開発者に対して、新たなスケーリングソリューションを提供します。これにより、開発者は自分たちのアプリケーションをより広範なユーザーベースに提供することが可能になります。

さらに、Kakarot zkEVMは、トランザクションのプライバシーを保持しながら、その検証を可能にします。これは、企業や個人がプライバシーを重視するトランザクションを行う場合に特に有用です。これにより、企業は内部の秘密情報を保持しつつ、ブロックチェーンの透明性とセキュリティを利用することができます。

これらの特性により、Kakarot zkEVMはブロックチェーンテクノロジーの採用を促進し、Ethereumのスケーラビリティ問題を解決する可能性があります。この技術が成功すれば、Ethereumは今後も競争力のあるプラットフォームであり続けることができ、より多くの開発者とユーザーを引き付けることができるでしょう。

しかし、技術の採用には時間と努力が必要であり、Kakarot zkEVMの成功は確実ではありません。それでも、この技術はEthereumの将来に対する楽観的な展望を提供し、Ethereumの生態系が持続的に成長し続けるための可能性を示しています。