Definitions of zkEVM opcodes (primary dependency for all other repos) - View it on GitHub