Efficient and Secure
EVM Provability.
Everywhere.
Kakarot is the only EVM made to be proven
What is Kakarot?
Built on top of Cairo, a high level ZK-language, Kakarot is the only EVM designed to be proven. Our mission is to be the most lightweight and efficient EVM proving engine.
Kakarot's Roadmap
We believe that bringing ZK and EVM together will allow all software to be provably secure,
making Ethereum & Bitcoin internet's global settlement layers.
1 proving engine. 4 use cases.
Kakarot MultiVM
(EVM + CairoVM) on Starknet Mainnet
Q3 2024
K-Stack
ZK-EVM Appchains
Q2 2025
Keth
Prove Ethereum equivalent blocks
Q3 2025
KBTC
First ZK-EVM on Bitcoin
2026
Join our Community.
Be part of the fastest-growing ZK-EVM community.
1M+ transactions
100k+ wallets on testnet
100k followers on X and
65k+ members on our discord.
Meet the team
We are leading the modular and powerful EVM proving engine journey.
Clément WalterFounder and Co/CEO
Elias TazartesFounder and Co/CEO
Jeremy BeaufilsHead of Marketing and GTM
Michael TiewHead of Ecosystem
Nadim ChamiChief of Staff
Clément WalterFounder and Co/CEO
Elias TazartesFounder and Co/CEO
Jeremy BeaufilsHead of Marketing and GTM
Michael TiewHead of Ecosystem
Nadim ChamiChief of Staff
Thomas CoratgerSenior Blockchain Engineer
Simon MalatraitStage R&D Cairo
Mathieu SaugierSoftware Engineer EVM
Sweta ShawSolutions Team
Jivansh SharmaFrontend Engineer
Endrit KrasniqiCommunity Lead
Thomas CoratgerSenior Blockchain Engineer
Simon MalatraitStage R&D Cairo
Mathieu SaugierSoftware Engineer EVM
Sweta ShawSolutions Team
Jivansh SharmaFrontend Engineer
Endrit KrasniqiCommunity Lead
Our Advisors