Kakarot发布替代以太坊ZK的堆栈，拟于年底前在以太坊L1实现实时STARK证明

4月30日消息，据The Block报道，由以太坊联合创始人Vitalik Buterin和StarkWare支持的zkEVM项目Kakarot宣布完成以太坊虚拟机（EVM）全功能实现，并计划在2025年底前通过STARK证明系统对以太坊Layer1区块进行实时验证。

Kakarot采用StarkWare开发的Cairo语言构建，提供独立于主流技术栈的零知识证明方案。联合创始人Clement Walter表示，当前系统可在8秒内生成区块证明，快于以太坊12秒的出块时间。项目通过差异化技术栈避免依赖主流方案（如Plonky3和RISC-V），并声称已构建生成以太坊区块零知识证明的首个可信替代方案。

此次进展正值以太坊社区讨论Vitalik Buterin提出的RISC-V架构替代方案之际。Kakarot团队认为，尽管执行层采用ZK友好指令集合理，但无需急于转向RISC-V。