Cartier smoothness in prismatic cohomology

We introduce the notion of a $p$-Cartier smooth algebra. It generalises that of a smooth algebra and includes valuation rings over a perfectoid base. We give several characterisations of $p$-Cartier smoothness in terms of prismatic cohomology, and deduce a comparison theorem between syntomic and étale cohomologies under this hypothesis.