4月30日消息，据The Block报道，由以太坊联合创始人Vitalik Buterin和StarkWare支持的zkEVM项目Kakarot宣布完成以太坊虚拟机（EVM）的全功能实现，计划在2025年底前通过STARK证明系统对以太坊Layer1区块进行实时证明。该项目采用StarkWare开发的Cairo语言构建，旨在提供独立于主流技术栈的零知识证明方案。
Kakarot联合创始人Clement Walter表示，当前系统已能在8秒内生成区块证明，快于以太坊12秒的出块间隔。该项目通过Cairo语言实现技术栈差异化，避免依赖主流方案（如Plonky3证明器和RISC-V指令集）。以太坊的2028年路线图依赖于ZK证明，而Kakarot声称已经构建了与主流堆栈相比生成以太坊区块零知识证明的“第一个可信替代方案”。此次进展发布正值以太坊社区讨论Vitalik Buterin提出的RISC-V架构替代方案之际。Kakarot团队回应称，尽管执行层采用ZK友好指令集具有合理性，但无需急于转向RISC-V。