I always feel that if normal E2EE is very hard to do correctly the moment you add use cases which require zero knowledge proofs it's a x5-x10 complexity explosion on top of it. And that is in context where most companies will severely struggle to do E2EE right.