Specification of the constraint system underlying Linea's zkEVM - View it on GitHub