在 Vitalik Buterin 和 StarkWare 的支持下，Kakarot 计划于 2025 年底实现以太坊 Layer 1 区块的实时证明。这家初创公司已成功实施以太坊虚拟机，并计划使用 STARK 证明系统。
Kakarot 计划在 8 秒内发布 STARK 证明，这比以太坊 12 秒的区块生成时间还要快。这将通过其在 Cairo 中构建的 zkEVM 实现。主要目标是提高以太坊智能合约和交易验证的效率。
凭借 600 万美元的资金，Kakarot 旨在提供多样化的 ZK-EVM 堆栈，从而减少对单一系统的依赖，并为当前占主导地位的堆栈提供替代方案。Kakarot 的逆向堆栈有利于 ZK-EVM 的多样性和实验。