Blum-Micali algorithm
 
x
OK