Kakarot is a high-performance proving engine for Ethereum, leveraging Starkware's STWO prover for efficient ZK-proof generation. It aims to enable real-time proving of Ethereum blocks by 2025 and is designed to support various use cases, including OP-stack ZK migration and Bitcoin L2.
