ZK-EVM type 3 written in Cairo, leveraging STARK proof system.
Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.