  We introduce a smooth variant of the Hopkins-Singer model of differential
K-theory. We prove that our model is naturally isomorphic to the Hopkins-Singer
model and also to the Tradler-Wilson-Zeinalian model of differential K-theory.
