Why is MIRACL’s Cryptographic Key Secure From Misuse?