Keth - EVM prover

Introduce Provability of all EVM Execution in the Ethereum Ecosystem - Prove billions of EVM blocks

📄️ Keth - Chain-Agnostic EVM prover

Kakarot can prove blocks of Ethereum-equivalent chains, enabling any EVM chain

Kakarot can power Ethereum-compatible rollups on top of Bitcoin, we call this

Kakarot can power appchains, we call it K Stack: an EVM-compatible ZK-appchain