概念Fermat Primality Test
费马素性测试
一种基于费马小定理的概率素性测试算法，通过随机选取底数检测合数，存在伪素数误判可能
时间轴 (近 90 天)
10月20日
Gurevich 将简化费马素性测试的概率算法重新表述为：确定性算法本身调用一个名为 `choose in` 的预言机来获取随机数。
待验证50%
10月20日
Gurevich 的助手模式框架要求算法的行为保证依赖于对助手行为的假设，例如费马测试的可靠性取决于随机源的质量。
待验证50%
一种基于费马小定理的概率素性测试算法，通过随机选取底数检测合数，存在伪素数误判可能
Gurevich 将简化费马素性测试的概率算法重新表述为：确定性算法本身调用一个名为 `choose in` 的预言机来获取随机数。
Gurevich 的助手模式框架要求算法的行为保证依赖于对助手行为的假设，例如费马测试的可靠性取决于随机源的质量。