A note on purity of crystalline local systems

In this short note, we prove a purity result for crystalline local systems on a smooth $p$-adic affine formal scheme. Our method is based on the prismatic description of crystalline local systems.