Algebraic K-theory of finitely projective modules on ${\mathbb{E}}_{\mathrm{\infty }}$-rings

In this paper, we study the K-theory on higher modules in spectral algebraic geometry. We relate the K-theory of an $\mathrm{\infty }$-category of finitely generated projective modules on certain ${\mathbb{E}}_{\mathrm{\infty }}$-rings with the K-theory of an ordinary category of finitely generated projective modules on ordinary rings.