I think you'll see the ZK stuff used increasingly for non-financial applications, it's a legitimately novel and powerful area of mathematical primitives for verifiable computation. FHE is also very cool and just starting to be usable for privacy preserving ML.