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