Provable Acceleration for Diffusion Models under Minimal Assumptions