Kakarot is building a ZK proving engine for the EVM (Ethereum Virtual Machine). We are building a ZK proving engine for the EVM , radically changing digital data verification.
Kakarot is an implementation of the Ethereum Virtual Machine (EVM), developed using the Cairo programming language. It is a ZK-Rollup that leverages Cairo to spearhead innovations on Ethereum, offering provable transactions and compatibility with Ethereum.
