在 Vitalik Buterin 和 StarkWare 的支持下，Kakarot 計劃於 2025 年底實現以太坊 Layer 1 區塊的即時證明。這家新創公司已成功實施以太坊虛擬機器，並計劃使用 STARK 證明系統。
Kakarot 計劃在 8 秒內發布 STARK 證明，這比以太坊 12 秒的區塊生成時間還要快。這將通過其在 Cairo 中構建的 zkEVM 實現。主要目標是提高以太坊智能合約和交易驗證的效率。
憑藉 600 萬美元的資金，Kakarot 旨在提供多樣化的 ZK-EVM 堆疊，從而減少對單一系統的依賴，並為當前佔主導地位的堆疊提供替代方案。Kakarot 的逆向堆疊有利於 ZK-EVM 的多樣性和實驗。