As discussed, there will be new changes in the verifier. To reduce confusion, the task of this issue is to temporally disable the real prover and then we can start the contract conversion. By disabling, I mean removing the lib contracts real verification needs, and make the real verification return true without checking final rollup proof.