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

区小号 4月30日消息，据The Block报道，由以太坊联合创始人Vitalik Buterin和StarkWare支持的zkEVM项目Kakarot宣布完成以太坊虚拟机（EVM）的全功能实现，计划在2025年底前通过STARK证明系统对以太坊Layer1区块进行实时证明。该项目采用StarkWare开发的Cairo语言构建，旨在提供独立于主流技术栈的零知识证明方案。