A good takeaway from the last talk is that Google is using ZK for privacy, with big verifiers (servers) and small provers (phones). It’s just the inverse of most zk in blockchain, where we have a small verifier (Ethereum) and big provers (servers)