Geometric Satake, categorical traces, and arithmetic of Shimura varieties

We survey some recent work on the geometric Satake of p-adic groups and its applications to some arithmetic problems of Shimura varieties. We reformulate a few constructions appeared in the previous works more conceptually.