Specification of the constraint system underlying Linea's zk-EVM. - View it on GitHub