I will first describe two problems in the arithmetic of elliptic curves over function fields, then my work in progress on these conjectures using tools from $p$-adic cohomology. The first ingredient is a pro-representability theorem of what could be called arithmetic deformations of crystals and Dieudonne crystals. The second ingredient is the application of the Taylor-Wiles method in this setting.