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 full implementation of the Ethereum Virtual Machine (EVM) and plans to perform real-time proofs on Ethereum Layer 1 blocks through the STARK proof system by the end of 2025. The project is built using Cairo language developed by StarkWare, aiming to provide a zero-knowledge proof solution independent of the mainstream technology stack.
Clement Walter, co-founder of Kakarot, stated that the current system can generate block proofs in 8 seconds, faster than Ethereum's 12-second block interval. The project achieves technological stack differentiation through the Cairo language, avoiding dependence on mainstream solutions like the Plonky3 prover and RISC-V instruction set. Ethereum's 2028 roadmap relies on ZK proofs, and Kakarot claims to have built the "first credible alternative" for generating Ethereum block zero-knowledge proofs compared to mainstream stacks. This progress is announced amid discussions in the Ethereum community about Vitalik Buterin's proposed RISC-V architecture alternative. The Kakarot team responded that while there is reasonableness in adopting a ZK-friendly instruction set for the execution layer, there is no need to rush towards RISC-V.
