Kakarotは、年末までにイーサリアムL1でリアルタイムSTARK証明を実装することを目指して、イーサリアムZKのスタックの代替を発表しました。

PANews 4月30日のニュース、The Blockによると、イーサリアムの共同創設者Vitalik ButerinとStarkWareがサポートするzkEVMプロジェクトKakarotが、イーサリアム仮想マシン（EVM）の全機能実装を完了したことを発表しました。2025年末までにSTARK証明システムを通じてイーサリアムLayer1ブロックのリアルタイム証明を計画しています。このプロジェクトはStarkWareが開発したCairo言語を使用して構築されており、主流の技術スタックに依存しない零知識証明ソリューションを提供することを目指しています。 Kakarotの共同創設者であるClement Walter氏は、現在のシステムは8秒未満でブロックプルーフを生成することができ、これはイーサリアムの12秒のブロック間隔よりも速いと述べました。 このプロジェクトは、カイロ言語を通じてテクノロジースタックを差別化し、Plonky3プロテンダーやRISC-V命令セットなどの主流のソリューションに依存することを避けます。 イーサリアムの2028年のロードマップはZKプルーフに依存しており、カカロットは、メインストリームスタックと比較してイーサリアムブロックのゼロ知識プルーフを生成するための「最初の信頼できる代替手段」を構築したと主張しています。 このリリースは、イーサリアムコミュニティがVitalik Buterinによって提案されたRISC-Vアーキテクチャの代替案を議論しているときに行われました。 Kakarotチームは、実行レイヤーがZKに適した命令セットを採用することは理にかなっているが、RISC-Vに急ぐ必要はないと回答しました。