What’s Behind the Strength of the Cryptography of MIRACL’s M-Pin Protocol?