That's probably the healthiest way to look at it. The theory behind ZK proofs is impressive, but implementation risk doesn't disappear just because the math is elegant.