  We discuss two technical issues related to the gap equation in high-density
QCD: i) how to obtain the asymptotic solution with well controlled
approximations, and ii) the renormalization of four-quark operators in the
high-density effective field theory.
