Can anyone give me a brief explanation on the proof of the Miller-Rabin algorithm because I´m not getting the full idea, and the book doesn´t seem to be very explanatory.
I understand pretty well the idea of pseudo-prime numbers and when to decide if a number is composite for sure, but that algorithm is not so clear to me.
I hope my question is not too vague...
thank you.