This is the first talk in a series of three talks towards understanding Bezrukavnikov-Finkelberg's derived geometric Satake equivalence. In this talk, we recall the geometry of equal characteristic affine Grassmannians and some of the ingredients of proving the geometric Satake equivalence in this setting.