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

RSA 密钥生成的关键步骤是找到两个大素数 p 和 q。由于大数素性测试复杂，工业界采用概率算法，如 Miller-Rabin 测试。文章介绍了多种素性测试方法，包括 Fermat 小定理、Miller-Rabin 测试和 Baillie-PSW 测试，并探讨了 OpenSSL 生成素数的过程及注意事项。强调了选择合适的素性测试方法和参数在实际应用中的重要性。