text: The BCS formalism is applicable without modifications to the description of quark matter with color group SU(2), where Cooper pairs are colorless. The Nambu–Jona-Lasinio model 
  predicts the existence of the superconducting phase of SU(2) color quark matter at high densities
  This physical picture is confirmed in the Polyakov–Nambu–Jona-Lasinio model, 
  and also in lattice QCD models
  in which the properties of cold quark matter can be described based on the first principles of quantum chromodynamics. 
  The possibility of modeling on the lattices of two-color QCD at finite chemical potentials for even numbers of the quark flavors is associated with the positive-definiteness 
  of the integral measure and the absence of a sign problem.