abstract: I will explain a joint work with Ye Tian in which we showed that Kolyavagin's work on BSD for elliptic curves over rationals can be generalized to totally real fields except some CM-case. This result have some applications to the unform bound conjecture of Caporaso-Harris-Mazur on some families of hyper or super elliptic curves.