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.