Does MIRACL Know A User’s PIN?