On a site node you now trust ZK proofs in that scenario, but (lol) Monero is not auditable because we would need to trust ZK proofs and other more basic mathematical assumptions?

Learn to become more consistent. In other words. Get a reality check.