The formation of mature insulin by proteolysis of the precursor preproinsulin. The signal sequence is first cleaved from preproinsulin to form proinsulin; proinsulin is then cleaved to release the C peptide, leaving the A and B chains of mature insulin linked by disulfide bridges.