  We prove the $S=T$ conjecture proposed by Xiao-Zhu in
\cite{2017arXiv170705700X}, making use of Scholze's theory of diamonds and
v-stacks and Fargues-Scholze's geometric Satake equivalence. We deduce the
Eichler-Shimura relation for Shimura varieties of Hodge type.
