It's not currently possible to verify a ZK proof in Bitcoin script, is it? Are you thinking adding code to the Full Node for validating ZK proofe? Or are you talking about ad...
Always online. What indication do you have of a problem?