You get the same verification guarantees in all these systems. The cost lies in generating the proof (signing the transaction), transmitting the proof (block space cost), and validating the proof (running a node).
Historically zero knowledge cryptography was more expensive on all fronts. Recent advances reduced all those costs tho.