Algebraic K-theory of stable $\mathrm{\infty }$-categories via binary complexes

We adapt Grayson’s model of higher algebraic $K$-theory using binary acyclic complexes to the setting of stable $\mathrm{\infty }$-categories. As an application, we prove that the $K$-theory of stable $\mathrm{\infty }$-categories preserves infinite products.