GitHub repository: od-mocks/kakarot
Description: ZK-EVM type 3 written in Cairo, leveraging STARK proof system.