Kakarot项目宣布完成以太坊虚拟机全功能实现，计划通过STARK证明系统实时证明以太坊Layer1区块。采用Cairo语言构建，提供独立零知识证明方案。项目能在8秒内生成区块证明，优于以太坊12秒出块时间。避免依赖主流方案，构建了生成以太坊区块零知识证明的替代方案。团队回应不急于转向RISC-V。