Zero padding in the time domain corresponds to ideal interpolation in the frequency domain.
Proof: http://ccrma.stanford.edu/~jos/mdft/Zero_Padding_Theorem_Spectral.html