In this paper, we construct balancing theory for nonlinear systems in the contraction framework. First, we define two novel controllability and observability functions via prolonged systems. We analyze their properties in relation to controllability and observability, and use them for so-called differential balancing, and its application to model order reduction. One of the main contribution of this paper is showing that differential balancing has close relationships with the Frechet derivative of the nonlinear Hankel operator. Inspired by [3], we provide a generalization in order to have a computationally more feasible method. Moreover, error bounds for model reduction by generalized balancing are provided