Miller-Rabin · Primality Test
unseel.com · Witnesses · ad→an-1 · error ≤ 4⁻ᵏ
Witnesses 0
P(error) 1
State
ad seed
squaring chain
legal root −1
witness · composite
Unseel.com · Miller-Rabin