We would only do the computation verification via zk tech via a standardised zk-tech provided by the EXECUTE-precompile. Hence, I am saying that we “eliminate specialised zk-verifiers”. Feel free to look up the details in the EXECUTE-precompile spec.