It's fine for ZK since it produces a proof of validity, imo.