Witness

Witness 是一个数字，由于其数论性质，它保证了数字 的合数性或素数性。Witness 最常用于与 费马小定理逆定理 相关联的场合。Pratt 证书 使用 witness 来证明素数性，而 Miller 素性测试 使用 witness 来证明合数性。