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