EVM interpreter written in Cairo, a sort of ZK-EVM emulator, leveraging STARK proof system. - View it on GitHub