📄️ Vision
We believe that all software executions will be proven, making blockchains the
📄️ Technical design
Kakarot is a provable EVM built with Cairo, Starkware’s STARK-friendly ZK-VM.
Technical Overview
A gentle introduction to Kakarot's vision and a technical deep dive.