An arXiv preprint finds a conditional barrier to proving QMA witness encryption and classical-output null-qIO secure from falsifiable assumptions.