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