ATP synthase is embedded in the inner mitochondrial membrane. As protons flow through this enzyme from the intermembrane space back into the matrix, the rotational energy drives ATP synthesis.