著者：ベンチャーキャピタルアナリストs、翻訳：Jinse Finance xiaozou
カカロットzkEVMとは何ですか？ Vitalik と StarkWare でサポートされているのはなぜですか? Kakarot は EVM を Starknet に導入し、EVM dApp の拡張を促進します。さらに詳しく見てみましょう！
起動して超サイヤ人モードに入りました。カカロット・ラボは正式に設立され、トップ投資家とのプレシード早期資金調達を完了しました。
発展ビジョンを見据え、現状を明確にし、明るい未来を見据えていきましょう。
この記事では主に以下の内容を紹介します。 1. CairoVM とは何ですか? 2. カイロとは何ですか? 3. EVM アーキテクチャ; 4. Kakarot アーキテクチャ; 5. zkEVM のタイプ分類; 6. Kakarot ロードマップ; 7. 個人的な考え。
Kakarot zkEVM は、Cario 言語を使用してデプロイされた EVM であり、EVM の互換性を強化することで Starknet エコシステムの信頼性を拡張します。段階的に理解していきましょう。
**1. ***CairoVM とは何ですか? **
Kakarot は、Starknet のインフラストラクチャである仮想マシン CairoVM 上で実行されます。 CairoVM の主な機能は次のとおりです。
· 証明可能な実行のための多項式として実行を表します。
· すべての Starknet トランザクションで STARK 検証を使用できるようにします。
**2. カリオとは何ですか? **
Cario は、Turing 完全な STARK フレンドリーな CPU アーキテクチャです。
· Turing Complete: システムは、あらゆる可能な計算/プログラムを計算することができます。
· Stark Friendly: StarkWare の認証システム。オフチェーンの計算整合性は証明者によって証明され、オンチェーン検証者によって検証されます。
では、Cario はどのように機能するのでしょうか?開発者は、Cairo を使用して CaroVM でプログラムを作成し、高級言語でステートメント ステートメントを記述することができます (実証予定)。これにより、開発者は複雑な回路の書き方を学ばなくても ZK Proof (ZKP) のスケーラビリティを活用できるため、開発エクスペリエンスが向上します。
3. EVM****アーキテクチャ
EVM アーキテクチャは、以下を備えた成熟した明確に定義された VM (仮想マシン) アーキテクチャです。
142 オペコード: トランザクションとスマート コントラクト (SC) を実行するために EVM によって使用される命令。実行するにはガス料金が必要です。
9 プリコンパイル: 一般的な操作を処理するためにイーサリアムに組み込まれたスマート コントラクト。通常のガス料金でご利用いただけます。
4. カカロット****構造
Kakarot は CairoVM に基づいて開発されています。
· EVMバイトコードインタープリタ
·Starknet上に展開されたスマートコントラクト
· カリオ言語を使用する
カカロットは以下をサポートします。
・EVMスマートコントラクトをそのままデプロイ
カカロットはそうではありません:
・ブロックチェーン
コンパイラ: Solidity コードを Cairo に変換しません
2023 年 5 月現在:
100%バイトコードアーキテクチャを実現（タイプ3 zkEVM）
9 8 を実現するためにプリコンパイルされた EVM
9 つの EVM プリコンパイルをすべて実装すると、Kakarot は Type 2.5 zkEVM になります。
5、zkEVM****タイプ****タイプ
(1) タイプ 1 zkEVM | イーサリアムと完全に同等
より簡単なプルーフ生成をサポートするためのイーサリアム システムへの変更はありません。
アドバンテージ：
イーサリアム拡張のための究極のソリューション
欠点:
· コンピューティング集約型
校正時間が長い（数時間かかる）
例：
・スクロール
・太鼓
(2) タイプ 2 zkEVM | EVM と完全に同等
イーサリアム システムに若干の変更を加えることで (異なるハッシュ関数)、開発が容易になり、プルーフの生成が高速化されます。
· ほとんどのイーサリアム dApp をサポート
EVM の非効率性と不親切さは依然として存在します
(3) Type 2.5 zkEVM | EVM相当(ガス代除く)
ZK を使用して証明するのが難しい EVM の特定の操作に対するガス コストが追加されました。
より広範なEVM変更よりもリスクが低い
開発ツールの互換性の低下
・一部のdAppは非対応です
(4) タイプ 3 zkEVM | EVM とほぼ同等
特に実装が困難な機能 (プリコンパイルなど) は削除されました。
· 校正時間の短縮
· EVM開発が容易になる
· 一部の dApp は書き換える必要があります
・ポリゴン
**(5)Tpye4zkEVM|**高級言語に相当
スマート コントラクトのソース コード (高級言語) は、ZK-SNARK に適した言語にコンパイルされます。
· 多大なオーバーヘッドを回避する
契約アドレスはEVMのアドレスと異なる場合があります
手書きの EVM バイトコードをサポートしていない可能性があります
· デバッグ インフラストラクチャは EVM バイトコードで実行されるため、継承できません。
·zkSync
・ネザーマインド
6**、カカロットルートマップ**
(1) フェーズ 1 | EVM を Starknet に導入
カカロットは当初、Starknet に祀られた EVM として存在します。開発エクスペリエンスとユーザーエクスペリエンス (UX) は、Polygon、Scroll、または Ethereum と同じになります。
(2) ステージ 2 | L3 zkEVM
Kakarot を通じて zkEVM アプリケーション チェーンを展開すると、有効性の証明を使用して Starknet 上でトランザクションを決済できるようになります。
Kakarot と Madara Starknet シーケンサー (基板ベースの Starknet シーケンサー) を統合スタックに融合することにより。
(3) フェーズ 2 | zkEVM-Rollup-as-a-Service
ワンクリックするだけで、ロールアップは以下を受け取ります:
·Starknet上に展開されたアプリケーション固有のzkEVM
· EVM環境へのアクセス
· 高速実行
低ガス料金: データ可用性ソリューションを使用する (Celestia、EigenLayer)
・暗号化セキュリティ
zkEVM-Rollup-as-a-Service の利点:
Kakarot を使用して CairoVM で Solidity スマート コントラクトを実行する
EVM にデプロイされた Solidity スマート コントラクトは、コードを変更せずに Starknet 上で実行できます。
両方の長所：
EVMによる効率化
・スマートコントラクトが証明可能になる
(4) フェーズ 3 | タイプ 1 zkEVM
このステージに入るには、カカロットは次のことを行う必要があります。
·カイロを使用してマダラとカカロットのフルノード内にイーサリアムコンセンサスルールを記述し、L1コンセンサスを証明します。
・ペデルセン・マークル・パトリシア・トリー（MPT）からケチャックMPTに切り替え。
ただし、フェーズ3は未定です。それはイーサリアムのロードマップである Verge によって異なります。現在、証明可能かつ低コストの方法で Keccak MPT を実装することが、zkEVM 互換性の主な障害となっています。 Verge の後、Ethereum で選択されるハッシュ関数として Keccak が Poseidon に置き換えられる可能性があります。
7**、個人的な考え**
Starknet に EVM 互換性をもたらすことは確かに大きな前進ですが、Kakarot の成功についてはまだいくつかの懸念があります。
(1)競争力の高いZK分野
競合他社は次のとおりです。
· さまざまなプルーフ システム (SNARK) を使用した ZK ロールアップ: Scroll、zkSync、Polygon、Taiko、Linea。
・楽観的ロールアップ：楽観主義、決断、根拠
異なる zkVM: RISC Zero、Hyper Oracle
(2) プロダクト マーケット フィット (PMF)
全体として、Rollup-as-a-Service は未解決のトピックであり、考慮すべき 2 つの重要な側面があります。
· このサービスを必要とするロールアップは何件ありますか?
ロールアップは主権とカスタマイズ性を内部的に構築することを好みますか?
(3) 継続的な製品の反復
Kakarot は技術的に非常に複雑な製品を開発および構築しており、成功するには継続的な反復が必要になる可能性があります。
また、次のようないくつかの動的コンポーネントにも依存します。
・牛乳
·データ可用性ソリューション
イーサリアムのロードマップ: Verge
236k 投稿
216k 投稿
151k 投稿
80k 投稿
67k 投稿
65k 投稿
61k 投稿
59k 投稿
53k 投稿
51k 投稿
カカロットzkEVMとは何ですか？ヴィタリックが投票に参加した理由
著者：ベンチャーキャピタルアナリストs、翻訳：Jinse Finance xiaozou
カカロットzkEVMとは何ですか？ Vitalik と StarkWare でサポートされているのはなぜですか? Kakarot は EVM を Starknet に導入し、EVM dApp の拡張を促進します。さらに詳しく見てみましょう！
起動して超サイヤ人モードに入りました。カカロット・ラボは正式に設立され、トップ投資家とのプレシード早期資金調達を完了しました。
発展ビジョンを見据え、現状を明確にし、明るい未来を見据えていきましょう。
この記事では主に以下の内容を紹介します。 1. CairoVM とは何ですか? 2. カイロとは何ですか? 3. EVM アーキテクチャ; 4. Kakarot アーキテクチャ; 5. zkEVM のタイプ分類; 6. Kakarot ロードマップ; 7. 個人的な考え。
Kakarot zkEVM は、Cario 言語を使用してデプロイされた EVM であり、EVM の互換性を強化することで Starknet エコシステムの信頼性を拡張します。段階的に理解していきましょう。
**1. ***CairoVM とは何ですか? **
Kakarot は、Starknet のインフラストラクチャである仮想マシン CairoVM 上で実行されます。 CairoVM の主な機能は次のとおりです。
· 証明可能な実行のための多項式として実行を表します。
· すべての Starknet トランザクションで STARK 検証を使用できるようにします。
**2. カリオとは何ですか? **
Cario は、Turing 完全な STARK フレンドリーな CPU アーキテクチャです。
· Turing Complete: システムは、あらゆる可能な計算/プログラムを計算することができます。
· Stark Friendly: StarkWare の認証システム。オフチェーンの計算整合性は証明者によって証明され、オンチェーン検証者によって検証されます。
では、Cario はどのように機能するのでしょうか?開発者は、Cairo を使用して CaroVM でプログラムを作成し、高級言語でステートメント ステートメントを記述することができます (実証予定)。これにより、開発者は複雑な回路の書き方を学ばなくても ZK Proof (ZKP) のスケーラビリティを活用できるため、開発エクスペリエンスが向上します。
3. EVM****アーキテクチャ
EVM アーキテクチャは、以下を備えた成熟した明確に定義された VM (仮想マシン) アーキテクチャです。
142 オペコード: トランザクションとスマート コントラクト (SC) を実行するために EVM によって使用される命令。実行するにはガス料金が必要です。
9 プリコンパイル: 一般的な操作を処理するためにイーサリアムに組み込まれたスマート コントラクト。通常のガス料金でご利用いただけます。
4. カカロット****構造
Kakarot は CairoVM に基づいて開発されています。
· EVMバイトコードインタープリタ
·Starknet上に展開されたスマートコントラクト
· カリオ言語を使用する
カカロットは以下をサポートします。
・EVMスマートコントラクトをそのままデプロイ
カカロットはそうではありません:
・ブロックチェーン
コンパイラ: Solidity コードを Cairo に変換しません
2023 年 5 月現在:
100%バイトコードアーキテクチャを実現（タイプ3 zkEVM）
9 8 を実現するためにプリコンパイルされた EVM
9 つの EVM プリコンパイルをすべて実装すると、Kakarot は Type 2.5 zkEVM になります。
5、zkEVM****タイプ****タイプ
(1) タイプ 1 zkEVM | イーサリアムと完全に同等
より簡単なプルーフ生成をサポートするためのイーサリアム システムへの変更はありません。
アドバンテージ：
イーサリアム拡張のための究極のソリューション
欠点:
· コンピューティング集約型
校正時間が長い（数時間かかる）
例：
・スクロール
・太鼓
(2) タイプ 2 zkEVM | EVM と完全に同等
イーサリアム システムに若干の変更を加えることで (異なるハッシュ関数)、開発が容易になり、プルーフの生成が高速化されます。
アドバンテージ：
· ほとんどのイーサリアム dApp をサポート
欠点:
EVM の非効率性と不親切さは依然として存在します
例：
・スクロール
(3) Type 2.5 zkEVM | EVM相当(ガス代除く)
ZK を使用して証明するのが難しい EVM の特定の操作に対するガス コストが追加されました。
アドバンテージ：
より広範なEVM変更よりもリスクが低い
欠点:
開発ツールの互換性の低下
・一部のdAppは非対応です
(4) タイプ 3 zkEVM | EVM とほぼ同等
特に実装が困難な機能 (プリコンパイルなど) は削除されました。
アドバンテージ：
· 校正時間の短縮
· EVM開発が容易になる
欠点:
· 一部の dApp は書き換える必要があります
例：
・スクロール
・ポリゴン
**(5)Tpye4zkEVM|**高級言語に相当
スマート コントラクトのソース コード (高級言語) は、ZK-SNARK に適した言語にコンパイルされます。
アドバンテージ：
· 多大なオーバーヘッドを回避する
欠点:
契約アドレスはEVMのアドレスと異なる場合があります
手書きの EVM バイトコードをサポートしていない可能性があります
· デバッグ インフラストラクチャは EVM バイトコードで実行されるため、継承できません。
例：
·zkSync
・ネザーマインド
6**、カカロットルートマップ**
(1) フェーズ 1 | EVM を Starknet に導入
カカロットは当初、Starknet に祀られた EVM として存在します。開発エクスペリエンスとユーザーエクスペリエンス (UX) は、Polygon、Scroll、または Ethereum と同じになります。
(2) ステージ 2 | L3 zkEVM
Kakarot を通じて zkEVM アプリケーション チェーンを展開すると、有効性の証明を使用して Starknet 上でトランザクションを決済できるようになります。
Kakarot と Madara Starknet シーケンサー (基板ベースの Starknet シーケンサー) を統合スタックに融合することにより。
(3) フェーズ 2 | zkEVM-Rollup-as-a-Service
ワンクリックするだけで、ロールアップは以下を受け取ります:
·Starknet上に展開されたアプリケーション固有のzkEVM
· EVM環境へのアクセス
· 高速実行
低ガス料金: データ可用性ソリューションを使用する (Celestia、EigenLayer)
・暗号化セキュリティ
zkEVM-Rollup-as-a-Service の利点:
Kakarot を使用して CairoVM で Solidity スマート コントラクトを実行する
EVM にデプロイされた Solidity スマート コントラクトは、コードを変更せずに Starknet 上で実行できます。
両方の長所：
EVMによる効率化
・スマートコントラクトが証明可能になる
(4) フェーズ 3 | タイプ 1 zkEVM
このステージに入るには、カカロットは次のことを行う必要があります。
·カイロを使用してマダラとカカロットのフルノード内にイーサリアムコンセンサスルールを記述し、L1コンセンサスを証明します。
・ペデルセン・マークル・パトリシア・トリー（MPT）からケチャックMPTに切り替え。
ただし、フェーズ3は未定です。それはイーサリアムのロードマップである Verge によって異なります。現在、証明可能かつ低コストの方法で Keccak MPT を実装することが、zkEVM 互換性の主な障害となっています。 Verge の後、Ethereum で選択されるハッシュ関数として Keccak が Poseidon に置き換えられる可能性があります。
7**、個人的な考え**
Starknet に EVM 互換性をもたらすことは確かに大きな前進ですが、Kakarot の成功についてはまだいくつかの懸念があります。
(1)競争力の高いZK分野
競合他社は次のとおりです。
· さまざまなプルーフ システム (SNARK) を使用した ZK ロールアップ: Scroll、zkSync、Polygon、Taiko、Linea。
・楽観的ロールアップ：楽観主義、決断、根拠
異なる zkVM: RISC Zero、Hyper Oracle
(2) プロダクト マーケット フィット (PMF)
全体として、Rollup-as-a-Service は未解決のトピックであり、考慮すべき 2 つの重要な側面があります。
· このサービスを必要とするロールアップは何件ありますか?
ロールアップは主権とカスタマイズ性を内部的に構築することを好みますか?
(3) 継続的な製品の反復
Kakarot は技術的に非常に複雑な製品を開発および構築しており、成功するには継続的な反復が必要になる可能性があります。
また、次のようないくつかの動的コンポーネントにも依存します。
・牛乳
·データ可用性ソリューション
イーサリアムのロードマップ: Verge