Relative continuous K-theory and cyclic homology

Back in the 80s, Goodwillie has shown that for characteric zero rings the formal completions of K-theory and of classical cyclic homology coincide. I will discuss a continuous $p$-adic version of the Goodwillie theorem. The work is motivated by results of Bloch–Esnault–Kerz.