To investigate the mechanisms underlying the differences in the freezability of boar semen, Yorkshire boars with freezing-tolerant semen (YT, n = 3), Yorkshire boars with freezing-sensitive semen (YS, n = 3), Landrace boars with freezing-tolerant semen (LT, n = 3), and Landrace boars with freezing-sensitive semen (LS, n = 3) were selected for this study. Their sperm was subjected to protein extraction, followed by data-independent acquisition proteomics and functional bioinformatics analysis. A total of 3042 proteins were identified, of which 2810 were quantified. Some key KEGG pathways were enriched, such as starch and sucrose metabolism, carbohydrate digestion and absorption, mineral absorption, the HIF-1 signaling pathway, and the necroptosis pathways. Through PRM verification, we found that several proteins, such as α-amylase and epididymal sperm-binding protein 1, can be used as molecular markers of the freezing resistance of boar semen. Furthermore, we found that the addition of α-amylase to cryoprotective extender could significantly improve the post-thaw motility and quality of boar semen. In summary, this study revealed some molecular markers and potential molecular pathways contributing to the high or low freezability of boar sperm, identifying α-amylase as a key protein. This study is valuable for optimizing boar semen cryopreservation technology.