On the Grothendieck--Serre conjecture for projective smooth schemes over a DVR

The Grothendieck–Serre conjecture predicts that every generically trivial torsor under a reductive group scheme $G$ over a regular local ring $R$ is trivial. The mixed characteristic case of the conjecture is widely open. We consider the following setup. Let $A$ be a mixed characteristic DVR, $G$ a reductive group scheme over $A$, $X$ an irreducible smooth projective $A$-scheme, $\mathcal{G}$ a principal $G$-bundle over $X$. Suppose $\mathcal{G}$ is generically trivial. We prove that in this case $\mathcal{G}$ is Zariski locally trivial. This result confirms the conjecture.