How zero-knowledge proofs moved from research into production: privacy-preserving transactions, verifiable computation, rollups, and the limits of cryptographic guarantees.