Kakarot

Introduction​

KKRT Labs is building Kakarot, the most lightweight and efficient EVM proving engine, in order to power the “STARKification” of all EVM execution. Kakarot is built on Cairo, Starkware’s STARK-friendly ZK-VM.

KKRT Labs packages this provable EVM into four different applications.

Vision

We believe that all software executions will be proven, making blockchains the world’s settlement layers.

Blockchains will allow the creation of a cohesive and borderless internet of value, with self-custody, agency and privacy at its heart. People and communities will be able to better coordinate worldwide via this digital fabric, powered by ZK. Ethereum and Bitcoin will remain the leading settlement layers for this new era of decentralized coordination.

To make this vision a reality, Kakarot is created to bring EVM provability to various environments ranging from Ethereum L2s to EVM-compatible blockchains, as well as sidechains and rollups on Bitcoin. By combining our STARK-friendly EVM implementation and Starkware’s STARK Two Prover (STWO), Kakarot will achieve order-of-magnitude improvements in speed and cost compared to other solutions like Succinct’s Reth SP1, RISCZero’s Zeth, enabling real-time and efficient proving.