zkTLS turns ordinary HTTPS sessions into cryptographic proofs. How MPC, proxy, and TEE models work, who builds them, and what web proofs unlock.