ZK-EVM type 3 written in Cairo, leveraging STARK proof system. - View it on GitHub