1: \begin{abstract}
2: It was argued by Schramm and Smirnov that the critical site percolation
3: exploration path on the triangular lattice converges in distribution
4: to the trace of chordal $SLE_6$.
5: We provide here a detailed proof, which relies on Smirnov's theorem
6: that crossing probabilities have a conformally invariant scaling limit
7: (given by Cardy's formula).
8: The version of convergence to $SLE_6$ that we prove suffices for the
9: Smirnov-Werner derivation of certain critical percolation crossing
10: exponents and for our analysis of the critical percolation full scaling
11: limit as a process of continuum nonsimple loops.
12: \end{abstract}
13: