Kakarot zkEVM — это реализация виртуальной машины Ethereum (EVM), разработанная с использованием языка программирования Cairo. Его можно сравнить с EVM Geth, написанным на Golang. Основным отличительным фактором EVM, написанного в Cario, является то, что его транзакции доказуемы. Эта возможность достигается за счет использования CairoVM, доказуемой архитектуры ЦП, полной по Тьюрингу, которая служит базовым уровнем для Kakarot zkEVM, или EVM с нулевым разглашением, по сути, представляет собой EVM, в которой транзакции могут быть доказаны и проверены.