Witness

Witness 是一個數字，由於其數論性質，它保證了數字 的合數性或素數性。Witness 最常用於與 費馬小定理逆定理 相關聯的場合。Pratt 證書 使用 witness 來證明素數性，而 Miller 素性測試 使用 witness 來證明合數性。