PANews reported on April 30 that according to The Block, Kakarot, a zkEVM project supported by Ethereum co-founder Vitalik Buterin and StarkWare, announced the completion of the full-featured implementation of the Ethereum Virtual Machine (EVM), and plans to conduct real-time proof of Ethereum Layer1 blocks through the STARK proof system by the end of 2025. The project is built using the Cairo language developed by StarkWare and aims to provide a zero-knowledge proof solution independent of the mainstream technology stack.
Kakarot co-founder Clement Walter said that the current system can generate block proofs in 8 seconds, which is faster than Ethereum's 12-second block interval. The project differentiates its technology stack through the Cairo language, avoiding reliance on mainstream solutions such as the Plonky3 prover and the RISC-V instruction set. Ethereum's 2028 roadmap relies on ZK proofs, and Kakarot claims to have built the "first trusted alternative" to generate zero-knowledge proofs for Ethereum blocks compared to the mainstream stack. The progress was released at a time when the Ethereum community was discussing Vitalik Buterin's proposed alternative to the RISC-V architecture. The Kakarot team responded that although it is reasonable to use a ZK-friendly instruction set at the execution layer, there is no need to rush to RISC-V.
