文章介绍 Miller-Rabin 素性测试的复现程序，包括 64 位 MR、强 Lucas 与 BPSW 实现及测试工具，通过筛法、GMP 和已知伪素数交叉验证，演示溢出与零底数 bug，统计 Fermat 与强说谎者并核对 Monier 公式，并按 OpenSSL 建模 1024 位素数生成，绘制误差界图。