Kakarot is a zk-EVM written in Cairo. It leverages STARK proofs to enable provability of execution. More information here.

This playground helps you compare execution between the standard evm and kakarot.

How to use: Write or paste bytecode or a sequence of opcodes (mnemonic) and hit execute. Left panel will give you the standard EVM output and right one the kakarot output.