📍 Kakarot launches zkEVM written in Cairo, aiming for real-time STARK proof for Ethereum

📌 Kakarot – a zkEVM written in the Cairo language – has just announced the capability to generate independent STARK proofs for each Ethereum block, with the goal of achieving real-time proof by the end of 2025.

📌 Unlike other zkEVMs such as Scroll or zkSync that use popular stacks (revm, Plonky3), Kakarot chooses to build from the ground up in a “ZK-native” way, allowing for the integration of proof creation logic directly within each line of code to enhance speed and security.

📌 The project aims to create proof for Ethereum blocks in just 8 seconds – faster than the original block creation cycle (12 seconds), opening up the potential to build an independent proving client layer for Ethereum, helping to verify network logic.

📌 Ethereum developers consider this a significant advancement that helps diversify zkEVM solutions and strengthens the reliability of Layer-1 infrastructure in the future.