Former repository for the specification of the constraint system underlying Linea's zkEVM - View it on GitHub