We prove a generalization of
Dwork’s trace formula for certain completely continuous operators on p-adic Banach
spaces. This generalization makes it simpler to apply Dwork’s theory to the study of
certain exponential sums involving both additive and multiplicative characters. As an
example, we treat the case of Gauss sums and give a new proof of the Gross-Koblitz
formula.