Do state transition proofs need to be posted to CL?

Can CL simply enforce property rights rather than enforcing the zk circuits that a